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.

CSE 219 or CSE 260; CSE 303

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

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.