Problem solving. Search algorithms. Heuristic methods. Games playing, A-B method. Theorem proving. Logic, introduction to PROLOG. Problem solving using PROLOG. Knowledge representation. Semantic networks, logic representations, frames, deductive systems. Non-monotonic logic. Knowledge database sysetms. Fuzzy logic in knowledge representation. Planning. Learning. Natural language processing.