Artificial Intelligence

History and goals of artificial intelligence. Search methods. Blind and heuristic search. Depth-first and breadth-first search. Iterative deepening and iterative broadening. Best-first search. Hill climbing and simulated annealing. Algorithms A* and IDA*. Two-player games. Minimax methods and α-β. Knowledge representation and logical inference. Propositional logic and first-order logic. Horn formulas and normal forms. Skolemization. Inference rules. Modus ponens and resolution. Applications. Control in reasoning. Truth maintenance. Uncertain reasoning. Bayes Networks. Semantic Networks and Frames.