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.

Bulletin Link

Prerequisite C or higher in CSE 216 or CSE 260; 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.

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