Topics covered include critique of artificial intelligence research; state-space problem representations and search algorithms; game-playing programs; theorem-proving programs; programs for the study and simulation of cognitive processes and pattern recognition. Further topics in current research as time permits.
Prerequisite
C or higher in CSE 316 or CSE 351; CSE major
Course Outcomes
An understanding of the fundamentals of knowledge representation, inference and theorem proving
Working knowledge of reasoning in the presence of uncertain or incomplete information using techniques from machine learning
An ability to apply knowledge representation and machine learning techniques to problems drawn from natural language processing, planning, robotics and intelligent agents.
Textbook
The Essence of Artificial Intelligence by Alison Cawsey; Prentice Hall (ISBN #978-0135717790)
Major Topics Covered in Course
Formula Generator + Tautologies + Gentzen Theorem Prover