Foundations of AI and history. Read the Artificial Intelligence entry in the Encyclopedia of Artificial Intelligence. Problem Solving Agents. Problem formulation, a general search algorithm. Hill Climbing Search, Simulated Annealing, Game Playing, Minimax Search.
Exam is open book, open notes.
Inference Rules in Propositional Logic. Demos of the two exercises today. Read the SNePS Manual. Read and work through the SNePS Tutorial handout. Discussion led by Max, Jon, and Brian.