ITCS 8170 - 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 8150 or permission of instructor.