EECE 820, ARTIFICIAL INTELLIGENCE

Spring 1999

Professor: Dr. Larry M. Stephens, Room 3A45, 777-2895, stephens@sc.edu

Text:

Logical Foundation of Artificial Intelligence, Michael R. Genesereth and Nils J. Nilsson. Morgan Kaufmann, Los Altos, CA, 1987.

References:

Conceptual Structures: Information Processing in Mind and Machine, John F. Sowa, Addison-Wesley Publishing Company, 1984.

 

Course Outline:

· Introduction (Chapter 1 of Text )

· Declarative Knowledge (Chapter 2)

· Inference Techniques (Chapter 3)

· Resolution Theorem Proving (Chapter 4)

· Research Issues in Knowledge Representation (Handouts)

· Frame-Based Knowledge Representation (Handouts)

· Conceptual Graphs (Handouts)

Computer programs incorporate knowledge about the world; however, most of this knowledge is implicit in the mind of the programmer or is contained in comments not interpreted by the computer. This course presents explicit methods for representing knowledge including predicate calculus, rules, frames, and conceptual graphs. The course will include knowledge-based programming projects using the Lisp-like expert system CLIPS, the Java Expert System Shell JESS, or the knowledge representation system Ontolingua (Web-based from Stanford), and other knowledge-representation software and systems.

Grading:

Test 1 25%

Test 2 25%

Project 25%

Homework 25%