In this video lecture, Prof. Anupam Basu lectures on Interface in Propositional Logic, such as proving a proposition given a set of proposotional facts

1. Introduction to Artificial Intelligence
2. Intelligent Agents
3. State Space Search
4. Uninformed Search
5. Informed Search I
6. Informed Search II
7. Two Players Games I
8. Two Players Games II
9. Constraint Satisfaction Problems I
10. Constraint Satisfaction Problems II
11. Knowledge Representation and Logic
12. Interface in Propositional Logic
13. First Order Logic
14. Reasoning Using First Order Logic
15. Resolution in FOPL
16. Rule Based System
17. Rule Based Systems II
18. Semantic Net
19. Reasoning in Semantic Net
20. Frames
21. Planning I
22. Planning II
23. Planning III
24. Planning IV
25. Rule Based Expert System
26. Reasoning with Uncertainty I
27. Reasoning with Uncertainty II
28. Reasoning with Uncertainty III
29. Reasoning with Uncertainty IV
30. Fuzzy Reasoning I
31. Fuzzy Reasoning II
32. Introduction to Learning I
33. Introduction to Learning II
34. Rule Induction and Decision Trees I
35. Rule Induction and Decision Trees II
36. Leavning Using Neural Networks I
37. Learning Using Neural Networks II
38. Probabilistic Learning
39. Natural Language Processing I
40. Natural Language Processing II

In this course, Professor Sudeshna Sarkar and Professor Anupam Basu, Department of Computer Science & Engineering of the Indian Institute of Technology - Kharagpur, give an introduction to the concepts of Artificial Intelligence, such as Intelligent Agents, State Space Search, Informed and Uninformed Search, Two Players Games, Knowledge Representation, Interface in Propositional Logic, First Order Logic, Reasoning, Rule Based Systems, Semantic Net, Frames, Planning, Fuzzy Reasoning, Natural Language Processing and many more.

The original name for this course is: Computer Sc - Artificial Intelligence. This course has 40 video lectures on Artificial Intelligence, by Professor Sudeshna Sarkar and Professor Anupam Basu, Computer Science & Engineering, I.I.T, Kharagpur (NPTEL).