Timeline of artificial intelligence
{{short description|none}}
{{See also|History of artificial intelligence|Progress in artificial intelligence}}
{{Use dmy dates|date=August 2019}}
File:Ai training compute doubling v2.png
This is a timeline of artificial intelligence, sometimes alternatively called synthetic intelligence.
Antiquity, Classical and Medieval eras
class="wikitable" |
Date
! Development |
---|
rowspan=2 | Antiquity
|Greek myths of Hephaestus and Pygmalion incorporated the idea of intelligent automata (such as Talos) and artificial beings (such as Galatea and Pandora).{{sfn|McCorduck|2004|pp=4–5}} |
Sacred mechanical statues built in Egypt and Greece were believed to be capable of wisdom and emotion. Hermes Trismegistus would write "they have sensus and spiritus ... by discovering the true nature of the gods, man has been able to reproduce it."{{sfn|McCorduck|2004|p=4-5}} |
10th century BC
| Yan Shi presented King Mu of Zhou with mechanical men which were capable of moving their bodies independently.{{sfn|Needham|1986|p=53}} |
384 BC–322 BC
| Aristotle described the syllogism, a method of formal, mechanical thought in the Organon.{{Cite book|title=The Organon|publisher = Random House with Oxford University Press |year=1941 |editor=Richard McKeon |editor-link = Richard McKeon}}{{Cite journal|title=Aristotle Writing Science: An Application of His Theory|journal = Journal of Technical Writing and Communication|volume = 46|pages = 83–104|last=Giles|first=Timothy|doi=10.1177/0047281615600633|year = 2016|s2cid = 170906960}}{{sfn|Russell|Norvig|2021|p=6}} Aristotle also described means–ends analysis (an algorithm for planning) in Nicomachean Ethics, the same algorithm used by Newell and Simon's General Problem Solver (1959).{{sfn|Russell|Norvig|2021|p=7}} |
3rd century BC
|Ctesibius invents a mechanical water clock with an alarm. This was the first example of a feedback mechanism.{{citation needed|date=October 2022}} |
1st century
| Hero of Alexandria created mechanical men and other automatons.{{Harvnb|McCorduck|2004|p=6}} He produced what may have been "the world's first practical programmable machine:"{{sfn|Schmidhuber|2022}} an automatic theatre. |
260
| Porphyry wrote Isagogê which categorized knowledge and logic, including a drawing of what would later be called a "semantic net".{{sfn|Russell|Norvig|2021|p=341}} |
~800
| Jabir ibn Hayyan developed the Arabic alchemical theory of Takwin, the artificial creation of life in the laboratory, up to and including human life.{{Citation |author=O'Connor, Kathleen Malone |title=The alchemical creation of life (takwin) and other concepts of Genesis in medieval Islam |publisher=University of Pennsylvania |year=1994 |pages=1–435 |url=http://repository.upenn.edu/dissertations/AAI9503804 |access-date=10 January 2007 |postscript=. |archive-date=5 December 2019 |archive-url=https://web.archive.org/web/20191205222650/https://repository.upenn.edu/dissertations/AAI9503804/ |url-status=live }} |
rowspan = 2 | 9th Century
| The Banū Mūsā brothers created a programmable music automaton described in their Book of Ingenious Devices: a steam-driven flute controlled by a program represented by pins on a revolving cylinder.{{cite book |last1=|editor1-last=Hill |editor1-first=Donald R. |editor1-link = Donald Hill |title=The Book of Ingenious Devices |date=1979 |publisher=D. Reidel |location=Dortrecht, Netherlands; Boston; London |isbn=978-90277-0-833-5 |url=https://books.google.com/books?id=HSL2CAAAQBAJ |ref=none |chapter=|orig-year=9th century}} This was "perhaps the first machine with a stored program".{{sfn|Schmidhuber|2022}} |
al-Khwarizmi wrote textbooks with precise step-by-step methods for arithmetic and algebra, used in Islam, India and Europe until the 16th century. The word "algorithm" is derived from his name.{{sfn|Russell|Norvig|2021|p=9}} |
1206
| Ismail al-Jazari created a programmable orchestra of mechanical human beings.[http://www.shef.ac.uk/marcoms/eview/articles58/robot.html A Thirteenth Century Programmable Robot] {{webarchive |url=https://web.archive.org/web/20071219095203/http://www.shef.ac.uk/marcoms/eview/articles58/robot.html |date=19 December 2007 }} |
1275
| Ramon Llull, Mallorcan theologian, invents the Ars Magna, a tool for combining concepts mechanically based on an Arabic astrological tool, the Zairja. Llull described his machines as mechanical entities that could combine basic truth and facts to produce advanced knowledge. The method would be developed further by Gottfried Wilhelm Leibniz in the 17th century.{{Harvnb|McCorduck|2004|pp=10–12, 37}}; {{Harvnb|Russell|Norvig|2021|p=6}} |
~1500
| Paracelsus claimed to have created an artificial man out of magnetism, sperm and alchemy.{{sfn|McCorduck|2004|pp=13–14}} |
~1580
| Rabbi Judah Loew ben Bezalel of Prague is said to have invented the Golem, a clay man brought to life.{{Harvnb|McCorduck|2004|pp=14–15}}, {{Harvnb|Buchanan|2005|p=50}} |
1600-1900
class="wikitable" |
Date
! Development |
---|
1620
| Francis Bacon developed empirical theory of knowledge and introduced inductive logic in his work Novum Organum, a play on Aristotle's title Organon.{{Cite book|title=The New Organon: Novem Organum Scientiarum |year=1620 |author=Sir Francis Bacon}}{{Cite book|title=Francis Bacon: The New Organon (Cambridge Texts in the History of Philosophy) |year=2000 |author=Sir Francis Bacon |publisher=Cambridge University Press}}{{sfn|Russell|Norvig|2021|p=6}} |
1623
| Wilhelm Schickard drew a calculating clock on a letter to Kepler. This will be the first of five unsuccessful attempts at designing a direct entry calculating clock in the 17th century (including the designs of Tito Burattini, Samuel Morland and René Grillet).{{efn|Please see Mechanical calculator#Other calculating machines}} |
1641
| Thomas Hobbes published Leviathan and presented a mechanical, combinatorial theory of cognition. He wrote "...for reason is nothing but reckoning".{{Harvnb|Russell|Norvig|2021|p=6}}{{sfn|McCorduck|2004|p=42}} |
1642
| Blaise Pascal invented a mechanical calculator,{{efn|Please see: Pascal's calculator#Competing designs}} the first digital calculating machine.{{Harvnb|Russell|Norvig|2021|p=6}}; {{Harvnb|McCorduck|2004|p=26}} |
1647
| René Descartes proposed that bodies of animals are nothing more than complex machines (but that mental phenomena are of a different "substance").{{Harvnb|Russell|Norvig|2021|p=6}}; {{Harvnb|McCorduck|2004|pp=36–40}} |
1654
| Blaise Pascal described how to find expected values in probability, in 1662 Antoine Arnauld published a formula to find the maximum expected value, and in 1663, Gerolamo Cardano's solution to the same problems is published 116 years after it was written. The theory of probability is further developed by Jacob Bernoulli and Pierre-Simon Laplace in the 18th century.{{sfn|Russell|Norvig|2021|p=8}} Probability theory would become central to AI and machine learning from the 1990s onward. |
1672
| Gottfried Wilhelm Leibniz improved the earlier machines, making the Stepped Reckoner to do multiplication and division.{{sfn|McCorduck|2004|pp=41–42}} |
1676
| Leibniz derived the chain rule.{{Cite book|last=Leibniz|first=Gottfried Wilhelm Freiherr von|url=https://books.google.com/books?id=bOIGAAAAYAAJ&q=leibniz+altered+manuscripts&pg=PA90|title=The Early Mathematical Manuscripts of Leibniz: Translated from the Latin Texts Published by Carl Immanuel Gerhardt with Critical and Historical Notes (Leibniz published the chain rule in a 1676 memoir)|date=1920|publisher=Open court publishing Company|isbn=9780598818461 |language=en}} The rule is used by AI to train neural networks, for example the backpropagation algorithm uses the chain rule.{{sfn|Schmidhuber|2022}} |
1679
| Leibniz developed a universal calculus of reasoning (alphabet of human thought) by which arguments could be decided mechanically. It assigned a specific number to each and every object in the world, as a prelude to an algebraic solution to all possible problems.{{Harvnb|Russell|Norvig|2021|p=6}}; {{Harvnb|McCorduck|2004|pp=41–42}} |
1726
| Jonathan Swift published Gulliver's Travels, which includes this description of the Engine, a machine on the island of Laputa: "a Project for improving speculative Knowledge by practical and mechanical Operations" by using this "Contrivance", "the most ignorant Person at a reasonable Charge, and with a little bodily Labour, may write Books in Philosophy, Poetry, Politicks, Law, Mathematicks, and Theology, with the least Assistance from Genius or study."Quoted in {{Harvnb|McCorduck|2004|p=317}} The machine is a parody of Ars Magna, one of the inspirations of Gottfried Wilhelm Leibniz' mechanism. |
1738
| Daniel Bernoulli introduces the concept of "utility", a generalization of probability, the basis of economics and decision theory, and the mathematical foundation for the way AI represents the "goals" of intelligent agents.{{sfn|Russell|Norvig|2021|p=10}} |
1739
| David Hume described induction, the logical method of learning generalities from examples.{{sfn|Russell|Norvig|2021|p=6}} |
1750
| Julien Offray de La Mettrie published L'Homme Machine, which argued that human thought is strictly mechanical.{{sfn|McCorduck|2004|pp=43}} |
1763
|Thomas Bayes's work An Essay Towards Solving a Problem in the Doctrine of Chances, published two years after his death, laid the foundations of Bayes' theorem and used in modern AI in Bayesian networks.{{sfn|Russell|Norvig|2021|p=8}} |
1769
| Wolfgang von Kempelen built and toured with his chess-playing automaton, The Turk, which Kempelen claimed could defeat human players.{{sfn|McCorduck|2004|p=17}} The Turk was later shown to be a hoax, involving a human chess player. |
1795-1805
| The simplest kind of artificial neural network is the linear network. It has been known for over two centuries as the method of least squares or linear regression. It was used as a means of finding a good rough linear fit to a set of points by Adrien-Marie Legendre (1805){{Cite book |last=Adrien-Marie Legendre |url=http://archive.org/details/bub_gb_FRcOAAAAQAAJ |title=Nouvelles méthodes pour la détermination des orbites des comètes |date=1805 |publisher=F. Didot |others=Ghent University |language=French}} and Carl Friedrich Gauss (1795){{cite journal |first=Stephen M. |last=Stigler |year=1981 |title=Gauss and the Invention of Least Squares |journal=Ann. Stat. |volume=9 |issue=3 |pages=465–474 |doi=10.1214/aos/1176345451 |doi-access=free }} for the prediction of planetary movement.{{sfn|Schmidhuber|2022}} {{cite book |last = Stigler |first = Stephen M. |author-link = Stephen Stigler |year = 1986 |title = The History of Statistics: The Measurement of Uncertainty before 1900 |location = Cambridge |publisher = Harvard |isbn = 0-674-40340-1 |url-access = registration |url = https://archive.org/details/historyofstatist00stig }} |
1800
|Joseph Marie Jacquard created a programmable loom, based on earlier inventions by Basile Bouchon (1725), Jean-Baptiste Falcon (1728) and Jacques Vaucanson (1740).{{Harvtxt|Russell|Norvig|2021|p=15}}; Razy, C. (1913), p.120. Replaceable punched cards controlled sequences of operations in the process of manufacturing textiles. This may have been the first industrial software for commercial enterprises.{{sfn|Schmidhuber|2022}} |
1818
| Mary Shelley published the story of Frankenstein; or the Modern Prometheus, a fictional consideration of the ethics of creating sentient beings.{{sfn|McCorduck|2004|pp=19–25}} |
1822–1859
| Charles Babbage & Ada Lovelace worked on programmable mechanical calculating machines.{{Harvnb|Russell|Norvig|2021|p=15}}; {{Harvnb|McCorduck|2004|pp=26–34}} |
1837
|The mathematician Bernard Bolzano made the first modern attempt to formalize semantics.{{Cite journal|last=Cambier|first=Hubert|date=June 2016|title=The Evolutionary Meaning of World 3|journal=Philosophy of the Social Sciences|volume=46|issue=3|pages=242–264|doi=10.1177/0048393116641609|s2cid=148093595|issn=0048-3931}} |
1854
| George Boole set out to "investigate the fundamental laws of those operations of the mind by which reasoning is performed, to give expression to them in the symbolic language of a calculus", inventing Boolean algebra.{{Harvnb|Russell|Norvig|2021|p=8}}; {{Harvnb|McCorduck|2004|pp=48–51}} |
1863
| Samuel Butler suggested that Darwinian evolution also applies to machines, and speculates that they will one day become conscious and eventually supplant humanity.Project Gutenberg eBook [https://www.gutenberg.org/ebooks/1906 Erewhon by Samuel Butler.Poes.....] {{Webarchive|url=https://web.archive.org/web/20210430114133/https://www.gutenberg.org/ebooks/1906 |date=30 April 2021 }} |
20th century
=1901–1950=
{{More citations needed section|date=February 2018}}
class="wikitable |
Date
! Development |
---|
1910-1913
| Bertrand Russell and Alfred North Whitehead published Principia Mathematica, which showed that all of elementary mathematics could be reduced to mechanical reasoning in formal logic.{{sfn|Linsky|Irvine|2022|p=2}} |
1912-1914
| Leonardo Torres Quevedo built an automaton for chess endgames, El Ajedrecista. He was called "the 20th century's first AI pioneer".{{sfn|Schmidhuber|2022}} In his Essays on Automatics (1914), Torres published speculation about thinking and automata and introduced the idea of floating-point arithmetic.{{Harvnb|McCorduck|2004|pp=59–60}}{{ cite web|url=http://www.cs.ncl.ac.uk/publications/articles/papers/398.pdf |title=From Analytical Engine to Electronic Digital Computer: The Contributions of Ludgate, Torres, and Bush |last1=Randell |first1=Brian |author-link1=Brian Randell |access-date=9 September 2013 |url-status=dead |archive-url=https://web.archive.org/web/20130921055055/http://www.cs.ncl.ac.uk/publications/articles/papers/398.pdf |archive-date=21 September 2013 }} |
1923
| Karel Čapek's play R.U.R. (Rossum's Universal Robots) opened in London. This is the first use of the word "robot" in English.{{Harvnb|McCorduck|2004|p=25}} |
1920-1925
| Wilhelm Lenz and Ernst Ising created and analyzed the Ising model (1925){{cite journal |doi=10.1103/RevModPhys.39.883|title=History of the Lenz-Ising Model|year=1967|last1=Brush|first1=Stephen G.|journal=Reviews of Modern Physics|volume=39|issue=4|pages=883–893|bibcode=1967RvMP...39..883B}} which can be viewed as the first artificial recurrent neural network (RNN) consisting of neuron-like threshold elements.{{sfn|Schmidhuber|2022}} In 1972, Shun'ichi Amari made this architecture adaptive.{{cite journal |last1=Amari |first1=Shun-Ichi |title=Learning patterns and pattern sequences by self-organizing nets of threshold elements|journal= IEEE Transactions |date=1972 |volume=C |issue=21 |pages=1197–1206 }}{{sfn|Schmidhuber|2022}} |
1920s and 1930s
| Ludwig Wittgenstein's Tractatus Logico-Philosophicus (1921) inspires Rudolf Carnap and the logical positivists of the Vienna Circle to use formal logic as the foundation of philosophy. However, Wittgenstein's later work in the 1940s demonstrates that context free symbolic logic is incoherent without human interpretation. |
1931
| Kurt Gödel encoded mathematical statements and proofs as integers, and showed that there are true theorems that are unprovable by any consistent theorem-proving machine. Thus "he identified fundamental limits of algorithmic theorem proving, computing, and any type of computation-based AI,"{{sfn|Schmidhuber|2022}} laying foundations of theoretical computer science and AI theory. |
1935
|Alonzo Church extended Gödel's proof and showed that the decision problem of computer science does not have a general solution.{{cite journal |first=A. |last=Church |author-link=Alonzo Church |title=An unsolvable problem of elementary number theory (first presented on 19 April 1935 to the American Mathematical Society) |journal=American Journal of Mathematics |volume=58 |number=2 |year=1936 |pages=345–363 |doi=10.2307/2371045 |jstor=2371045 }} He developed the Lambda calculus, which will eventually be fundamental to the theory of computer languages. |
1936
| Konrad Zuse filed his patent application for a program-controlled computer.K. Zuse (1936). Verfahren zur selbsttätigen Durchführung von Rechnungen mit Hilfe von Rechenmaschinen. Patent application Z 23 139 / GMD Nr. 005/021, 1936. |
1937
|Alan Turing published "On Computable Numbers",{{cite journal |last1=Turing |first1=Alan Mathison |date=November 12, 1936 |title=On computable numbers, with an application to the Entscheidungsproblem |url=https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf |journal=Proceedings of the London Mathematical Society |volume=58 |pages=230–265 |doi=10.1112/plms/s2-42.1.230 |s2cid=73712}} which laid the foundations of the modern theory of computation by introducing the Turing machine, a physical interpretation of "computability". He used it to confirm Gödel by proving that the halting problem is undecidable. |
1940
| Edward Condon displayed Nimatron, a digital machine that played Nim perfectly. |
1941
| Konrad Zuse built the first working program-controlled general-purpose computer.{{Harvnb|McCorduck|2004|pp=61–62}} and see also [https://web.archive.org/web/20100418164050/http://www.epemag.com/zuse The Life and Work of Konrad Zuse] |
rowspan=2 | 1943
| Warren Sturgis McCulloch and Walter Pitts publish "A Logical Calculus of the Ideas Immanent in Nervous Activity", the first mathematical description of an artificial neural networks.{{Harvtxt|McCorduck|2004|pp=55–56}}; {{Harvtxt|Russell|Norvig|2021|p=17}} |
Arturo Rosenblueth, Norbert Wiener and Julian Bigelow coin the term "cybernetics". Wiener's popular book by that name published in 1948. |
rowspan=2 | 1945
| Game theory which would prove invaluable in the progress of AI was introduced with the 1944 paper "Theory of Games and Economic Behavior" by mathematician John von Neumann and economist Oskar Morgenstern. |
Vannevar Bush published "As We May Think" (The Atlantic Monthly, July 1945) a prescient vision of the future in which computers assist humans in many activities. |
rowspan=2 |1948
| Alan Turing produces "Intelligent Machinery" report, regarded as the first manifesto of Artificial Intelligence. It introduces many concepts including the logic-based approach to problem solving, that intellectual activity consists mainly of various kinds of search, and a discussion of machine learning in which he anticipates the Connectionism AI approach.{{Cite book |last= Copeland|first= J (Ed.)|title= The Essential Turing: the ideas that gave birth to the computer age|publisher= Oxford: Clarendon Press|year=2004|isbn=0-19-825079-7}} |
John von Neumann (quoted by Edwin Thompson Jaynes) in response to a comment at a lecture that it was impossible for a machine (at least ones created by humans) 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. |
1949
| Donald O. Hebb develops Hebbian theory, a possible algorithm for learning in neural networks.{{sfn|Russell|Norvig|2021|p=17}} |
=1950s=
class="wikitable" |
Date
! Development |
---|
rowspan=3 | 1950
| Alan Turing published "Computing Machinery and Intelligence", which proposes the Turing test as a measure of machine intelligence and answered all of the most common objections to the proposal "machines can think".{{Harvtxt|Crevier| 1993|pp=22–25}}; {{Harvtxt|Russell|Norvig|2021|pp=18–19}} |
Claude Shannon published a detailed analysis of chess playing as search.{{sfn|Russell|Norvig|2021|p=155}} |
Isaac Asimov published his Three Laws of Robotics.{{sfn|Russell|Norvig|2021|p=1007}} |
1951
| The first working AI programs were written in 1951 to run on the Ferranti Mark 1 machine of the University of Manchester: A checkers-playing program written by Christopher Strachey and a chess-playing program written by Dietrich Prinz.{{sfn|Russell|Norvig|2021|p=17}} |
1952–1962
| Arthur Samuel (IBM) wrote the first game-playing program, for checkers (draughts), to achieve sufficient skill to challenge a respectable amateur.{{Harvtxt|Samuel|1959}}; {{Harvtxt|Russell|Norvig|2021|p=17}} His first checkers-playing program was written in 1952, and in 1955 he created a version that learned to play.{{sfn|Russell|Norvig|2021|p=19}} Schaeffer, Jonathan. One Jump Ahead:: Challenging Human Supremacy in Checkers, 1997, 2009, Springer, {{ISBN|978-0-387-76575-4}}. Chapter 6. |
rowspan=2 | 1956
| The Dartmouth College summer AI conference is organized by John McCarthy, Marvin Minsky, Nathan Rochester of IBM and Claude Shannon. McCarthy coins the term artificial intelligence for the conference. {{Harvtxt|Russell|Norvig|2021|p=18}} {{cite news|last1=Novet|first1=Jordan|title=Everyone keeps talking about A.I.—here's what it really is and why it's so hot now|url=https://www.cnbc.com/2017/06/17/what-is-artificial-intelligence.html|access-date=16 February 2018|work=CNBC|date=17 June 2017|archive-date=16 February 2018|archive-url=https://web.archive.org/web/20180216204448/https://www.cnbc.com/2017/06/17/what-is-artificial-intelligence.html|url-status=live}} |
The first demonstration of the Logic Theorist (LT) written by Allen Newell, Cliff Shaw and Herbert A. Simon (Carnegie Institute of Technology, now Carnegie Mellon University or CMU). This is often called the first AI program, though Samuel's checkers program also has a strong claim. This program has been described as the first deliberately engineered to perform automated reasoning, and would eventually prove 38 of the first 52 theorems in Russell and Whitehead's Principia Mathematica, and find new and more elegant proofs for some.{{Harvnb|McCorduck|2004|pp=123–125}}, {{Harvnb|Crevier|1993|pp=44–46}} and {{Harvnb|Russell|Norvig|2021|p=18}} Simon said that they had "solved the venerable mind–body problem, explaining how a system composed of matter can have the properties of mind".Quoted in {{Harvnb|Crevier|1993|p=46}} and {{Harvnb|Russell|Norvig|2021|p=18}} |
rowspan=3 | 1958
| John McCarthy (Massachusetts Institute of Technology or MIT) invented the Lisp programming language.{{sfn|Russell|Norvig|2021|p=19}} |
Herbert Gelernter and Nathan Rochester (IBM) described a theorem prover in geometry.{{sfn|Russell|Norvig|2021|p=19}} It exploited a semantic model of the domain in the form of diagrams of "typical" cases.{{citation needed|date=August 2023}} |
Teddington Conference on the Mechanization of Thought Processes was held in the UK and among the papers presented were John McCarthy's "Programs with Common Sense" (which proposed the Advice taker application as a primary research goal){{sfn|Russell|Norvig|2021|p=19}} Oliver Selfridge's "Pandemonium", and Marvin Minsky's "Some Methods of Heuristic Programming and Artificial Intelligence". |
rowspan=2 | 1959
| The General Problem Solver (GPS) was created by Newell, Shaw and Simon while at CMU.{{sfn|Russell|Norvig|2021|p=19}} |
John McCarthy and Marvin Minsky founded the MIT AI Lab.{{sfn|Russell|Norvig|2021|p=19}} |
Late 1950s, early 1960s
| Margaret Masterman and colleagues at University of Cambridge design semantic nets for machine translation.{{citation needed|reason=notability, undue weight|date=August 2023}} |
=1960s=
{{More citations needed section|date=March 2007}}
class="wikitable" |
Date
! Development |
---|
1960s
| Ray Solomonoff lays the foundations of a mathematical theory of AI, introducing universal Bayesian methods for inductive inference and prediction. |
1960
| "Man-Computer Symbiosis" by J.C.R. Licklider. |
rowspan=3 | 1961
| James Slagle (PhD dissertation, MIT) wrote (in Lisp) the first symbolic integration program, SAINT, which solved calculus problems at the college freshman level. |
In Minds, Machines and Gödel, John Lucas{{cite web |url=http://users.ox.ac.uk/~jrlucas/Godel/mmg.html |title=Minds, Machines and Gödel |publisher=Users.ox.ac.uk |access-date=24 November 2008 |archive-date=19 August 2007 |archive-url=https://web.archive.org/web/20070819165214/http://users.ox.ac.uk/~jrlucas/Godel/mmg.html |url-status=dead }} denied the possibility of machine intelligence on logical or philosophical grounds. He referred to Kurt Gödel's result of 1931: sufficiently powerful formal systems are either inconsistent or allow for formulating true theorems unprovable by any theorem-proving AI deriving all provable theorems from the axioms. Since humans are able to "see" the truth of such theorems, machines were deemed inferior. |
Unimation's industrial robot Unimate worked on a General Motors automobile assembly line. |
rowspan=3 | 1963
| Thomas Evans' program, ANALOGY, written as part of his PhD work at MIT, demonstrated that computers can solve the same analogy problems as are given on IQ tests. |
Edward Feigenbaum and Julian Feldman published Computers and Thought, the first collection of articles about artificial intelligence.{{cite book |editor1-last=Feigenbaum |editor1-first=Edward |editor2-last=Feldman |editor2-first=Julian |title=Computers and thought : a collection of articles |date=1963 |publisher=McGraw-Hill |location=New York |edition=1 |oclc=593742426 }}{{cite web |title=This week in The History of AI at AIWS.net – Edward Feigenbaum and Julian Feldman published "Computers and Thought" |url=https://aiws.net/the-history-of-ai/this-week-in-the-history-of-ai-at-aiws-net-edward-feigenbaum-and-julian-feldman-published-computers-and-thought-2/ |website=AIWS.net |access-date=5 May 2022 |archive-date=24 April 2022 |archive-url=https://web.archive.org/web/20220424120050/https://aiws.net/the-history-of-ai/this-week-in-the-history-of-ai-at-aiws-net-edward-feigenbaum-and-julian-feldman-published-computers-and-thought-2/ |url-status=live }}{{cite web |title=Feigenbaum & Feldman Issue "Computers and Thought," the First Anthology on Artificial Intelligence |url=https://www.historyofinformation.com/detail.php?entryid=4329 |website=History of Information |access-date=5 May 2022 |archive-date=5 May 2022 |archive-url=https://web.archive.org/web/20220505145849/https://www.historyofinformation.com/detail.php?entryid=4329 |url-status=live }}{{cite book |last1=Feigenbaum |first1=Edward A. |last2=Feldman |first2=Julian |title=Computers and Thought |url=https://dl.acm.org/doi/book/10.5555/601134 |via=Association for Computing Machinery Digital Library |publisher=McGraw-Hill, Inc. |access-date=5 May 2022 |date=1963 |isbn=9780070203709 |archive-date=5 May 2022 |archive-url=https://web.archive.org/web/20220505145849/https://dl.acm.org/doi/book/10.5555/601134 |url-status=live }} |
Leonard Uhr and Charles Vossler published "A Pattern Recognition Program That Generates, Evaluates, and Adjusts Its Own Operators", 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. |
rowspan=2 | 1964
| Danny Bobrow's dissertation at MIT (technical report #1 from MIT's AI group, Project MAC), shows that computers can understand natural language well enough to solve algebra word problems correctly. |
Bertram Raphael's MIT dissertation on the SIR program demonstrates the power of a logical representation of knowledge for question-answering systems. |
rowspan=5 | 1965
| Alexey Ivakhnenko and Valentin Lapa developed the first deep learning algorithm for multilayer perceptrons in Soviet Union.{{cite book|url={{google books |plainurl=y |id=FhwVNQAACAAJ}}|title=Cybernetic Predicting Devices|last=Ivakhnenko|first=A. G.|publisher=CCM Information Corporation|year=1973}}{{cite book|url={{google books |plainurl=y |id=rGFgAAAAMAAJ}}|title=Cybernetics and forecasting techniques|last2=Grigorʹevich Lapa|first2=Valentin|publisher=American Elsevier Pub. Co.|year=1967|first1=A. G.|last1=Ivakhnenko}}{{sfn|Schmidhuber|2022}} |
Lotfi A. Zadeh at U.C. Berkeley publishes his first paper introducing fuzzy logic, "Fuzzy Sets" (Information and Control 8: 338–353). |
J. Alan Robinson invented a mechanical proof procedure, the Resolution Method, which allowed programs to work efficiently with formal logic as a representation language. |
Joseph Weizenbaum (MIT) built ELIZA, an interactive program that carries on a dialogue in English language on any topic. It was a popular toy at AI centers on the ARPANET when a version that "simulated" the dialogue of a psychotherapist was programmed. |
Edward Feigenbaum initiated Dendral, a ten-year effort to develop software to deduce the molecular structure of organic compounds using scientific instrument data. It was the first expert system. |
rowspan=4 | 1966
| Ross Quillian (PhD dissertation, Carnegie Inst. of Technology, now CMU) demonstrated semantic nets. |
Machine Intelligence{{cite web |url=http://www.cs.york.ac.uk/mlg/MI/mi.html |title=The Machine Intelligence series |website=www.cs.york.ac.uk |url-status=dead |archive-url=https://web.archive.org/web/19991105213013/http://www.cs.york.ac.uk/mlg/MI/mi.html |archive-date=1999-11-05}} workshop at Edinburgh – the first of an influential annual series organized by Donald Michie and others. |
Negative report on machine translation kills much work in natural language processing (NLP) for many years. |
Dendral program (Edward Feigenbaum, Joshua Lederberg, Bruce Buchanan, Georgia Sutherland at Stanford University) demonstrated to interpret mass spectra on organic chemical compounds. First successful knowledge-based program for scientific reasoning. |
1967
| Shun'ichi Amari was the first to use stochastic gradient descent for deep learning in multilayer perceptrons.{{cite journal |last1=Amari |first1=Shun'ichi |author-link=Shun'ichi Amari|title=A theory of adaptive pattern classifier|journal= IEEE Transactions |date=1967 |volume=EC |issue=16 |pages=279–307}} In computer experiments conducted by his student Saito, a five layer MLP with two modifiable layers learned useful internal representations to classify non-linearily separable pattern classes.{{sfn|Schmidhuber|2022}} |
rowspan=3 | 1968
| Joel Moses (PhD work at MIT) demonstrated the power of symbolic reasoning for integration problems in the Macsyma program. First successful knowledge-based program in mathematics. |
Richard Greenblatt (programmer) at MIT built a knowledge-based chess-playing program, Mac Hack, that was good enough to achieve a class-C rating in tournament play. |
Wallace and Boulton's program, Snob (Comp.J. 11(2) 1968), for unsupervised classification (clustering) uses the Bayesian minimum message length criterion, a mathematical realisation of Occam's razor. |
rowspan=6 | 1969
| Stanford Research Institute (SRI): Shakey the robot, demonstrated combining animal locomotion, perception and problem solving. |
Roger Schank (Stanford) defined conceptual dependency model for natural language understanding. Later developed (in PhD dissertations at Yale University) for use in story understanding by Robert Wilensky and Wendy Lehnert, and for use in understanding memory by Janet Kolodner. |
Yorick Wilks (Stanford) developed the semantic coherence view of language called Preference Semantics, embodied in the first semantics-driven machine translation program, and the basis of many PhD dissertations since such as Bran Boguraev and David Carter at Cambridge. |
First International Joint Conference on Artificial Intelligence (IJCAI) held at Stanford. |
Marvin Minsky and Seymour Papert publish Perceptrons, demonstrating previously unrecognized limits of this feed-forward two-layered structure. This book is considered by some to mark the beginning of the AI winter of the 1970s, a failure of confidence and funding for AI. However, by the time the book came out, methods for training multilayer perceptrons by deep learning were already known (Alexey Ivakhnenko and Valentin Lapa, 1965; Shun'ichi Amari, 1967).{{sfn|Schmidhuber|2022}} Significant progress in the field continued (see below). |
McCarthy and Hayes started the discussion about the frame problem with their essay, "Some Philosophical Problems from the Standpoint of Artificial Intelligence". |
=1970s=
{{More citations needed section|date=March 2007}}
class="wikitable" |
Date
! Development |
---|
Early 1970s
| Jane Robinson and Don Walker established an influential Natural Language Processing group at SRI.{{Cite journal |url=https://direct.mit.edu/coli/article/41/4/723/1509/Jane-J-Robinson |access-date=2024-01-23 |journal=Computational Linguistics|doi=10.1162/COLI_a_00235 |title=Jane J. Robinson |date=2015 |last1=Grosz |first1=Barbara J. |last2=Hajicova |first2=Eva |last3=Joshi |first3=Aravind |volume=41 |issue=4 |pages=723–726 |doi-access=free }} |
rowspan=4 | 1970
| Seppo Linnainmaa publishes the reverse mode of automatic differentiation. This method became later known as backpropagation, and is heavily used to train artificial neural networks.Linnainmaa, Seppo (1970). Algoritmin kumulatiivinen pyöristysvirhe yksittäisten pyöristysvirheiden Taylor-kehitelmänä [The representation of the cumulative rounding error of an algorithm as a Taylor expansion of the local rounding errors] (PDF) (Thesis) (in Finnish). pp. 6–7. |
Jaime Carbonell (Sr.) developed SCHOLAR, an interactive program for computer assisted instruction based on semantic nets as the representation of knowledge. |
Bill Woods described Augmented Transition Networks (ATN's) as a representation for natural language understanding. |
Patrick Winston's PhD program, ARCH, at MIT learned concepts from examples in the world of children's blocks. |
rowspan=2 | 1971
| Terry Winograd's PhD thesis (MIT) demonstrated the ability of computers to understand English sentences in a restricted world of children's blocks, in a coupling of his language understanding program, SHRDLU, with a robot arm that carried out instructions typed in English. |
Work on the Boyer-Moore theorem prover started in Edinburgh.{{cite web|url=http://www.cs.utexas.edu/users/moore/best-ideas/nqthm/|title=The Boyer-Moore Theorem Prover|access-date=15 March 2015|archive-date=23 September 2015|archive-url=https://web.archive.org/web/20150923223027/http://www.cs.utexas.edu/users/moore/best-ideas/nqthm/|url-status=live}} |
rowspan=2 | 1972
| Prolog programming language developed by Alain Colmerauer. |
Earl Sacerdoti developed one of the first hierarchical planning programs, ABSTRIPS. |
rowspan=2 | 1973
| The Assembly Robotics Group at University of Edinburgh builds Freddy Robot, capable of using visual perception to locate and assemble models. (See Edinburgh Freddy Assembly Robot: a versatile computer-controlled assembly system.) |
The Lighthill report gives a largely negative verdict on AI research in Great Britain and forms the basis for the decision by the British government to discontinue support for AI research in all but two universities. |
1974
| Ted Shortliffe's PhD dissertation on the MYCIN program (Stanford) demonstrated a very practical rule-based approach to medical diagnoses, even in the presence of uncertainty. While it borrowed from DENDRAL, its own contributions strongly influenced the future of expert system development, especially commercial systems. |
rowspan=4 | 1975
| Earl Sacerdoti developed techniques of partial-order planning in his NOAH system, replacing the previous paradigm of search among state space descriptions. NOAH was applied at SRI International to interactively diagnose and repair electromechanical systems. |
Austin Tate developed the Nonlin hierarchical planning system able to search a space of partial plans characterised as alternative approaches to the underlying goal structure of the plan. |
Marvin Minsky published his widely read and influential article on Frames as a representation of knowledge, in which many ideas about schemas and semantic links are brought together. |
The Meta-Dendral learning program produced new results in chemistry (some rules of mass spectrometry) the first scientific discoveries by a computer to be published in a refereed journal. |
rowspan=2 | Mid-1970s
| Barbara Grosz (SRI) established limits to traditional AI approaches to discourse modeling. Subsequent work by Grosz, Bonnie Webber and Candace Sidner developed the notion of "centering", used in establishing focus of discourse and anaphoric references in Natural language processing. |
David Marr and MIT colleagues describe the "primal sketch" and its role in visual perception. |
rowspan=3 | 1976
| Douglas Lenat's AM program (Stanford PhD dissertation) demonstrated the discovery model (loosely guided search for interesting conjectures). |
Randall Davis demonstrated the power of meta-level reasoning in his PhD dissertation at Stanford. |
Stevo Bozinovski and Ante Fulgosi introduced transfer learning method in artificial intelligence, based on the psychology of learning.Stevo Bozinovski and Ante Fulgosi (1976). "The influence of pattern similarity and transfer learning upon training of a base perceptron" (original in Croatian) Proceedings of Symposium Informatica 3-121-5, Bled.Stevo Bozinovski (2020) "Reminder of the first paper on transfer learning in neural networks, 1976". Informatica 44: 291–302. |
rowspan=3 | 1978
| Tom Mitchell, at Stanford, invented the concept of Version spaces for describing the search space of a concept formation program. |
Herbert A. Simon wins the Nobel Prize in Economics for his theory of bounded rationality, one of the cornerstones of AI known as "satisficing". |
The MOLGEN program, written at Stanford by Mark Stefik and Peter Friedland, demonstrated that an object-oriented programming representation of knowledge can be used to plan gene-cloning experiments. |
rowspan=6 | 1979
| Bill VanMelle's PhD dissertation at Stanford demonstrated the generality of MYCIN's representation of knowledge and style of reasoning in his EMYCIN program, the model for many commercial expert system "shells". |
Jack Myers and Harry Pople at University of Pittsburgh developed INTERNIST, a knowledge-based medical diagnosis program based on Dr. Myers' clinical knowledge. |
Cordell Green, David Barstow, Elaine Kant and others at Stanford demonstrated the CHI system for automatic programming. |
The Stanford Cart, built by Hans Moravec, becomes the first computer-controlled, autonomous vehicle when it successfully traverses a chair-filled room and circumnavigates the Stanford AI Lab. |
BKG, a backgammon program written by Hans Berliner at CMU, defeats the reigning world champion (in part via luck). |
Drew McDermott and Jon Doyle at MIT, and John McCarthy at Stanford begin publishing work on non-monotonic logics and formal aspects of truth maintenance. |
Late 1970s
| Stanford's SUMEX-AIM resource, headed by Ed Feigenbaum and Joshua Lederberg, demonstrates the power of the ARPAnet for scientific collaboration. |
=1980s=
{{More citations needed section|date=March 2007}}
=1990s=
{{More citations needed section|date=March 2007}}
21st century
=2000s=
{{More citations needed section|date=March 2007}}
=2010s=
=2020s=
{{update|date=September 2023}}
{{See also|2020s in computing}}
File:20250202 "AI" (search term) on Google Trends.svg
See also
Notes
{{notelist}}
References
{{Reflist}}
Sources
- {{Citation | first = Bruce G. | last = Buchanan | year = 2005 | title = A (Very) Brief History of Artificial Intelligence | magazine = AI Magazine | pages = 53–60 | url = http://www.aaai.org/AITopics/assets/PDF/AIMag26-04-016.pdf | access-date = 30 August 2007 | url-status = dead | archive-url = https://web.archive.org/web/20070926023314/http://www.aaai.org/AITopics/assets/PDF/AIMag26-04-016.pdf | archive-date = 26 September 2007 | df = dmy-all }}
- {{Cite book
| last = Christian | first = Brian | author-link = Brian Christian
| title = The Alignment Problem: Machine learning and human values
| publisher = W. W. Norton & Company
| year = 2020
| isbn = 978-0-393-86833-3 |oclc=1233266753
}}
- {{Crevier 1993}}
- {{Cite web
| last1 = Linsky | first1 = Bernard
| last2 = Irvine | first2 = Andrew David | author2-link = Andrew David Irvine
| date = Spring 2022
| title = Principia Mathematica
| website = The Stanford Encyclopedia of Philosophy
| editor = Edward N. Zalta
| url = https://plato.stanford.edu/archives/spr2022/entries/principia-mathematica
}}
- {{Citation
| last = McCorduck | first = Pamela | author-link = Pamela McCorduck
| year = 2004
| title = Machines Who Think
| publisher=A. K. Peters, Ltd. | location=Natick, MA
| edition=2nd
| isbn=978-1-56881-205-2
}}
- {{cite book |last=Needham |first=Joseph |author-link = Joseph Needham |date=1986 |title=Science and Civilization in China: Volume 2 |location=Taipei |publisher=Caves Books Ltd}}
- {{Cite book
| first1 = Stuart J. | last1 = Russell | author1-link = Stuart J. Russell
| first2 = Peter. | last2 = Norvig | author2-link = Peter Norvig
| title=Artificial Intelligence: A Modern Approach
| year = 2021
| edition = 4th
| isbn = 978-0134610993
| lccn = 20190474
| publisher = Pearson | location = Hoboken
}}
- {{Citation | doi = 10.1147/rd.33.0210 | last = Samuel | first = Arthur L. | date = July 1959 | title = Some studies in machine learning using the game of checkers | journal = IBM Journal of Research and Development | volume = 3 | issue = 3 | pages = 210–219 | author-link = Arthur Samuel (computer scientist) | url = http://domino.research.ibm.com/tchjr/journalindex.nsf/600cc5649e2871db852568150060213c/39a870213169f45685256bfa00683d74?OpenDocument | access-date = 20 August 2007 | citeseerx = 10.1.1.368.2254 | s2cid = 2126705 | archive-date = 3 March 2016 | archive-url = https://web.archive.org/web/20160303191010/http://domino.research.ibm.com/tchjr/journalindex.nsf/600cc5649e2871db852568150060213c/39a870213169f45685256bfa00683d74?OpenDocument | url-status = dead }}
- {{cite web
| title = Annotated History of Modern AI and Deep Learning
| last = Schmidhuber | first = Jürgen | author-link = Jürgen Schmidhuber
| year = 2022
| url = https://people.idsia.ch/~juergen/
}}
- {{citation
| first = Matteo | last = Wong
| title = ChatGPT Is Already Obsolete
| date = 19 May 2023
| magazine = The Atlantic
| url = https://www.theatlantic.com/technology/archive/2023/05/ai-advancements-multimodal-models/674113/
}}
Further reading
- {{Citation | first = David | last = Berlinski | year = 2000 | title =The Advent of the Algorithm| publisher = Harcourt Books |author-link=David Berlinski }}
- {{Citation | first = Rodney | last = Brooks | title = Elephants Don't Play Chess | journal = Robotics and Autonomous Systems | volume=6 | issue = 1–2 | year =1990 | pages = 3–15 | author-link=Rodney Brooks | url=http://people.csail.mit.edu/brooks/papers/elephants.pdf | access-date=30 August 2007 | doi = 10.1016/S0921-8890(05)80025-9| citeseerx = 10.1.1.588.7539 }}
- {{Citation | first = Brad | last = Darrach | title=Meet Shakey, the First Electronic Person | magazine=Life Magazine| date=20 November 1970 | pages = 58–68 }}
- {{Citation | first = J. | last = Doyle | year = 1983 | title = What is rational psychology? Toward a modern mental philosophy | magazine = AI Magazine | volume= 4 | issue =3 |pages = 50–53 }}
- {{Citation | first = Hubert | last = Dreyfus | title = What Computers Can't Do | year =1972 | publisher = MIT Press | author-link = Hubert Dreyfus | title-link = What Computers Can't Do }}
- {{Citation | first1 = Edward A. | last1 = Feigenbaum | first2=Pamela |last2=McCorduck |title = The Fifth Generation: Artificial Intelligence and Japan's Computer Challenge to the World | publisher = Michael Joseph | year = 1983 | isbn = 978-0-7181-2401-4| author-link = Edward Feigenbaum }}
- {{Citation |editor1-last=Feigenbaum |editor1-first=Edward |editor2-last=Feldman |editor2-first=Julian |editor1-link=Edward Feigenbaum |title=Computers and thought |date=1963 |publisher=McGraw-Hill |location=New York |edition=1 |oclc=593742426}}
- {{Citation | last = Hobbes | title = Leviathan | year = 1651 |author-link=Hobbes| title-link = Leviathan (Hobbes book) }}
- {{Citation | first = Douglas | last = Hofstadter | title = Gödel, Escher, Bach: an Eternal Golden Braid | year = 1980 | author-link = Douglas Hofstadter | title-link = Gödel, Escher, Bach }}
- {{Citation | first = J. | last = Howe | url=http://www.inf.ed.ac.uk/about/AIhistory.html | title = Artificial Intelligence at Edinburgh University: a Perspective | date = November 1994 | access-date= 30 August 2007}}
- {{Citation | first1 = Andreas | last1 = Kaplan | first2 = Michael | last2 = Haenlein | title = Siri, Siri in my Hand, who's the Fairest in the Land? On the Interpretations, Illustrations and Implications of Artificial Intelligence | date = 2018 | doi=10.1016/j.bushor.2018.08.004 | volume=62 | journal=Business Horizons | pages=15–25| s2cid = 158433736 }}
- {{Citation | first = Ray | last = Kurzweil | title = The Singularity is Near | year = 2005 | publisher = Viking Press | author-link = Ray Kurzweil | title-link = The Singularity is Near }}
- {{Citation | first = George | last = Lakoff | year = 1987 | title = Women, Fire, and Dangerous Things: What Categories Reveal About the Mind | publisher = University of Chicago Press. | isbn = 978-0-226-46804-4 | author-link = George Lakoff | url = https://archive.org/details/womenfiredangero00lako_0 }}
- {{Citation | last1=Lenat | first1=Douglas | last2=Guha | first2=R. V.| year = 1989 | title = Building Large Knowledge-Based Systems | publisher = Addison-Wesley| author-link=Douglas Lenat }}
- {{Citation | first = Gerald M. | last = Levitt | title = The Turk, Chess Automaton| publisher = McFarland|year = 2000| isbn = 978-0-7864-0778-1|location = Jefferson, N.C. }}
- {{Citation | last = Lighthill | first = Professor Sir James | year = 1973 | contribution= Artificial Intelligence: A General Survey | title = Artificial Intelligence: a paper symposium| publisher = Science Research Council|author-link=James Lighthill }}
- {{Citation | last = Lucas | first = John | year = 1961 | url = http://users.ox.ac.uk/~jrlucas/Godel/mmg.html | title = Minds, Machines and Gödel | author-link = John Lucas (philosopher) | access-date = 24 July 2007 | archive-date = 19 August 2007 | archive-url = https://web.archive.org/web/20070819165214/http://users.ox.ac.uk/~jrlucas/Godel/mmg.html | url-status = dead }}
- {{Citation | last1 = McCarthy | first1 = John | last2 = Minsky | first2 = Marvin | last3 = Rochester | first3 = Nathan | last4 = Shannon | first4 = Claude | url = http://www-formal.stanford.edu/jmc/history/dartmouth/dartmouth.html | title = A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence | year = 1955 | author-link = John McCarthy (computer scientist) | author2-link = Marvin Minsky | author3-link = Nathaniel Rochester (computer scientist) | author4-link = Claude Shannon | url-status = dead | archive-url = https://web.archive.org/web/20070826230310/http://www-formal.stanford.edu/jmc/history/dartmouth/dartmouth.html | archive-date = 26 August 2007 | df = dmy-all }}
- {{Citation | last1 = McCarthy | first1 = John | last2 = Hayes | first2=P. J.| year = 1969 | url=http://www-formal.stanford.edu/jmc/mcchay69.html | title= Some philosophical problems from the standpoint of artificial intelligence | journal =Machine Intelligence | volume= 4 | pages = 463–502 | author-link = John McCarthy (computer scientist) }}
- {{Citation | last1 = McCullough | first1 = W. S. | last2 = Pitts | first2 = W. | year = 1943 | title = A logical calculus of the ideas immanent in nervous activity | journal= Bulletin of Mathematical Biophysics | volume= 5 | issue = 4 | pages = 115–127 | author-link = Warren McCullough | doi = 10.1007/BF02478259 | author-link2 = Walter Pitts}}
- {{Citation | first = Marvin | last = Minsky | year = 1967 | title = Computation: Finite and Infinite Machines | location=Englewood Cliffs, N.J. | publisher = Prentice-Hall | author-link=Marvin Minsky }}
- {{Citation | first = Marvin | last = Minsky |author2=Seymour Papert | title = Perceptrons: An Introduction to Computational Geometry | publisher =The MIT Press | year = 1969| author-link=Marvin Minsky}}
- {{Citation | last = Minsky | first = Marvin | year = 1974 | title = A Framework for Representing Knowledge | url = http://web.media.mit.edu/~minsky/papers/Frames/frames.html | author-link = Marvin Minsky | access-date = 27 December 2007 | archive-date = 7 January 2021 | archive-url = https://web.archive.org/web/20210107162402/http://web.media.mit.edu/~minsky/papers/Frames/frames.html | url-status = dead }}
- {{Citation | first = Marvin | last = Minsky | title = The Society of Mind | publisher = Simon and Schuster | year = 1986 | author-link=Marvin Minsky | title-link = The Society of Mind }}
- {{Citation | first = Hans | last = Moravec | year = 1976 | url= http://www.frc.ri.cmu.edu/users/hpm/project.archive/general.articles/1975/Raw.Power.html | title = The Role of Raw Power in Intelligence | author-link=Hans Moravec }}
- {{Citation | first = Hans | last = Moravec | year = 1988 | title = Mind Children | publisher = Harvard University Press | author-link =Hans Moravec }}
- {{Citation | last = United States National Research Council |chapter=Developments in Artificial Intelligence|chapter-url=http://www.nap.edu/readingroom/books/far/ch9.html|title=Funding a Revolution: Government Support for Computing Research|publisher=National Academy Press|year=1999| author-link=United States National Research Council | access-date=30 August 2007}}
- {{Citation | last1 = Newell | first1 = Allen | last2 = Simon | first2=H. A. | year = 1963 | contribution=GPS: A Program that Simulates Human Thought| title=Computers and Thought |editor1-last=Feigenbaum |editor1-first=Edward |editor2-last=Feldman |editor2-first=Julian |editor1-link=Edward Feigenbaum |publisher= McGraw-Hill | author-link=Allen Newell |location= New York | author-link2 = Herbert A. Simon}}
- {{Citation | last = Newquist | first = HP | title=The Brain Makers: Genius, Ego, And Greed In The Quest For Machines That Think | year = 1994 | author-link=HP Newquist |location= New York|publisher= Macmillan/SAMS | isbn=978-0-9885937-1-8 }}
- {{Citation | last = Pearl | first = J. | year = 1988 | title = Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference | publisher=Morgan Kaufmann | author-link=Judea Pearl | location=San Mateo, California}}
- {{Russell Norvig 2003}}
- {{Citation | first1 = David | last1 = Poole | first2 = Alan | last2 = Mackworth | first3 = Randy | last3 = Goebel | year = 1998 | title = Computational Intelligence: A Logical Approach | url = https://archive.org/details/computationalint00pool | publisher = Oxford University Press. | isbn = 978-0-19-510270-3 }}
- {{Citation | doi = 10.1017/S0140525X00005756 | first = John | last = Searle | title = Minds, Brains and Programs | journal = Behavioral and Brain Sciences | volume = 3 | issue = 3 | pages = 417–457 | year = 1980 | s2cid = 55303721 | author-link = John Searle | df = dmy-all | url = http://cogprints.org/7150/1/10.1.1.83.5248.pdf }}
- {{Citation | last1 =Simon | year = 1958 | first1 = H. A. | last2= Newell | first2 = Allen | title = Heuristic Problem Solving: The Next Advance in Operations Research | journal =Operations Research| volume=6 | author-link=Herbert A. Simon | issue =1 |author2-link=Allen Newell | doi =10.1287/opre.6.1.1 | page =1 }}
- {{Citation | first = H. A. | last= Simon| year = 1965 | title=The Shape of Automation for Men and Management | publisher =Harper & Row | location = New York | author-link=Herbert A. Simon}}
- {{Citation | last = Turing | first = Alan | author-link = Alan Turing | title=On Computable Numbers, with an Application to the Entscheidungsproblem | journal=Proceedings of the London Mathematical Society | series=2 | issue = 42 | date=1936–1937 | pages= 230–265 | url=http://www.abelard.org/turpap2/tp2-ie.asp | doi = 10.1112/plms/s2-42.1.230 | volume=s2-42| s2cid = 73712 }}
- {{Citation | last = Turing | first = Alan | author-link = Alan Turing | title = Computing machinery and intelligence | journal = Mind | volume = LIX | issue = 236 | date = October 1950 | pages = 433–60 | url = http://loebner.net/Prizef/TuringArticle.html | doi = 10.1093/mind/LIX.236.433 | url-status = dead | archive-url = https://web.archive.org/web/20080702224846/http://loebner.net/Prizef/TuringArticle.html | archive-date = 2 July 2008 | df = dmy-all }}
- {{Citation | first = Joseph | last = Weizenbaum | title = Computer Power and Human Reason | publisher = W.H. Freeman & Company | year = 1976 |author-link=Joseph Weizenbaum }}
External links
- {{citation |url=https://www.techtarget.com/searchenterpriseai/tip/The-history-of-artificial-intelligence-Complete-AI-timeline |title=The history of artificial intelligence: Complete AI timeline |work= Enterprise AI |date=16 Aug 2023 |publisher=TechTarget }}
- {{citation |url=http://aitopics.org/misc/brief-history |title=Brief History (timeline) |work= AI Topics |publisher=Association for the Advancement of Artificial Intelligence }}
{{Timelines of computing}}
{{DEFAULTSORT:Timeline Of Artificial Intelligence}}