Difference between revisions of "Artificial intelligence" - New World Encyclopedia

From New World Encyclopedia
m
Line 1: Line 1:
{{Redirect|AI}}
+
{{portal}}
{{AI}}
+
[[Image:HONDA ASIMO.jpg|250px|thumb|right|Honda's humanoid robot]]
 +
{{Redirect|AI|other uses of "AI" and "Artificial Intelligence"}}
  
'''Artificial intelligence''' (also known as '''machine intelligence''' and often abbreviated as '''AI''') is [[intelligence (trait)|intelligence]] exhibited by any manufactured (i.e. [[Wiktionary:artificial|artificial]]) system. The term is often applied to general purpose [[computer]]s and also in the field of [[scientific]] investigation into the theory and practical application of AI. "AI" the term is often used in works of science fiction to refer to that which exhibits artificial intelligence as well, as in "the AI" referring to a singular discrete or distributed mechanism.
+
'''Artificial intelligence (AI)''' is a branch of [[computer science]] and [[engineering]] that deals with intelligent behavior, learning, and adaptation in machines. Research in AI is concerned with producing machines to automate tasks requiring intelligent behavior. Examples include [[control system|control]], [[Automated planning and scheduling|planning and scheduling]], the ability to answer diagnostic and consumer questions, [[handwriting recognition|handwriting]], [[speech recognition|speech]], and [[facial recognition system|facial recognition]]. As such, it has become an engineering discipline, focused on providing solutions to real life problems, [[Computer software|software]] applications, traditional strategy games like [[computer chess]] and other [[video games]].
  
Modern AI research is concerned with producing useful machines  to automate human tasks requiring intelligent behavior.  Examples include: scheduling resources such as military units, answering questions about products for customers, understanding and transcribing speech, and recognizing faces in [[Closed-circuit television|CCTV]] cameras.  As such, it has become an [[engineering]] discipline, focused on providing solutions to practical problems.  AI methods were used to schedule units in the first  [[Gulf War]], and the costs saved by this efficiency have repaid the US government's entire investment in AI research since the 1950s.  AI systems are now in routine use in many businesses, hospitals and military units around the world, as well as being built into many common home computer software applications and video games.  (See [[Raj Reddy]]'s AAAI paper for a comprehensive review of real-world AI systems in deployment today.)
+
For topics relating specifically to full human-like intelligence, see [[Strong AI]].
  
AI methods are often employed in [[cognitive science]] research, which tries to model subsystems of human cognition. Historically, AI researchers aimed for the loftier goal of so-called [[strong AI]]—of simulating complete, human-like intelligence.  This goal is epitomised by the fictional strong AI computer [[HAL 9000]] in the film ''[[2001: A Space Odyssey]]''. This goal is unlikely to be met in the near future and is no longer the subject of most serious AI research.  The label "AI" has something of a bad name due to the failure of these early expectations, and aggravation by various popular science writers and media personalities such as Professor [[Kevin Warwick]] whose work has raised the expectations of AI research far beyond its current capabilities.  For this reason, many AI researchers  say they work in [[cognitive science]], [[informatics]], [[statistical inference]] or [[information engineering]]. AI has seen many research paradigms, including symbolic, [[connectionist]] and [[Bayesian]] approaches.  There is still no consensus as to the best way to proceed. Recent research areas include [[Bayesian network]]s and [[artificial life]].
+
==Schools of thought==
 +
AI divides roughly into two schools of thought: Conventional AI and [[Computational Intelligence]] (CI), also sometimes referred to as [[Synthetic Intelligence]] to highlight the differences.
  
==History==
+
'''Conventional AI''' mostly involves methods now classified as [[machine learning]], characterized by [[formalism]] and [[statistical analysis]]. This is also known as symbolic AI, logical AI, [[Neats|neat AI]] and [[GOFAI|Good Old Fashioned Artificial Intelligence (GOFAI)]]. (Also see [[semantics]].) Methods include:
=== Prehistory of AI ===
+
*[[Expert system]]s: apply reasoning capabilities to reach a conclusion. An expert system can process large amounts of known information and provide conclusions based on them.
Humans have always speculated about the nature of mind, thought, and language, and searched for discrete representations of their knowledge. [[Aristotle]] tried to formalize this speculation by means of [[syllogistic logic]], which remains one of the key strategies of AI. The first [[is-a hierarchy]] was created in [[260]] by [[Porphyry of Tyros]]. Classical and medieval [[grammarians]] explored more subtle features of language that Aristotle shortchanged, and mathematician [[Bernard Bolzano]] made the first modern attempt to formalize [[semantics]] in [[1837]].
+
*[[Case based reasoning]]
 +
*[[Bayesian network]]s
 +
*[[Behavior based AI]]:  a modular method of building AI systems by hand.
 +
'''[[Computational Intelligence]]''' involves [[iterative]] development or learning (e.g. parameter tuning e.g. in  [[connectionist]] systems). Learning is based on [[empirical]] data and is associated with non-symbolic AI, [[Scruffies|scruffy AI]] and [[soft computing]]. Methods mainly include:
 +
*[[Artificial neural network|Neural network]]s: systems with very strong [[pattern recognition]] capabilities.
 +
*[[Fuzzy system]]s: techniques for [[reasoning under uncertainty]], have been widely used in modern industrial and consumer product control systems.
 +
*[[Evolutionary computation]]: applies biologically inspired concepts such as [[population]]s, [[mutation]] and [[survival of the fittest]] to generate increasingly better solutions to the problem. These methods most notably divide into [[evolutionary algorithm]]s (e.g. [[genetic algorithm]]s) and [[swarm intelligence]] (e.g. [[ant colony optimization|ant algorithm]]s).
  
Early computer design was driven mainly by the complex mathematics needed to target weapons accurately, with analog feedback devices inspiring an ideal of [[cybernetics]].  The expression "artificial intelligence" was introduced as a 'digital' replacement for the analog 'cybernetics'.
+
With [[hybrid intelligent system]]s attempts are made to combine these two groups. Expert inference rules can be generated through neural network or [[production rule]]s from statistical learning such as in [[ACT-R]]. It is thought that the human brain uses multiple techniques to both formulate and cross-check results. Thus, [[A.I. Systems Integration|systems integration]] is seen as promising and perhaps necessary for true AI.
  
=== Development of AI theory ===
+
==History==
Much of the (original) focus of artificial intelligence research draws from an experimental approach to [[psychology]], and emphasizes what may be called linguistic intelligence (best exemplified in the [[Turing test]]).
+
{{main|History of artificial intelligence}}
 
 
Approaches to artificial intelligence that do not focus on linguistic intelligence include [[robotics]] and [[collective intelligence]] approaches, which focus on active manipulation of an environment, or [[consensus decision making]], and draw from [[biology]] and [[political science]] when seeking models of how "intelligent" behavior is organized.
 
 
 
AI also draws from animal studies, in particular with insects, which are easier to emulate as robots (see [[artificial life]]), as well as animals with more complex cognition, including [[ape]]s, who resemble humans in many ways but have less developed capacities for planning and cognition. Some researchers argue that animals, which are apparently simpler than humans, ought to be considerably easier to mimic. But satisfactory computational models for animal intelligence are not available.
 
 
 
Seminal papers advancing AI include ''A Logical Calculus of the Ideas Immanent in Nervous Activity'' ([[1943]]), by [[Warren McCulloch]] and [[Walter Pitts]], and ''[[Computing machinery and intelligence|On Computing Machinery and Intelligence]]'' ([[1950]]), by [[Alan Turing]], and ''[[Man-Computer Symbiosis]]'' by J.C.R. Licklider.  See [[cybernetics]] and [[Turing test]] for further discussion.
 
 
 
There were also early papers which denied the possibility of machine intelligence on [[logic]]al or [[philosophy|philosophical]] grounds such as ''[[Minds, Machines and Gödel]]'' ([[1961]]) by [[John Lucas]] [http://users.ox.ac.uk/~jrlucas/Godel/mmg.html].
 
 
 
With the development of practical techniques based on AI research, advocates of AI have argued that opponents of AI have repeatedly changed their position on tasks such as [[computer chess]] or [[speech recognition]] that were previously regarded as "intelligent" in order to deny the accomplishments of AI. [[Douglas Hofstadter]], in ''[[Gödel, Escher, Bach]]'', pointed out that this moving of the goalposts effectively defines "intelligence" as "whatever humans can do that machines cannot".
 
 
 
[[John von Neumann]] (quoted by [[E.T. Jaynes]]) anticipated this in [[1948]] by saying, in response to a comment at a lecture that it was impossible for a machine to think: "You insist that there is something a machine cannot do. If you will tell me ''precisely'' what it is that a machine cannot do, then I can always make a machine which will do just that!". Von Neumann was presumably alluding to the [[Church-Turing thesis]] which states that any effective procedure can be simulated by a (generalized) computer.
 
 
 
In [[1969]] McCarthy and Hayes started the discussion about the [[frame problem]] with their essay, "Some Philosophical Problems from the Standpoint of Artificial Intelligence".
 
 
 
=== Experimental AI research ===
 
Artificial intelligence began as an experimental field in the [[1950s]] with such pioneers as [[Allen Newell]] and [[Herbert Simon]], who founded the first artificial intelligence laboratory at [[Carnegie Mellon University]], and [[John McCarthy]] and [[Marvin Minsky]], who founded the [[MIT Artificial Intelligence Laboratory|MIT AI Lab]] in [[1959]]. They all attended the aforementioned [[Dartmouth College]] [[summer AI conference]] in [[1956]], which was organized by McCarthy, Minsky, [[Nathan Rochester]] of [[International Business Machines|IBM]] and [[Claude Shannon]].
 
 
 
Historically, there are two broad styles of AI research - the "[[neats]]" and "[[scruffies]]".  "Neat", ''classical'' or ''[[symbolic]]'' AI research, in general, involves symbolic manipulation of abstract concepts, and is the methodology used in most expert systems.  Parallel to this are the "scruffy", or "connectionist", approaches, of which [[artificial neural network]]s are the best-known example, which try to "evolve" intelligence through building systems and then improving them through some automatic process rather than systematically designing something to complete the task.  Both approaches appeared very early in AI history.  Throughout the [[1960s]] and [[1970s]] scruffy approaches were pushed to the background, but interest was regained in the [[1980s]] when the limitations of the "neat" approaches of the time became clearer.  However, it has become clear that contemporary methods using ''both'' broad approaches have severe limitations.
 
 
 
Artificial intelligence research was very heavily funded in the [[1980s]] by the [[Defense Advanced Research Projects Agency]] in the [[United States]] and by the [[fifth generation computer systems project]] in [[Japan]].  The failure of the work funded at the time to produce immediate results, despite the grandiose promises of some AI practitioners, led to correspondingly large cutbacks in funding by government agencies in the late 1980s, leading to a general downturn in activity in the field known as [[AI winter]].  Over the following decade, many AI researchers moved into related areas with more modest goals such as [[machine learning]], [[robotics]], and [[computer vision]], though research in pure AI continued at reduced levels.
 
 
 
==Modern AI==
 
Modern AI research focuses on practical engineering tasks.  (Supporters of [[Strong AI]] may call this approach 'weak AI'.)
 
 
 
There are several fields of AI, one of which is [[natural language]]. Many weak AI fields have specialised software or programming languages created for them. For example, one of the 'most-human' natural language [[chatterbot]]s, [[A.L.I.C.E.]], uses a programming language [[AIML]] that is specific to its program, and the various clones, named [[Alicebot]]s. Nevertheless, A.L.I.C.E. is still based on pattern matching without any reasoning. This is the same technique [[Eliza]], the first chatterbot, was using back in [[1966]]. [[Jabberwacky]] is a little closer to strong AI, since it learns how to converse from the ground up based solely on user interactions. In spite of that, the result is still very poor, and it is reasonable to state that there is actually no general purpose conversational artificial intelligence.
 
 
 
When viewed with a moderate dose of cynicism, AI can be viewed as ‘the set of computer science problems without good solutions at this point’. Once a sub-discipline results in useful work, it is carved out of artificial intelligence and given its own name. Examples of this are [[pattern recognition]], [[image processing]], [[neural networks]], [[natural language processing]], [[robotics]] and [[game theory]]. While the roots of each of these disciplines is firmly established as having been part of artificial intelligence, they are now thought of as somewhat separate.
 
 
 
Whilst progress towards the ultimate goal of human-like intelligence has been slow, many spinoffs have come in the process.  Notable examples include the languages [[Lisp programming language|LISP]] and [[Prolog]], which were invented for AI research but are now used for non-AI tasks. [[Hacker]] culture first sprang from AI laboratories, in particular the [[MIT AI Lab]], home at various times to such luminaries as McCarthy, Minsky, [[Seymour Papert]] (who developed [[Logo programming language|Logo]] there), [[Terry Winograd]] (who abandoned AI after developing [[SHRDLU]]).
 
 
 
Many other useful systems have been built using technologies that at least once were active areas of AI research. Some examples include:
 
 
 
* [[Chinook]] was declared the Man-Machine World Champion in [[checkers|checkers (draughts)]] in 1994.
 
* [[Deep Blue]], a chess-playing computer, beat [[Garry Kasparov]] in a famous match in 1997.
 
* [[InfoTame]], a text analysis search engine developed by the KGB for automatically sorting millions of pages of communications intercepts.
 
* [[Fuzzy logic]], a technique for reasoning under uncertainty, has been widely used in industrial control systems.
 
* [[Expert system]]s are being used to some extent industrially.
 
* [[Machine translation]] systems such as [[SYSTRAN]] are widely used, although results are not yet comparable with human translators.
 
* [[Natural language processing]]
 
* [[Neural networks]] have been used for a wide variety of tasks, from [[intrusion detection system]]s to [[Creatures|computer games]].
 
* [[Optical character recognition]] systems can translate arbitrary typewritten European script into text.
 
* [[Handwriting recognition]] is used in millions of [[personal digital assistant]]s.
 
* [[Speech recognition]] is commercially available and is widely deployed.
 
* [[Computer algebra system]]s, such as [[Mathematica]] and [[Macsyma]], are commonplace.
 
* [[Computer vision]] systems are used in many industrial applications ranging from [[hardware verification]] to [[security cameras | security systems]].
 
* [[Program synthesis]]
 
* [[Robotics]]
 
* AI planning methods were used to automatically plan the deployment of US forces during [[Gulf War]] I. This task would have cost months of time and millions of dollars to perform manually, and [[Defense Advanced Research Projects Agency|DARPA]] stated that the money saved on this single application was more than their total expenditure on AI research over the last 30 years.
 
 
 
The vision of artificial intelligence replacing human professional judgment has arisen many times in the history of the field, and today in some specialized areas where "[[expert system]]s" are routinely used to augment or to replace professional judgment in some areas of engineering and of medicine.  An example of an expert system is [[Clippy]] the paperclip in [[Microsoft Office]] which tried to predict what advice the user would like.
 
 
 
==Micro-World AI==
 
The real world is full of distracting and obscuring detail: generally science progresses by focusing on artificially simple models of reality (in physics, frictionless planes and perfectly rigid bodies, for example). In 1970 Marvin Minsky and Seymour Papert, of the MIT AI Laboratory, proposed that AI research should likewise focus on developing programs capable of intelligent behaviour in artificially simple situations known as micro-worlds. Much research has focused on the so-called blocks world, which consists of coloured blocks of various shapes and sizes arrayed on a flat surface. [http://www.alanturing.net/turing_archive/pages/Reference%20Articles/what_is_AI/What%20is%20AI06.html Micro-World AI]
 
 
 
==Languages, Programming Style and Software Culture==
 
GOFAI research is often done in [[Lisp]] or [[Prolog]].
 
Bayesian work often uses [[Matlab]] or [[Lush_programming_language|Lush Programming Language]] (a numerical dialect of Lisp).  These languages include many specialist probabilistic libraries.
 
Real-life and especially real-time systems are likely to use C++.
 
AI programmers are often academics and emphasise rapid development and prototyping rather than bulletproof software engineering practices.  Hence the use of interpreted languages to empower rapid command-line testing and experimentation.  AI culture is historically tied to [[Unix]] and [[hacker]] cultures.
 
 
 
The most basic AI program is a single [[Logical conditional| If-Then statement]], such as "If A, then B." If you type an 'A' letter, the computer will show you a 'B' letter. Basically, you are teaching a computer to do a task. You [[input]] one thing, and the computer responds with something you told it to do or say. All programs have If-Then logic. A more complex example is if you type in "Hello.", and the computer responds "How are you today?" This response is not the computer's own thought, but rather a line you wrote into the program before. Whenever you type in "Hello.", the computer always responds "How are you today?". It seems as if the computer is alive and thinking to the casual observer, but actually it is an automated response. AI is often a long series of If-Then (or [[Cause and Effect]]) statements.
 
 
 
A randomizer can be added to this. The randomizer creates two or more response paths. For example, if you type "Hello", the computer may respond with "How are you today?" or "Nice weather" or "Would you like to play a game?" Three responses (or 'thens') are now possible instead of one. There is an equal chance that any one of the three responses will show. This is similar to a pull-cord talking doll that can respond with a number of sayings. A computer AI program can have 1,000s of responses to the same input. This makes it less predictable and closer to how a real person would respond, because a living person would respond unpredictably. When 1,000s of input (Ifs) are written in (not just "Hello.") and 1,000s of responses (Thens) written into the AI program, then the computer can talk (or type) with most people, if those people know the If statement input lines to type.
 
 
 
Many games, like chess and strategy games, use action responses instead of typed responses, so that players can play against the computer. Robots with AI brains would use If-Then statements and randomizers to make decisions and speak. However, the input may be a sensed object in front of the robot instead of a "Hello." line, and the response may be to pick up the object instead of a response line.
 
 
 
==AI research in various countries==
 
 
 
AI research is carried out all over the world, often in national [[university|universities]] and [[laboratory|laboratories]].
 
 
 
===United Kingdom===
 
In the [[United Kingdom]], the most noted universities for AI research are [[University of Edinburgh|Edinburgh]] and [[University of Sussex|Sussex]], although AI-related research activities can be found in most universities in the country. Since the publication of the [[Lighthill report]], UK funding for AI has dried up, although research continues under more politically-acceptable headings such as "Informatics", "Information Engineering" and "Inference". [[Microsoft]] runs a large AI research group in [[Cambridge]], which works closely with [[University of Cambridge|Cambridge University]]. [[Hewlett-Packard|HP]] Labs in [[Bristol]], [[BT Group plc|BT]] in [[Ipswich]], and various government defence agencies also research AI applications.
 
 
 
==AI in Business==
 
According to Haag, Cummings, etc.(2004) there are four common techniques of Artificial Intelligence used in businesses:
 
*Expert Systems
 
*Neural Networks
 
*Genetic Algorithms
 
*Intelligent Agents
 
  
'''Expert Systems''' apply reasoning capabilities to reach a conclusion. An expert system can process large amounts of known information and provide conclusions based on them.
+
Early in the [[17th century]], [[René Descartes]] envisioned the bodies of animals as complex but reducible machines, thus formulating the [[mechanism (philosophy)|mechanistic theory]], also known as the "clockwork paradigm". [[Wilhelm Schickard]] created the first mechanical digital [[calculating machine]] in 1623, followed by machines of [[Blaise Pascal]] (1643) and  [[Gottfried Wilhelm von Leibniz]] (1671), who also invented the [[binary system]]. In the 19th century, [[Charles Babbage]] and [[Ada Lovelace]] worked on programmable mechanical calculating machines.
  
'''Neural Networks''' are AI that are capable of finding and differentiating between patterns. Police Departments use neural networks to identify corruption.
+
[[Bertrand Russell]] and [[Alfred North Whitehead]] published ''[[Principia Mathematica]]'' in 1910-1913, which revolutionized formal logic. In 1931 [[Kurt Gödel]] showed that sufficiently powerful consistent formal systems contain true theorems unprovable by any theorem-proving AI that is systematically deriving all possible theorems from the axioms.  In 1941 [[Konrad Zuse]] built the first working program-controlled computers.  [[Warren McCulloch]] and [[Walter Pitts]] published ''A Logical Calculus of the Ideas Immanent in Nervous Activity'' (1943), laying the foundations for [[neural network]]s. [[Norbert Wiener]]'s ''Cybernetics or Control and Communication in the Animal and the Machine'' ([[MIT Press]], 1948) popularizes the term "[[cybernetics]]".
  
'''Genetic Algorithms''' are designed to apply the survival of the fittest process to generate increasingly better solutions to the problem. Investment brokers use Genetic Algorithms to create the best possible combination of investment opportunities for their clients.
+
===1950s===
 +
The 1950s were a period of active efforts in AI. In 1950,  [[Alan Turing]] introduced the "[[Turing test]]" as a way of operationalizing a test of intelligent behavior. The first working AI programs were written in 1951 to run on the [[Ferranti Mark I]] machine of the [[University of Manchester]]:  a draughts-playing program written by [[Christopher Strachey]] and a chess-playing program written by Dietrich Prinz.  [[John McCarthy (computer scientist)|John McCarthy]] coined the term "artificial intelligence" at the first conference devoted to the subject, in 1956. He also invented the [[Lisp programming language]]. [[Joseph Weizenbaum]] built [[ELIZA]], a [[chatterbot]] implementing [[Rogerian psychotherapy]].  The birthdate of AI is generally considered to be July 1956 at the [[Dartmouth Conference]], where many of these people met and exchanged ideas.
  
An '''Intelligence Agent''' is software that assists you, or acts on your behalf, in performing repetitive computer-related tasks. Examples of its uses are data mining programs and monitoring and surveillance agents.
+
At the same time, [[John von Neumann]], who had been hired by the [[RAND Corporation]], developed the [[game theory]], which would prove invaluable in the progress of AI research.
  
 +
===1960s-1970s===
 +
During the 1960s and 1970s, [[Joel Moses]] demonstrated the power of [[symbolic reasoning]] for integration problems in the [[Macsyma]] program, the first successful knowledge-based program in mathematics. [[Leonard Uhr]] and Charles Vossler published "A Pattern Recognition Program That Generates, Evaluates, and Adjusts Its Own Operators" in 1963, which described one of the first machine learning programs that could adaptively acquire and modify features and thereby overcome the limitations of simple perceptrons of [[Frank Rosenblatt|Rosenblatt]]. [[Marvin Minsky]] and [[Seymour Papert]] published ''Perceptrons'', which demonstrated the limits of simple neural nets. [[Alain Colmerauer]] developed the [[Prolog]] computer language. Ted Shortliffe demonstrated the power of rule-based systems for [[knowledge representation]] and inference in medical diagnosis and therapy in what is sometimes called the first expert system. [[Hans Moravec]] developed the first computer-controlled vehicle to [[autonomous vehicle|autonomously]] negotiate cluttered obstacle courses.
  
[[Logic programming]] was sometimes considered a field of artificial intelligence, but this is no longer the case.
+
===1980s===
 +
In the 1980s, neural networks became widely used due to the [[backpropagation]] algorithm, first described by [[Paul Werbos]] in 1974. The team of [[Ernst Dickmanns]] built the first robot cars, driving up to 55 mph on empty streets.  
  
==Machines displaying some degree of intelligence==
+
===1990s & Turn of the Century===
 +
The 1990s marked major achievements in many areas of AI and demonstrations of various applications. In 1995, one of Dickmanns' robot cars drove more than 1000 miles in traffic at up to 110 mph. [[Deep Blue]], a chess-playing computer, beat [[Garry Kasparov]] in a famous six-game match in 1997. [[Defense Advanced Research Projects Agency|DARPA]] stated that the costs saved by implementing AI methods for scheduling units in the first [[Gulf War|Persian Gulf War]] have repaid the US government's entire investment in AI research since the 1950s. [[Honda]] built the first prototypes of humanoid robots like the one depicted above.
  
There are many examples of programs displaying some degree of intelligenceSome of these are:
+
During the 1990s and 2000s AI has become very influenced by probability theory and statistics.  [[Bayesian networks]] are the focus of this movement, providing links to more rigorous topics in statistics and engineering such as [[Markov process|Markov models]] and [[Kalman filter]]s, and bridging the divide between `neat' and `scruffy' approaches. The last few years have also seen a big interest in game theory applied to AI [[decision making]]. This new school of AI is sometimes called `machine learning'.  After the [[September 11, 2001 attacks]] there has been much renewed interest and funding for threat-detection AI systems, including [[machine vision]] research and [[data-mining]]. However despite the hype, excitment about Bayesian AI is perhaps now fading again as successful Bayesian models have only appeared for tiny statistical tasks (such as finding [[principal components]] probabilistically) and appear to be intractable for general perception and decision making.
* [http://www.20q.net Twenty Questions] - A neural-net based game of 20 questions
 
* [http://start.csail.mit.edu The Start Project] - a web-based system which answers questions in English.
 
* [http://www.brainboost.com Brainboost] - another question-answering system
 
* [[Cyc]], a knowledge base with vast collection of facts about the real world and logical reasoning ability.
 
* [[Jabberwacky]], a learning [[chatterbot]]
 
* [[ALICE]], a [[chatterbot]]
 
* [http://www.a-i.com/alan1 Alan], another chatterbot
 
* [http://www.cybermecha.com/Studio Albert One], multi-faceted chatterbot
 
* [[ELIZA]], a program which pretends to be a psychotherapist, developed in [[1966]]
 
* PAM (Plan Applier Mechanism) - a story understanding system developed by John Wilensky in [[1978]].
 
* SAM (Script applier mechanism) - a story understanding system, developed in [[1975]].
 
* [[SHRDLU]] - an early natural language understanding computer program developed in [[1968]]-[[1970]].
 
* [[Creatures]], a computer game with breeding, evolving creatures coded from the genetic level upwards using a sophisticated biochemistry and neural network brains.
 
* [http://news.bbc.co.uk/1/hi/wales/3521852.stm BBC news story] on the creator of ''Creatures'' latest creation.  [[Steve Grand]]'s ''Lucy''.
 
* [http://www.kurzweilcyberart.com/KCATaaron/STAFsample AARON] - artificial intelligence, which creates its own original paintings, developed by Harold Cohen.
 
* [[Eurisko]] - a  language for solving problems which consists of heuristics, including heuristics for how to use and change its heuristics.  Developed in 1978 by Douglas Lenat.
 
* [http://www.ai.mit.edu/projects/medical-vision/ X-Ray Vision for Surgeons] - a group in MIT which researches medical vision.
 
* [http://www.jellyfish-ai.com Neural networks-based programs for backgammon and go].
 
* [http://www.shakespearebot.com Talk to William Shakespeare] - William Shakespeare chatbot
 
* [irc://irc.dal.net/windows95 Chesperito] - A chat/info bot on #windows95 channel on the DALnet IRC network.
 
* [http://www.zabaware.com/home.html Ultra Hal], multimedia [[chatterbot]] with learning capabilities.
 
* [http://www.nanosoftsystems.com/ ALI (Artificial Language Intelligence)], [[chatterbot]] and chatterbot builder with advance artificial intelligence, easy scripting, and machine learning capabilities.
 
*[http://project.comex.ru djuzeppe] Online AI-bot and online Editor for its knowledge base.
 
  
== AI Researchers ==
+
==Challenge & Prize==
 +
The [[DARPA Grand Challenge]] is a race for a $2 million prize where cars drive themselves across several hundred miles of challenging desert terrain without any communication with humans, using [[GPS]], computers and a sophisticated array of sensors.  In 2005 the winning vehicles completed all 132 miles of the course in just under 7 hours.  Unfortunately, there will be no prize money awarded to the winners of the 2007 race due to a re-allocation of DARPA funds through a bill signed by George W. Bush in which Congress switched the authority from DARPA to its boss, the Director of Defense Engineering and Research. [http://apnews.myway.com//article/20061020/D8KSENRO0.html]
  
There are many thousands of AI researchers (see [[:Category:Artificial intelligence researchers]]) around the world at hundreds of research institutions and companies. Among the many who have made significant contributions are:
+
In the post-dot com boom era, some search engine websites such have sprung using a simple form of AI to provide answers to questions by entered by the visitor.
 +
Questions such as "What is the tallest building?" Can be entered into the search engine's input form and a list of answers will be returned.
  
* [[Alan Turing]]
+
==AI in Philosophy==
* [[Boris Katz]]
+
{{portalpar|Mind and Brain}}
* [[Doug Lenat]]
 
* [[Douglas Hofstadter]]
 
* [[Geoffrey Hinton]]
 
* [[John McCarthy (computer scientist)|John McCarthy]]
 
* [[Karl Sims]]
 
* [[Kevin Warwick]]
 
* [[Igor Aleksander]]
 
* [[Marvin Minsky]]
 
* [[Seymour Papert]]
 
* [[Maggie Boden]]
 
* [[Mike Brady]]
 
* [[Oliver Selfridge]]
 
* [[Raj Reddy]]
 
* [[Judea Pearl]]
 
* [[Rodney Brooks]]
 
* [[Roger Schank]]
 
* [[Terry Winograd]]
 
* [[Rolf Pfeifer]]
 
* [[James Hendler]]
 
* [[Ali Sohani]]
 
* [[Sankar K Pal]]
 
  
== Further reading ==
+
{{main|Philosophy of artificial intelligence}}
  
=== Non-fiction ===
+
The [[strong AI]] vs. [[weak AI]] debate ("can a man-made artifact be conscious?") is still a hot topic amongst AI [[philosopher]]s. This involves [[philosophy of mind]] and the [[mind-body problem]]. Most notably [[Roger Penrose]] in his book ''[[The Emperor's New Mind]]'' and [[John Searle]] with his "[[Chinese room]]" [[thought experiment]] argue that true [[consciousness]] cannot be achieved by [[formal logic]] systems, while [[Douglas Hofstadter]] in ''[[Gödel, Escher, Bach]]'' and [[Daniel Dennett]] in ''[[Consciousness Explained]]'' argue in favour of [[Functionalism (philosophy of mind)|functionalism]]. In many strong AI supporters’ opinion, [[artificial consciousness]] is considered as the [[list of holy grails|holy grail]] of artificial intelligence. [[Edsger Dijkstra]] famously opined that the debate had little importance: "The question of whether a computer can think is no more interesting than the question of whether a submarine can swim."
The following are considered seminal works in the field.
 
A longer list is at [[List of important publications in computer science#Artificial intelligence|Important publications in artificial intelligence]].
 
  
* ''[[Artificial Intelligence: A Modern Approach]]'' by [[Stuart J. Russell]] and [[Peter Norvig]] ISBN 0130803022
+
[[Epistemology]], the study of knowledge, also makes contact with AI, as engineers find themselves debating similar questions to philosophers about how best to represent and use knowledge and information.  (e.g. [[semantic networks]]).
* ''[[Gödel, Escher, Bach]] : An Eternal Golden Braid'' by [[Douglas R. Hofstadter]]
 
* ''Understanding Understanding: Essays on Cybernetics and Cognition'' by Heinz von Foerster
 
* ''In the Image of the Brain: Breaking the Barrier Between Human Mind and Intelligent Machines'' by Jim Jubak
 
* ''[[Today's Computers, Intelligent Machines and Our Future]]'' by Hans Moravec, [[Stanford University]]
 
* ''[[The Society of Mind]]'' by Marvin Minsky, ISBN 0671657135 [[15 March]] [[1998]]
 
* ''[[Perceptrons: An Introduction to Computational Geometry]]'' by Marvin Minsky and Seymour Papert ISBN 0262631113 [[28 December]] [[1987]]
 
* ''[[The Brain Makers: Genius, Ego and Greed In The Quest For Machines That Think]]'' by HP Newquist  ISBN 0672304120.
 
  
=== Sources ===
+
==AI in business==
 +
Banks use artificial intelligence systems to organize operations, invest in stocks, and manage properties.  In August 2001, robots beat humans in a simulated [[stock trader|financial trading]] competition ([[BBC News]], 2001).<ref name="xppr">{{cite web
 +
|url=http://news.bbc.co.uk/2/hi/business/1481339.stm
 +
|title=Robots beat humans in trading battle
 +
|year=[[August 8]] [[2001]]
 +
|accessdate=2006-11-02
 +
|work=BBC News, Business
 +
|publisher=The British Broadcasting Corporation
 +
}}</ref> A medical clinic can use artificial intelligence systems to organize bed schedules, make a staff rotation, and to provide medical information.  Many practical applications are dependent on [[artificial neural networks]] &mdash; networks that pattern their organization in mimicry of a brain's neurons, which have been found to excel in pattern recognition. [[Financial institution]]s have long used such systems to detect charges or claims outside of the norm, flagging these for human investigation. Neural networks are also being widely deployed in [[homeland security]], speech and text recognition, [[medical diagnosis]] (such as in [[Concept Processing]] technology in [[EMR]] software), [[data mining]], and [[e-mail spam]] filtering.
  
* John McCarthy: ''Proposal for the Dartmouth Summer Research Project On Artificial Intelligence''. [http://www-formal.stanford.edu/jmc/history/dartmouth/dartmouth.html]
+
[[Robot]]s have also become common in many industries. They are often given jobs that are considered dangerous to humans. Robots have also proven effective in jobs that are very repetitive which may lead to mistakes or accidents due to a lapse in concentration, and other jobs which humans may find degrading. General Motors uses around 16,000 robots for tasks such as painting, welding, and assembly. [[Japan]] is the leader in using robots in the world. In 1995, 700,000 robots were in use worldwide; over 500,000 of which were from Japan (Encarta, 2006).
* John Searle: ''Minds, Brains and Programs'' Behavioral and Brain Sciences 3 (3): 417-457 1980. [[http://www.bbsonline.org/documents/a/00/00/04/84/bbs00000484-00/bbs.searle2.html]]
 
  
== See also ==
+
==AI in fiction==
 +
In [[science fiction]] AI &mdash; almost always [[strong AI]] &mdash; is commonly portrayed as an upcoming power trying to overthrow human authority as in [[HAL 9000]], [[Skynet]], [[Colossus: The Forbin Project|Colossus]] and [[The Matrix]] or as service [[humanoid]]s like [[C-3PO]], [[Marvin the Paranoid Android|Marvin]], [[Data (Star Trek)|Data]], [[KITT]] and [[KARR (Knight Rider)|KARR]], the [[Bicentennial Man]], the ''Mechas'' in [[A.I. (film)|A.I.]], [[Cortana]] from the [[Halo (video game series)|Halo]] series or Sonny in [[I, Robot (film)|I, Robot]].
 +
<!--this is not a list of your favorite sci-fi AI, keep it short and use only famous and clear examples—>
  
* [[List of fictional computers]]
+
A notable exception is Mike in [[Robert A. Heinlein]]'s ''[[The Moon Is a Harsh Mistress]]'': a supercomputer that becomes aware and aids in a local revolution.
* [[List of fictional robots and androids]]
 
  
=== Philosophy ===
+
The inevitability of world domination by out-of-control AI is also argued by some fiction writers like [[Kevin Warwick]]. In works such as the Japanese [[manga]] ''[[Ghost in the Shell (manga)|Ghost in the Shell]]'', the existence of intelligent machines questions the definition of life as organisms rather than a broader category of autonomous entities, establishing a notional concept of systemic intelligence.
* [[Functionalism (philosophy of mind)|Functionalism]]
+
''See [[list of fictional computers]] and [[list of fictional robots and androids]].''
* [[Searle's Chinese room]]
 
* [[Consciousness]]
 
  
=== Logic ===
+
Some fiction writers, such as [[Vernor Vinge]] and [[Ray Kurzweil]], have also speculated that the advent of [[strong AI]] is likely to cause abrupt and dramatic societal change.  The period of abrupt change is sometimes referred to as "[[Technological singularity|the Singularity]]".
* [[Semantics]]
 
  
=== Science ===
+
Author [[Frank Herbert]] explored the idea of a time when mankind might ban [[strong AI|clever machines]] entirely.  His [[Dune universe|Dune series]] makes mention of a rebellion called the [[Butlerian Jihad]] in which mankind defeats the smart machines of the future and then imposes a death penalty against any who would again create thinking machines.  Often quoted from the fictional [[Orange Catholic Bible]], "Thou shalt not make a machine in the likeness of a human mind."
* [[Cognitive science]]
 
* [[Computer science]]
 
* [[Cybernetics]]
 
* [[Psychology]]
 
* [[Biosynthetic phylogeny]]
 
* [[Scientific Community Metaphor]]
 
  
=== Applications ===
+
==See also==
* [[Artificial intelligence agent]]
+
*[[American Association for Artificial Intelligence]]
* [[Bio-inspired computing]]
+
*[[Artificial artificial intelligence]]
* [[Clinical decision support system]]
+
*[[AI effect]]
* [[Computer game bot]]
+
*[[AI winter]]
* [[Game AI]]
+
*[[A.I. Systems Integration]]
* [[List of Artificial Intelligence projects]]
+
*[[Biosynthetic phylogeny]]
 +
*[[Cognitive science]]
 +
*[[Fifth generation computer]]
 +
*[[German Research Centre for Artificial Intelligence]]
 +
*[[History of artificial intelligence]]
 +
*[[Intelligent interface]]
 +
*[[International Joint Conference on Artificial Intelligence]]
 +
*[[Loebner Prize]]
 +
*[[Neuromancer]]
 +
*[[PEAS]]
 +
*[[Predictive analytics]]
 +
*[[Robotics]]
 +
*[[Three Laws of Robotics]]
  
=== Uncategorised ===
+
==Applications==
* [[Collective intelligence]] &mdash; The idea that a relatively large number of people co-operating in one process can lead to reliable action, in time for the emergence of smarter-than-human intelligence.
+
Typical problems to which AI methods are applied:
* [[Friendly AI]] &mdash; A model for creating artificial intelligence which is moral and "safe".
+
*[[Pattern recognition]]
* [[Game_programmer#Artificial_Intelligence_Programmer|Game programming AI]]
+
**[[Optical character recognition]]
* [[K-line (artificial intelligence)]]
+
**[[Handwriting recognition]]
* [[Mindpixel]] &mdash; A project to collect simple true / false assertions and collaboratively validate them with the aim of using them as a body of human common sense knowledge that can be utilised by a machine.
+
**[[Speech recognition]]
* [[Truth maintenance system]]s &mdash; by [[Gerald Jay Sussman]] and [[Richard Stallman]]
+
**[[Facial recognition system|Face recognition]]
  
 +
*[[Artificial Creativity]]
 +
*[[Computer vision]], [[Virtual reality]] and [[Image processing]]
 +
*[[Diagnosis (Artificial intelligence)|Diagnosis]]
 +
*[[Game theory]] and [[Strategic planning]]
 +
*[[Game AI]] and [[Computer game bot]]
 +
*[[Natural language processing]], [[Translation]] and [[Chatterbot]]s
 +
*[[Non-linear control]] and [[Robotics]]
  
 +
Other fields in which AI methods are implemented:
 +
*[[Artificial life]]
 +
*[[Automated reasoning]]
 +
*[[Automation]]
 +
*[[Behavior-based robotics]]
 +
*[[Bio-inspired computing]]
 +
*[[Chatterbot]]
 +
*[[Cognitive robotics]]
 +
*[[Colloquis]]
 +
*[[Concept Mining]]
 +
*[[Cybernetics]]
 +
*[[Data mining]]
 +
*[[Developmental robotics]]
 +
*[[Epigenetic robotics]]
 +
*[[E-mail spam]] filtering
 +
*[[Evolutionary robotics]]
 +
*[[Hybrid intelligent system]]
 +
*[[Intelligent agent]]
 +
*[[Intelligent control]]
 +
*[[Knowledge Representation]]
 +
*[[Knowledge Acquisition]]
 +
*[[Semantic web]]
  
== External links ==
+
Lists of researchers, projects & publications
=== General ===
+
*[[:Category:Artificial intelligence researchers|List of AI researchers]]
{{wikibookspar||Computer programming/AI}}
+
*[[List of notable artificial intelligence projects|List of AI projects]]
* [http://www.cs.berkeley.edu/~russell/ai.html University of California at Berkeley AI Resources] links to 868 AI resource pages
+
*[[List of important publications in computer science#Artificial intelligence|List of important AI publications]]
* [http://www.loebner.net/Prizef/loebner-prize.html Loebner Prize website]
+
<!This is not a list of your pet website or article, or favorite AI software & books. please add those to the appropriate links in the see also section. Keep this list short and use only famous and clear examples>
* [http://www.nabble.com/Artificial-Intelligence-f434.html Artificial Intelligence Forum]
 
* [http://purl.net/net/AIWiki AIWiki] - a [[wiki]] devoted to AI.
 
* [http://www.dmoz.org/Computers/Artificial_Intelligence/ AI web category on Open Directory]
 
* [http://www.mindpixel.com/ Mindpixel] "The Planet's Largest Artificial Intelligence Effort"
 
* [http://commonsense.media.mit.edu/cgi-bin/search.cgi/ OpenMind CommonSense] "Teaching computers the stuff we all know"
 
* [http://www.bitesizeinc.net/index.php/ouija.html Artificially Intelligent Ouija Board] - creative example of human-like AI
 
* [http://www.geocities.com/francorbusetti/ Heuristics and AI in finance and investment]
 
* [http://sourceforge.net/softwaremap/trove_list.php?form_cat=133 SourceForge Open Source AI projects] - 1139 projects
 
* [http://www.aaai.org/AITopics/html/ethics.html Ethical and Social Implications of AI en Computerization]
 
* [http://www.cs.unm.edu/~luger/ai-final/software.html AI algorithm implementations and demonstrations]
 
* [http://artificial-intell.blogspot.com/2005/04/artificial-intelligence-in-nutshell.html/ Artificial Intelligence in a nutshell]
 
* [http://web.media.mit.edu/~minsky/ Marvin Minsky's Homepage]
 
* [http://www.ai.mit.edu/ MIT's AI Lab]
 
* [http://www.ifi.unizh.ch/ailab/ AI Lab Zurich]
 
* [http://www.isi.edu/divisions/div3/ AI research group at Information Sciences Institute]
 
* [http://metainformaciones.blogspot.com/2005/02/minksy-y-la-programacin.html Why Programming is a Good Medium for Expressing Poorly Understood and Sloppily Formulated Ideas]
 
* [http://www.aiknow.net/ aiKnow: Cognitive Artificial Intelligence]
 
* [http://www.alanturing.net/turing_archive/pages/Reference%20Articles/What%20is%20AI.html What is Artificial Intelligence?]
 
* [http://plato.stanford.edu/entries/logic-ai/ Stanford Encyclopedia of Philosophy entry on Logic and Artificial Intelligence]
 
* [http://web.peoriadesignweb.com/dev/ai/ AI Search Engine]
 
* [http://www.techbookreport.com/AIIndex.html TechBookReport] Book reviews related to AI, machine learning and complexity theory
 
* [http://www.ai-junkie.com/ AI-Junkie: Genetic Algorithm and Neural Network tutorials]
 
  
=== AI related organizations ===
+
==References==
* [http://ai-consortium.com/content/ AI Consortium]
+
<!-- ----------------------------------------------------------
* [http://www.aaai.org/ American Association for Artificial Intelligence]
+
  See http://en.wikipedia.org/wiki/Wikipedia:Footnotes for a
* [http://www.eccai.org/ European Coordinating Committee for Artificial Intelligence]
+
  discussion of different citation methods and how to generate
* [http://www1.cs.columbia.edu/~acl/ The Association for Computational Linguistics]
+
  footnotes using the <ref>, </ref> and  <reference /> tags
* [http://www.dotmotive.com/~aisu/ Artificial Intelligence Student Union]
+
----------------------------------------------------------- —>
* [http://www.dfki.de/ German Research Center for Artificial Intelligence, DFKI GmbH]
+
<div class="references-small">
* [http://www.auai.org/ Association for Uncertainty in Artificial Intelligence]
+
<references />
* [http://www.singinst.org Singularity Institute for Artificial Intelligence]
+
*Cummings, Maeve. McCubbrey J, Donald. Pinsonneault, Alain. Donovan, Richard. Management Information Systems for the Information Age. Third Canadian Edition. Canada. McGraw-Hill, 2006.
* [http://www.aisb.org.uk/ The Society for the Study of Artificial Intelligence and the Simulation of Behaviour (United Kingdom)]
+
</div>
* [http://agiri.org/ AGIRI - Artificial General Intelligence Research Institute]
 
* [http://groups.yahoo.com/group/bbEWS/ Bootstrapped-Brain Early Warning Station]
 
  
[[Category:Artificial intelligence]] [[Category:Philosophy of mind]] [[Category:Robotics]]
+
==External links==
[[Category:Physical_sciences]]
+
{{wikibookspar||Artificial Intelligence}}
 +
{{Commons}}
 +
*[http://www.cam-direct.co.uk/ltk/index2.php?location=Artificial_Intelligence AI overview].
 +
*[http://www.sics.se/~annika/papers/intint.html Intelligent Interface].
 +
*[http://lis.epfl.ch/podcast Podcast 'Talking Robots' - interviews with high-profile professionals in Robotics and Artificial Intelligence]
 +
*[http://www.vega.org.uk/video/programme/16 Freeview Video 'Machines with Minds' by the Vega Science Trust and the BBC/OU]
 +
*[http://www-formal.stanford.edu/jmc/whatisai/node1.html John McCarthy's frequently asked questions about AI]
 +
*[http://www.kurzweilai.net/ Ray Kurzweil's website dedicated to AI including prediction of future development in AI]
 +
*[http://www.idsia.ch/~juergen/ai.html AI history & outlook] by [[Jürgen Schmidhuber]]
 +
*[http://www.tuppas.com/Artificial-Intelligence/Artificial-Intelligence.htm Artificial Intelligence in Manufacturing]
 +
*[http://www.geocities.com/francorbusetti Heuristics and artificial intelligence in finance and investment]
 +
*[http://business.guardian.co.uk/story/0,,1781123,00.html Google Users Promised Artificial Intelligence]
 +
*[http://ai50.org/ 50th Anniversary Summit of Artificial Intelligence 9-14 July 2006 Monte Verita Switzerland]
 +
*[http://www.synthetic-intelligence.eu/ Research Group Synthetic Intelligence, Europe]
 +
*[http://www.pandorabots.com/pandora/talk?botid=f5d922d97e345aa1 Speak with A.L.I.C.E. : An award winning AI chat robot]
 +
*[http://groups.google.com/group/comp.ai The AI newsgroup]
 +
*[http://www.ilmarefilm.org/W_E_1.htm Documentary film with and about Joseph Weizenbaum and ELIZA. ( "Weizenbaum. Rebel at Work." )]
 +
*[http://ti.arc.nasa.gov NASA Ames Research Center's Intelligent Systems Division]
 +
*[http://www.iismemphis.org Institute for Intelligent Systems]
 +
* [http://archive.salon.com/tech/feature/2000/08/10/turing/index.html "Hello, Are You Human?"] Cocktail hour inversion of the [[Turing Test]]
 +
*[http://www.mindmakers.org Mindmakers.org, an online organization for people building large scale A.I. systems].
 +
*[http://www.aaai.org/AITopics/html/welcome.html AI Topics]
  
[[bg:&#1048;&#1079;&#1082;&#1091;&#1089;&#1090;&#1074;&#1077;&#1085; &#1080;&#1085;&#1090;&#1077;&#1083;&#1077;&#1082;&#1090;]]
+
[[Category:Physical sciences]]
[[ca:Intel·ligència artificial]]
+
[[Category:Engineering]]
[[cs:Um&#283;l&#225; inteligence]]
+
[[Category:Physics]]
[[da:Kunstig intelligens]]
+
[[Category:Computer science]]
[[de:Künstliche Intelligenz]]
+
[[Category:Philosophy]]
[[es:Inteligencia artificial]]
 
[[et:Tehisintellekt]]
 
[[fa:&#1607;&#1608;&#1588; &#1605;&#1589;&#1606;&#1608;&#1593;&#1740;]]
 
[[fr:Intelligence artificielle]]
 
[[hr:Umjetna inteligencija]]
 
[[id:Kecerdasan Buatan]]
 
[[it:Intelligenza artificiale]]
 
[[he:&#1489;&#1497;&#1504;&#1492; &#1502;&#1500;&#1488;&#1499;&#1493;&#1514;&#1497;&#1514;]]
 
[[ko:&#51064;&#44277; &#51648;&#45733;]]
 
[[ms:Kecergasan Buatan]]
 
[[nl:Kunstmatige intelligentie]]
 
[[ja:&#20154;&#24037;&#30693;&#33021;]]
 
[[no:Kunstig intelligens]]
 
[[pl:Sztuczna inteligencja]]
 
[[pt:Inteligência artificial]]
 
[[ru:&#1048;&#1089;&#1082;&#1091;&#1089;&#1089;&#1090;&#1074;&#1077;&#1085;&#1085;&#1099;&#1081; &#1080;&#1085;&#1090;&#1077;&#1083;&#1083;&#1077;&#1082;&#1090;]]
 
[[sv:Artificiell intelligens]]
 
[[fi:Tekoäly]]
 
[[th:&#3611;&#3633;&#3597;&#3597;&#3634;&#3611;&#3619;&#3632;&#3604;&#3636;&#3625;&#3600;&#3660;]]
 
[[uk:&#1064;&#1090;&#1091;&#1095;&#1085;&#1080;&#1081; &#1110;&#1085;&#1090;&#1077;&#1083;&#1077;&#1082;&#1090;]]
 
[[vi:Trí tuệ nhân tạo]]
 
[[zh:&#20154;&#24037;&#26234;&#33021;]]
 
  
{{credit|24653105}}
+
{{credit|94619453}}

Revision as of 05:44, 17 December 2006

Portal Artificial intelligence Portal
Honda's humanoid robot

Artificial intelligence (AI) is a branch of computer science and engineering that deals with intelligent behavior, learning, and adaptation in machines. Research in AI is concerned with producing machines to automate tasks requiring intelligent behavior. Examples include control, planning and scheduling, the ability to answer diagnostic and consumer questions, handwriting, speech, and facial recognition. As such, it has become an engineering discipline, focused on providing solutions to real life problems, software applications, traditional strategy games like computer chess and other video games.

For topics relating specifically to full human-like intelligence, see Strong AI.

Schools of thought

AI divides roughly into two schools of thought: Conventional AI and Computational Intelligence (CI), also sometimes referred to as Synthetic Intelligence to highlight the differences.

Conventional AI mostly involves methods now classified as machine learning, characterized by formalism and statistical analysis. This is also known as symbolic AI, logical AI, neat AI and Good Old Fashioned Artificial Intelligence (GOFAI). (Also see semantics.) Methods include:

  • Expert systems: apply reasoning capabilities to reach a conclusion. An expert system can process large amounts of known information and provide conclusions based on them.
  • Case based reasoning
  • Bayesian networks
  • Behavior based AI: a modular method of building AI systems by hand.

Computational Intelligence involves iterative development or learning (e.g. parameter tuning e.g. in connectionist systems). Learning is based on empirical data and is associated with non-symbolic AI, scruffy AI and soft computing. Methods mainly include:

  • Neural networks: systems with very strong pattern recognition capabilities.
  • Fuzzy systems: techniques for reasoning under uncertainty, have been widely used in modern industrial and consumer product control systems.
  • Evolutionary computation: applies biologically inspired concepts such as populations, mutation and survival of the fittest to generate increasingly better solutions to the problem. These methods most notably divide into evolutionary algorithms (e.g. genetic algorithms) and swarm intelligence (e.g. ant algorithms).

With hybrid intelligent systems attempts are made to combine these two groups. Expert inference rules can be generated through neural network or production rules from statistical learning such as in ACT-R. It is thought that the human brain uses multiple techniques to both formulate and cross-check results. Thus, systems integration is seen as promising and perhaps necessary for true AI.

History

Early in the 17th century, René Descartes envisioned the bodies of animals as complex but reducible machines, thus formulating the mechanistic theory, also known as the "clockwork paradigm". Wilhelm Schickard created the first mechanical digital calculating machine in 1623, followed by machines of Blaise Pascal (1643) and Gottfried Wilhelm von Leibniz (1671), who also invented the binary system. In the 19th century, Charles Babbage and Ada Lovelace worked on programmable mechanical calculating machines.

Bertrand Russell and Alfred North Whitehead published Principia Mathematica in 1910-1913, which revolutionized formal logic. In 1931 Kurt Gödel showed that sufficiently powerful consistent formal systems contain true theorems unprovable by any theorem-proving AI that is systematically deriving all possible theorems from the axioms. In 1941 Konrad Zuse built the first working program-controlled computers. Warren McCulloch and Walter Pitts published A Logical Calculus of the Ideas Immanent in Nervous Activity (1943), laying the foundations for neural networks. Norbert Wiener's Cybernetics or Control and Communication in the Animal and the Machine (MIT Press, 1948) popularizes the term "cybernetics".

1950s

The 1950s were a period of active efforts in AI. In 1950, Alan Turing introduced the "Turing test" as a way of operationalizing a test of intelligent behavior. The first working AI programs were written in 1951 to run on the Ferranti Mark I machine of the University of Manchester: a draughts-playing program written by Christopher Strachey and a chess-playing program written by Dietrich Prinz. John McCarthy coined the term "artificial intelligence" at the first conference devoted to the subject, in 1956. He also invented the Lisp programming language. Joseph Weizenbaum built ELIZA, a chatterbot implementing Rogerian psychotherapy. The birthdate of AI is generally considered to be July 1956 at the Dartmouth Conference, where many of these people met and exchanged ideas.

At the same time, John von Neumann, who had been hired by the RAND Corporation, developed the game theory, which would prove invaluable in the progress of AI research.

1960s-1970s

During the 1960s and 1970s, Joel Moses demonstrated the power of symbolic reasoning for integration problems in the Macsyma program, the first successful knowledge-based program in mathematics. Leonard Uhr and Charles Vossler published "A Pattern Recognition Program That Generates, Evaluates, and Adjusts Its Own Operators" in 1963, which described one of the first machine learning programs that could adaptively acquire and modify features and thereby overcome the limitations of simple perceptrons of Rosenblatt. Marvin Minsky and Seymour Papert published Perceptrons, which demonstrated the limits of simple neural nets. Alain Colmerauer developed the Prolog computer language. Ted Shortliffe demonstrated the power of rule-based systems for knowledge representation and inference in medical diagnosis and therapy in what is sometimes called the first expert system. Hans Moravec developed the first computer-controlled vehicle to autonomously negotiate cluttered obstacle courses.

1980s

In the 1980s, neural networks became widely used due to the backpropagation algorithm, first described by Paul Werbos in 1974. The team of Ernst Dickmanns built the first robot cars, driving up to 55 mph on empty streets.

1990s & Turn of the Century

The 1990s marked major achievements in many areas of AI and demonstrations of various applications. In 1995, one of Dickmanns' robot cars drove more than 1000 miles in traffic at up to 110 mph. Deep Blue, a chess-playing computer, beat Garry Kasparov in a famous six-game match in 1997. DARPA stated that the costs saved by implementing AI methods for scheduling units in the first Persian Gulf War have repaid the US government's entire investment in AI research since the 1950s. Honda built the first prototypes of humanoid robots like the one depicted above.

During the 1990s and 2000s AI has become very influenced by probability theory and statistics. Bayesian networks are the focus of this movement, providing links to more rigorous topics in statistics and engineering such as Markov models and Kalman filters, and bridging the divide between `neat' and `scruffy' approaches. The last few years have also seen a big interest in game theory applied to AI decision making. This new school of AI is sometimes called `machine learning'. After the September 11, 2001 attacks there has been much renewed interest and funding for threat-detection AI systems, including machine vision research and data-mining. However despite the hype, excitment about Bayesian AI is perhaps now fading again as successful Bayesian models have only appeared for tiny statistical tasks (such as finding principal components probabilistically) and appear to be intractable for general perception and decision making.

Challenge & Prize

The DARPA Grand Challenge is a race for a $2 million prize where cars drive themselves across several hundred miles of challenging desert terrain without any communication with humans, using GPS, computers and a sophisticated array of sensors. In 2005 the winning vehicles completed all 132 miles of the course in just under 7 hours. Unfortunately, there will be no prize money awarded to the winners of the 2007 race due to a re-allocation of DARPA funds through a bill signed by George W. Bush in which Congress switched the authority from DARPA to its boss, the Director of Defense Engineering and Research. [1]

In the post-dot com boom era, some search engine websites such have sprung using a simple form of AI to provide answers to questions by entered by the visitor. Questions such as "What is the tallest building?" Can be entered into the search engine's input form and a list of answers will be returned.

AI in Philosophy

Portal:Mind and Brain
Mind and Brain Portal


The strong AI vs. weak AI debate ("can a man-made artifact be conscious?") is still a hot topic amongst AI philosophers. This involves philosophy of mind and the mind-body problem. Most notably Roger Penrose in his book The Emperor's New Mind and John Searle with his "Chinese room" thought experiment argue that true consciousness cannot be achieved by formal logic systems, while Douglas Hofstadter in Gödel, Escher, Bach and Daniel Dennett in Consciousness Explained argue in favour of functionalism. In many strong AI supporters’ opinion, artificial consciousness is considered as the holy grail of artificial intelligence. Edsger Dijkstra famously opined that the debate had little importance: "The question of whether a computer can think is no more interesting than the question of whether a submarine can swim."

Epistemology, the study of knowledge, also makes contact with AI, as engineers find themselves debating similar questions to philosophers about how best to represent and use knowledge and information. (e.g. semantic networks).

AI in business

Banks use artificial intelligence systems to organize operations, invest in stocks, and manage properties. In August 2001, robots beat humans in a simulated financial trading competition (BBC News, 2001).[1] A medical clinic can use artificial intelligence systems to organize bed schedules, make a staff rotation, and to provide medical information. Many practical applications are dependent on artificial neural networks — networks that pattern their organization in mimicry of a brain's neurons, which have been found to excel in pattern recognition. Financial institutions have long used such systems to detect charges or claims outside of the norm, flagging these for human investigation. Neural networks are also being widely deployed in homeland security, speech and text recognition, medical diagnosis (such as in Concept Processing technology in EMR software), data mining, and e-mail spam filtering.

Robots have also become common in many industries. They are often given jobs that are considered dangerous to humans. Robots have also proven effective in jobs that are very repetitive which may lead to mistakes or accidents due to a lapse in concentration, and other jobs which humans may find degrading. General Motors uses around 16,000 robots for tasks such as painting, welding, and assembly. Japan is the leader in using robots in the world. In 1995, 700,000 robots were in use worldwide; over 500,000 of which were from Japan (Encarta, 2006).

AI in fiction

In science fiction AI — almost always strong AI — is commonly portrayed as an upcoming power trying to overthrow human authority as in HAL 9000, Skynet, Colossus and The Matrix or as service humanoids like C-3PO, Marvin, Data, KITT and KARR, the Bicentennial Man, the Mechas in A.I., Cortana from the Halo series or Sonny in I, Robot.

A notable exception is Mike in Robert A. Heinlein's The Moon Is a Harsh Mistress: a supercomputer that becomes aware and aids in a local revolution.

The inevitability of world domination by out-of-control AI is also argued by some fiction writers like Kevin Warwick. In works such as the Japanese manga Ghost in the Shell, the existence of intelligent machines questions the definition of life as organisms rather than a broader category of autonomous entities, establishing a notional concept of systemic intelligence. See list of fictional computers and list of fictional robots and androids.

Some fiction writers, such as Vernor Vinge and Ray Kurzweil, have also speculated that the advent of strong AI is likely to cause abrupt and dramatic societal change. The period of abrupt change is sometimes referred to as "the Singularity".

Author Frank Herbert explored the idea of a time when mankind might ban clever machines entirely. His Dune series makes mention of a rebellion called the Butlerian Jihad in which mankind defeats the smart machines of the future and then imposes a death penalty against any who would again create thinking machines. Often quoted from the fictional Orange Catholic Bible, "Thou shalt not make a machine in the likeness of a human mind."

See also

  • American Association for Artificial Intelligence
  • Artificial artificial intelligence
  • AI effect
  • AI winter
  • A.I. Systems Integration
  • Biosynthetic phylogeny
  • Cognitive science
  • Fifth generation computer
  • German Research Centre for Artificial Intelligence
  • History of artificial intelligence
  • Intelligent interface
  • International Joint Conference on Artificial Intelligence
  • Loebner Prize
  • Neuromancer
  • PEAS
  • Predictive analytics
  • Robotics
  • Three Laws of Robotics

Applications

Typical problems to which AI methods are applied:

  • Pattern recognition
    • Optical character recognition
    • Handwriting recognition
    • Speech recognition
    • Face recognition
  • Artificial Creativity
  • Computer vision, Virtual reality and Image processing
  • Diagnosis
  • Game theory and Strategic planning
  • Game AI and Computer game bot
  • Natural language processing, Translation and Chatterbots
  • Non-linear control and Robotics

Other fields in which AI methods are implemented:

  • Artificial life
  • Automated reasoning
  • Automation
  • Behavior-based robotics
  • Bio-inspired computing
  • Chatterbot
  • Cognitive robotics
  • Colloquis
  • Concept Mining
  • Cybernetics
  • Data mining
  • Developmental robotics
  • Epigenetic robotics
  • E-mail spam filtering
  • Evolutionary robotics
  • Hybrid intelligent system
  • Intelligent agent
  • Intelligent control
  • Knowledge Representation
  • Knowledge Acquisition
  • Semantic web

Lists of researchers, projects & publications

  • List of AI researchers
  • List of AI projects
  • List of important AI publications

References
ISBN links support NWE through referral fees

  1. Robots beat humans in trading battle. BBC News, Business. The British Broadcasting Corporation (August 8 2001). Retrieved 2006-11-02.
  • Cummings, Maeve. McCubbrey J, Donald. Pinsonneault, Alain. Donovan, Richard. Management Information Systems for the Information Age. Third Canadian Edition. Canada. McGraw-Hill, 2006.

External links

Wikibooks
Wikibooks has more about this subject:
Commons
Wikimedia Commons has media related to::

Credits

New World Encyclopedia writers and editors rewrote and completed the Wikipedia article in accordance with New World Encyclopedia standards. This article abides by terms of the Creative Commons CC-by-sa 3.0 License (CC-by-sa), which may be used and disseminated with proper attribution. Credit is due under the terms of this license that can reference both the New World Encyclopedia contributors and the selfless volunteer contributors of the Wikimedia Foundation. To cite this article click here for a list of acceptable citing formats.The history of earlier contributions by wikipedians is accessible to researchers here:

The history of this article since it was imported to New World Encyclopedia:

Note: Some restrictions may apply to use of individual images which are separately licensed.