Introduction to artificial intelligence (concepts, research areas and applications), Propositional logic, First order logic, Representing simple domains in First order logic, Resolution refutation proofs; Logic programming (Prolog), Exhaustive search methods; Heuristic search methods; Production systems; Architecture of expert systems.