Overview

1. Turing’s 1950 paper in which he proposes what is now called the Turing Test
2. Searle’s 1980 paper on the Chinese room experiment

The Birth of Artificial Intelligence

A Logical Foundation for Artificial Intelligence

1. The big picture
   1. Expressiveness and Tractability in Knowledge Representation and Reasoning
2. Resolution
   1. Charles Schmidt’s page on resolution
   2. Simon Colton’s page on resolution
   3. Download Classic-rtp: A classic Resolution Theorem Prover
3. Logic programming and Prolog
   1. A concise introduction to Horn clause logic
   2. Association for Logic Programming (ALP)
   3. A Prolog and logic programming course at the University of Birmingham
   4. Minerva, A Prolog system implemented in Java, with examples from many domains
   5. The GNU Prolog website
   6. The SWI Prolog website
   7. A tutorial from Univ. of Saarland
4. Constraint logic programming (CLP)
   1. An article from Byte
5. Description Logics
   1. Patrick Lambrix’s page on description logics
   2. An Introduction to Description Logics, by Daniele Nardi and Ron Brachman

A Rule-Based Foundation for Artificial Intelligence (and Cognitive Modeling)

1. Miscellaneous rule-based systems
   1. Maximizing the voice to noise ratio in hearing aids
2. The RETE algorithm for efficient rule matching
   1. Wikipedia page
3. Cognitive modeling
   1. Soar
      1. A Gentle Introduction to Soar, an Architecture for Human Cognition: 2006 Update
      2. Soar homepage
      3. A short paper on the use of Soar in interactive games
   2. ACT-R
      1. ACT-R homepage
   3. Tutoring systems based on rule-based cognitive models
      1. The Cognitive Tutors for Mathematics
4. Expert systems
   1. Tools and Shells
      1. CLIPS
   2. Examples
      1. A list of real systems developed using the EXSYS tool
5. Rule-Based Systems for Modeling Business Practices
   1. Wikipedia’s page, including a list of rule engine providers
   2. Blaze Advisor