Introduction to Artificial intelligence (AI), the history of AI. Problem formulation. Search Techniques (Uninformed and Informed). Knowledge representation (propositional logic and rules). Reasoning (predicate logic, fuzzy logic). Planning. Intelligent agents and distributed systems in AI. Non symbolic reasoning (genetic algorithms, neural networks). Applications (natural language processing, computer vision, robotics) and real world problem solving.