CSCE 580: Artificial Intelligence

Prerequisites: CSCE 350 (Data Structures and Algorithms).

Instructor: Marco Valtorta
Office: Swaeringen 3A55, 777-4641
E-mail: mgv@cse.sc.edu
Office Hours: TTh 1030-1200

Syllabus

Grading and Program Submission Policy

Reference materials:

Russell, Stuart, and Peter Norvig. Artificial Intelligence: A Modern Approach (Second Edition). Prentice-Hall, 2003 (required text, referred to as [R] or [AIMA]). Supplementary materials from the authors are available.

By special arrangement, we will also use drafts of chapters of the forthcoming second edition of: David Poole, Alan Mackworth, and Randy Goebel. Computational Intelligence: A Logical Approach. Oxford University Press, 1998 (referred to as [P]).

current departmental syllabus for CSCE 580, an older

departmental syllabus for CSCE 580, and an even older

departmental syllabus for CSCI 580, which is provided for historical information.

Analyze and categorize software intelligent agents and the environments in which they operate

Formalize computational problems in the state-space search approach and apply search algorithms (especially A*) to solve them

Represent knowledge in first-order logic

Do inference using resolution refutation theorem proving

Implement key algorithms for state-space search and theorem proving

Represent knowledge in Horn clause form and use Prolog for reasoning