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