ITCS 6170 - Logic for Artificial Intelligence

Introduction to basic concepts of logic for artificial intelligence, including declarative knowledge, inference, resolution, non-monotonic reasoning, induction, reasoning with uncertain beliefs, distributed information systems, intelligent information systems, planning and intelligent-agent architecture.

Credit Hours: (3)
Prerequisite(s): ITCS 6160 or permission of instructor.