Includes bibliographical references and index.

Part I Artificial Intelligence: Its Roots and Scope -- 1. A1: History and Applications -- Part II Artificial Intelligence as Representation and Search -- 2. The Predicate Calculus -- 3. Structures and Strategies for State Space Search -- 4. Heuristic Search -- 5. Control and Implementation of State Space Search -- Part III Language for AI Problem Solving -- 6. An Introduction to ProLog -- 7. LISP -- Part IV Representation for Knowledge-Based Systems -- 8. Rule-Based Expert Systems -- 9. Knowledge Representation -- 10. Natural Language -- 11. Automated Reasoning -- 12. Machine Learning -- Part V Advanced AI Programming Techniques -- 13. Advanced Representation in ProLog -- 14. Advanced LISP Programming Techniques for Artificial Intelligence -- 15. Objects, Messages and Hybrid Expert System Design -- Part VI Epilogue -- 16. Artificial Intelligence as Empirical Enquiry.

Gives readers a balanced, unbiased perspective on the languages, schools, theories and applications of artificial intelligence. The authors integrate mathematical rigor with good programming practice and present the philosophical foundations of the science while acknowledging its limitations. Algorithms are developed in LISP ang PROLOG, and object-based design is discussed with Common LISP Object System (CLOS) and Concurrent PROLOG. In addition, the authors consider both the design of algorithms and their use in applications, including machine learning planning, the design of expert systems, and natural language understanding. The books incorporates numerous new examples and problems as well as expanded end-of-chapter references.