CSE352

Course	CSE352
Title	Artificial Intelligence
Credits	3
Course Coordinator	Anita Wasilewska
Description	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	Prerequisites: CSE 316 or CSE 351; CSE or DAS 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 Formula Generator + Clauses Transformation Resolution Theorem Prover (at least 2 strategies) First Order Formula Generator + Skolemization Logic, AI, and games Question-answer expert system.
Laboratory
Course Webpage	CSE352