The term artificial intelligence (AI) stirs emotions. For one thing there is our fascination with intelligence, which seemingly imparts to us humans a special place among life forms. Questions arise such as “What is intelligence?”, “How can one measure intelligence?” or “How does the brain work?”. All these questions are meaningful when trying to understand artificial intelligence. However, the central question for the engineer, especially for the computer scientist, is the question of the intelligent machine that behaves like a person, showing intelligent behavior. Beside discussing these issues, this introductory chapter gives a brief sketch of the history of AI.
KeywordsArtificial Intelligence Predicate Logic Automatic Theorem Prover Intelligent Behavior Artificial Intelligence System
- [Bra84]V. Braitenberg. Vehicles—Experiments in Synthetic Psychology. MIT Press, Cambridge, 1984. Google Scholar
- [Bri91]Encyclopedia Britannica. Encyclopedia Britannica, London, 1991. Google Scholar
- [Che85]P. Cheeseman. In defense of probability. In Proc. of the 9th Intl. Joint Conf. on Artificial Intelligence (IJCAI-85), 1985. Google Scholar
- [Dee11]The DeepQA Project, 2011. http://www.research.ibm.com/deepqa/deepqa.shtml.
- [FNA+09]D. Ferrucci, E. Nyberg, J. Allan, K. Barker, E. Brown, J. Chu-Carroll, A. Ciccolo, P. Duboue, J. Fan, D. Gondek et al. Towards the open advancement of question answer systems. IBM Technical Report RC24789, Yorktown Heights, NY, 2009. http://www.research.ibm.com/deepqa/question_answering.shtml.
- [Göd31a]K. Gödel. Diskussion zur Grundlegung der Mathematik, Erkenntnis 2. Monatshefte Math. Phys., 32(1):147–148, 1931. Google Scholar
- [NS61]A. Newell and H. A. Simon. Gps, a program that simulates human thought. In H. Billing, editor, Lernende Automaten, pages 109–124. Oldenbourg, Munich, 1961. Google Scholar
- [NSS83]A. Newell, J. C. Shaw, and H. A. Simon. Empirical explorations with the logic theory machine: a case study in heuristics. In J. Siekmann and G. Wrightson, editors, Automation of Reasoning 1: Classical Papers on Computational Logic 1957–1966, pages 49–73. Springer, Berlin, 1983. Erstpublikation: 1957. Google Scholar
- [Pea88]J. Pearl. Probabilistic Reasoning in Intelligent Systems. Networks of Plausible Inference. Morgan Kaufmann, San Mateo, 1988. Google Scholar
- [Ric83]E. Rich. Artificial Intelligence. McGraw–Hill, New York, 1983. Google Scholar
- [RM86]D. Rumelhart and J. McClelland. Parallel Distributed Processing, volume 1. MIT Press, Cambridge, 1986. Google Scholar
- [Roba]Robocup official site. www.robocup.org.
- [SE90]Ch. Suttner and W. Ertel. Automatic acquisition of search guiding heuristics. In 10th Int. Conf. on Automated Deduction. LNAI, volume 449, pages 470–484. Springer, Berlin, 1990. Google Scholar
- [Spe97]Mysteries of the Mind. Special Issue. Scientific American Inc., 1997. Google Scholar
- [Spe98]Exploring Intelligence. Scientific American Presents, volume 9. Scientific American Inc., 1998. Google Scholar
- [SR86]T. J. Sejnowski and C. R. Rosenberg. NETtalk: a parallel network that learns to read aloud. Technical Report JHU/EECS-86/01. The John Hopkins University Electrical Engineering and Computer Science Technical Report, 1986. Reprint in [AR88], pages 661–672. Google Scholar
- [Tur37]A. M. Turing. On computable numbers, with an application to the Entscheidungsproblem. Proc. Lond. Math. Soc., 42(2), 1937. Google Scholar