Course CSE352
Title Artificial Intelligence
Credits 3
Course Coordinator

Anita Wasilewska


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 CSE 219 or CSE 260
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.


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 Projects
Course Webpage