CSE352


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 and 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

http://www.cs.sunysb.edu/~cse352