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

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

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

CSE352