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