TEXTBOOK (CSE 516)                                                                       

Required:D. Poole, A. Mackworth, and R. Goebel, Computational Intelligence: A Logical Approach, Oxford University Press, January 1998 (ISBN 0195102703)

Computational Intelligence: A Logical Approach provides a unique and integrated introduction to artificial intelligence. It weaves a unifying theme--an intelligent agent acting in its environment-- through the core issues of AI, placing them into a coherent framework. Rather than giving a surface treatment of an overwhelming number of topics, it covers fundamental concepts in depth, providing a foundation on which students can build an understanding of modern AI. This logical approach clarifies and integrates representation and reasoning fundamentals, leading students from simple to complex ideas with clear motivation. The authors develop AI representation schemes and describe their uses for diverse applications, from autonomous robots to diagnostic assistants to infobots that find information in rich information sources.

 

Table of Content

Preface
1. Computational Intelligence and Knowledge
2. A Representation and Reasoning System
3. Using Definite Knowledge
4. Searching
5. Representing Knowledge
6. Knowledge Engineering
7. Beyond Definite Knowledge
8. Actions and Planning
9. Assumption-Based Reasoning
10. Using Uncertain Knowledge
11. Learning
12. Building Situated Robots
A. Glossary
B. The Prolog Programming Language
C. Some More Implemented Systems

The PROLOG programming language is introduced in the textbook Appendix B. For more information about Prolog, please refer to the following book:

 

Optional: Ivan Bratko, PROLOG: Programming for Artificial intelligence, 3rd edition, Addison Wesley Longman, Inc., August 2000 (ISBN 0201403757)

This best-selling guide to Prolog has been fully revised and extended to provide an even greater range of applications, enhancing its value as a stand-alone guide to Prolog, artificial intelligence, or AI programming. Ivan Bratko discusses natural language processing with grammar rules, planning, and machine learning. The coverage of meta-programming includes meta-interpreters and object-oriented programming in Prolog. The new edition includes coverage of: constraint logic programming; qualitative reasoning; inductive logic programming; recently developed algorithms; belief networks for handling uncertainty; and a major update on machine learning. This book is aimed at programmers who need to learn AI programming.

Prolog Compiler can be downloaded from the following websites:  

ftp://ftp.euro.net/d5/simtelnet/win95/prog/vip52_pe.zip
http://gnu-prolog.inria.fr/

Learning resources:
http://www.visual-prolog.com/
http://www.magicseyer.com/prolog_links.htm