CSE 352 Back to CSE Courses

Course CSE352
Title Artificial Intelligence
Credits 3
Course Coordinator Anita Wasilewska
Current Catalog Description

Topics covered include of an over 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; CSE 303

Course Goals
  • Introduce students to AI as a discipline through a detailed overview of all its branches.
  • Explore topics such as knowledge representation and inference, automated theorem proving; discuss the problem of uncertainties in Expert systems reasoning with uncertain or incomplete information, natural language processing, planning, machine learning, robotics and intelligent agents through in-depth case studies of intelligent systems.
Textbook  
Major Topics Covered in Course

Each student or team has to choose one project of 2-3 weeks work.

  • Formula Generator + Tautologies + Gentzen Theorem Prover
  • Formula Generator + Clauses Transformation
  • Resolution Theorem Prover (at least 2 strategies)
  • First Order Formula Generator + Skolemization
  • Logic Tic- Tac- Toe.
  • An intelligent board game.
  • Question-answer expert system.
  • Project of your choice- to be accepted by Professor.
  • Students are encouraged to come up with their own projects.
Laboratory Projects  
Course Webpage /~cse352
Department of Computer Science • Stony Brook University, Stony Brook, NY 11794-4400 • 631-632-8470 or 631-632-8471