The main topics covered in this course include: problem solving, search algorithms, heuristic methods, game playing, theorem proving and the use of logic for problem solving. Introduction to Prolog and problem solving using Prolog. Knowledge representation. Semantic networks, logic representations, frames, deductive systems and knowledge systems. Planning, machine learning and natural language processing.