Artificial Intelligence. Instructors: Prof. Anupam Basu and Prof. Sudeshna Sarkar, Department of Computer Science and Engineering, IIT Kharagpur. The course will cover basic ideas and techniques underlying the design of intelligent computer systems. Topics include: Introduction to AI and intelligent agents; Solving problems by searching, heuristic search techniques, constraint satisfaction problems, stochastic search methods; Knowledge and reasoning: propositional logic, first order logic, situation calculus; Theorem proving in first order logic; Planning, partial order planning; Uncertain knowledge and reasoning; Learning: overview of different forms of learning, learning decision trees, neural networks; Introduction to natural language processing.
(from nptel.ac.in)

Lecture 11 - Knowledge Representation and Logic: Propositional Logic