# Artificial Intelligence: Knowledge Representation And Reasoning

- Institution: IIT Madras
- Department: Computer Science and Engineering
- Teacher: Prof. Deepak Khemani
- Level: Undergraduate
- Language: English
- Subjects: Computer science, Engineering
- Source: [NPTEL](https://nptel.ac.in/courses/106106140)
- Licence: [CC BY-NC-SA](https://nptel.ac.in/faq) (Non-commercial use only.)
- Syllabus: [at the source](https://nptel.ac.in/courses/106106140)
- Who can watch: Tweens profiles and older (sources give no ratings; placed by Invisible Network from the source's own words)

## Lectures

1. [1.1 - Introduction](https://invisiblenetwork.ai/learn/nptel/106106140/2321043006f1) (Video)
2. [1.2 - Abductive Inferences and Expectationsa](https://invisiblenetwork.ai/learn/nptel/106106140/1038d38c46c8) (Video)
3. [1.3 - On Machine Learning](https://invisiblenetwork.ai/learn/nptel/106106140/f70d8082d4e2) (Video)
4. [1.4 - A New Test of Intelligence?](https://invisiblenetwork.ai/learn/nptel/106106140/518d217a9194) (Video)
5. [1.5 - The World According to Us](https://invisiblenetwork.ai/learn/nptel/106106140/ac86c6398ffb) (Video)
6. [1.6 - From Particles to Concepts](https://invisiblenetwork.ai/learn/nptel/106106140/bdb8f5b29bfb) (Video)
7. [1.7 - The Domains for Reasoning](https://invisiblenetwork.ai/learn/nptel/106106140/6efae47fb298) (Video)
8. [1.8 - Hierarchies in Representation](https://invisiblenetwork.ai/learn/nptel/106106140/e58037f57cae) (Video)
9. [1.9 - Logic and Representation: A Quick Tour](https://invisiblenetwork.ai/learn/nptel/106106140/2516c2b411aa) (Video)
10. [2.1 - Symbols and Thought](https://invisiblenetwork.ai/learn/nptel/106106140/9e283106f6c5) (Video)
11. [2.2 - From Gears to Symbols](https://invisiblenetwork.ai/learn/nptel/106106140/315fee79ab4c) (Video)
12. [2.3 - Truth, Logic, and Provability](https://invisiblenetwork.ai/learn/nptel/106106140/630e0b105103) (Video)
13. [2.4 - A Syntactic Machine](https://invisiblenetwork.ai/learn/nptel/106106140/c584047ffdca) (Video)
14. [2.5 - Entailment and Proof](https://invisiblenetwork.ai/learn/nptel/106106140/b47f9cfe67a9) (Video)
15. [2.6 - The Languages of Logic](https://invisiblenetwork.ai/learn/nptel/106106140/4fac03ded26c) (Video)
16. [2.7 - Patterns in Arguments](https://invisiblenetwork.ai/learn/nptel/106106140/f300713ff500) (Video)
17. [2.8 - Rules of Inference](https://invisiblenetwork.ai/learn/nptel/106106140/71268b8b7ea6) (Video)
18. [Propositional Logic](https://invisiblenetwork.ai/learn/nptel/106106140/8e4acdd0516c) (Video)
19. [Propositional Logic: Syntax](https://invisiblenetwork.ai/learn/nptel/106106140/271ac7a2251a) (Video)
20. [Propositional Logic: Semantics](https://invisiblenetwork.ai/learn/nptel/106106140/18d22694b66a) (Video)
21. [Proofs: Natural Deduction](https://invisiblenetwork.ai/learn/nptel/106106140/d02a2ee024c5) (Video)
22. [The Deduction Theorem](https://invisiblenetwork.ai/learn/nptel/106106140/55ef35600e97) (Video)
23. [Models](https://invisiblenetwork.ai/learn/nptel/106106140/81b6fd30c04a) (Video)
24. [The Tableau Method](https://invisiblenetwork.ai/learn/nptel/106106140/db92546674f4) (Video)
25. [First Order Logic](https://invisiblenetwork.ai/learn/nptel/106106140/98c06abd6e57) (Video)
26. [First Order Logic: Syntax](https://invisiblenetwork.ai/learn/nptel/106106140/16c984aaf906) (Video)
27. [FOL: Universal Instantiation](https://invisiblenetwork.ai/learn/nptel/106106140/d2efebb48105) (Video)
28. [First Order Logic: Semantics](https://invisiblenetwork.ai/learn/nptel/106106140/2d024792e5d3) (Video)
29. [FOL: Truth Assignments](https://invisiblenetwork.ai/learn/nptel/106106140/a6b179ff23c9) (Video)
30. [Modified Modus Ponens](https://invisiblenetwork.ai/learn/nptel/106106140/12a4dc6ac951) (Video)
31. [The Unification Algorithm](https://invisiblenetwork.ai/learn/nptel/106106140/5e8b2724ad61) (Video)
32. [Skolemization](https://invisiblenetwork.ai/learn/nptel/106106140/ed4c97e14928) (Video)
33. [Expert Systems](https://invisiblenetwork.ai/learn/nptel/106106140/108d7c279120) (Video)
34. [Backward Chaining Systems](https://invisiblenetwork.ai/learn/nptel/106106140/ab53fab95a4d) (Video)
35. [Deductive Retrieval](https://invisiblenetwork.ai/learn/nptel/106106140/cac9c21a3623) (Video)
36. [The Resolution Refutation Method](https://invisiblenetwork.ai/learn/nptel/106106140/16259de427e3) (Video)
37. [Clause Form in FOL](https://invisiblenetwork.ai/learn/nptel/106106140/ce8fbc1d25f1) (Video)
38. [Resolution Refutation in FOL](https://invisiblenetwork.ai/learn/nptel/106106140/88e16aef3afe) (Video)
39. [First Order Logic with Equality](https://invisiblenetwork.ai/learn/nptel/106106140/ea1d68a673f8) (Video)
40. [Who was the surgeon?](https://invisiblenetwork.ai/learn/nptel/106106140/685fcc7aebf2) (Video)
41. [Consistency vs. Completeness](https://invisiblenetwork.ai/learn/nptel/106106140/5c35ad1693c8) (Video)
42. [Logic Programming](https://invisiblenetwork.ai/learn/nptel/106106140/9dd7270bd1f6) (Video)
43. [Arithmetic](https://invisiblenetwork.ai/learn/nptel/106106140/83f1b2a10c86) (Video)
44. [Horn Clauses and Prolog](https://invisiblenetwork.ai/learn/nptel/106106140/b9fb868ee79c) (Video)
45. [SLD Derivation = Backward Chaining](https://invisiblenetwork.ai/learn/nptel/106106140/f15b5dad4bc5) (Video)
46. [Programming in Logic](https://invisiblenetwork.ai/learn/nptel/106106140/c12bed12dacc) (Video)
47. [Prolog: Programming in Logic](https://invisiblenetwork.ai/learn/nptel/106106140/a5c4b717b7e5) (Video)
48. [Prolog: Procedural Interpretation](https://invisiblenetwork.ai/learn/nptel/106106140/0af97d9ffa3e) (Video)
49. [Prolog: Query Evaluation](https://invisiblenetwork.ai/learn/nptel/106106140/d1147d561d29) (Video)
50. [Prolog: Unifying Terms](https://invisiblenetwork.ai/learn/nptel/106106140/66e7af5ec47f) (Video)
51. [Prolog: Goal Order](https://invisiblenetwork.ai/learn/nptel/106106140/3d09c6bb83be) (Video)
52. [Prolog: Tabling](https://invisiblenetwork.ai/learn/nptel/106106140/965d51e167f8) (Video)
53. [Prolog: Negation by Failure](https://invisiblenetwork.ai/learn/nptel/106106140/f3c649c8c96a) (Video)
54. [Prolog: The Cut Operator](https://invisiblenetwork.ai/learn/nptel/106106140/bccaa58914ae) (Video)
55. [Rule Based Expert Systems](https://invisiblenetwork.ai/learn/nptel/106106140/2e03754a92eb) (Video)
56. [The OPS5 Language](https://invisiblenetwork.ai/learn/nptel/106106140/fb1731901b29) (Video)
57. [Match, Resolve, Execute](https://invisiblenetwork.ai/learn/nptel/106106140/823924669b90) (Video)
58. [Conflict Resolution Strategies](https://invisiblenetwork.ai/learn/nptel/106106140/3da82bbb415b) (Video)
59. [The Rete Algorithm](https://invisiblenetwork.ai/learn/nptel/106106140/566d26e61300) (Video)
60. [The Rete Net](https://invisiblenetwork.ai/learn/nptel/106106140/54a0ab1a5518) (Video)
61. [The Rete Net : Examples](https://invisiblenetwork.ai/learn/nptel/106106140/3029047f83c9) (Video)
62. [Knowledge Representation](https://invisiblenetwork.ai/learn/nptel/106106140/42097518d310) (Video)
63. [Synonyms, Antonyms, Hyponyms, Meronyms](https://invisiblenetwork.ai/learn/nptel/106106140/ebe7f330d165) (Video)
64. [Binary Relations](https://invisiblenetwork.ai/learn/nptel/106106140/a40c8f0b220f) (Video)
65. [Describing Family Relations](https://invisiblenetwork.ai/learn/nptel/106106140/1725f04442a4) (Video)
66. [Recursive Descriptions](https://invisiblenetwork.ai/learn/nptel/106106140/0eb8d623e235) (Video)
67. [Abstract Entities](https://invisiblenetwork.ai/learn/nptel/106106140/97a71f9966e7) (Video)
68. [Reification: Units of Measurement](https://invisiblenetwork.ai/learn/nptel/106106140/d6748a3aba07) (Video)
69. [Semantic Nets & Knowledge Graphs](https://invisiblenetwork.ai/learn/nptel/106106140/4b692f4f370a) (Video)
70. [RDF Resource Description FrameWork](https://invisiblenetwork.ai/learn/nptel/106106140/84b2a6d1459f) (Video)
71. [RDF,RDFS,OWL, and The LOD Cloud](https://invisiblenetwork.ai/learn/nptel/106106140/10556217a03b) (Video)
72. [DL: Description Logics](https://invisiblenetwork.ai/learn/nptel/106106140/ba4350bd2df2) (Video)
73. [Defining New Concepts and Roles](https://invisiblenetwork.ai/learn/nptel/106106140/0eea37f343aa) (Video)
74. [The Sentences in DL](https://invisiblenetwork.ai/learn/nptel/106106140/44aae222c2c6) (Video)
75. [A Family of Logics](https://invisiblenetwork.ai/learn/nptel/106106140/b2e02de0e40c) (Video)
76. [DL: Some Examples](https://invisiblenetwork.ai/learn/nptel/106106140/56974b590e3b) (Video)
77. [ALC Tableau](https://invisiblenetwork.ai/learn/nptel/106106140/d57465803c5d) (Video)
78. [Model Checking in ALC](https://invisiblenetwork.ai/learn/nptel/106106140/6077fc8dc9f7) (Video)
79. [ALC Tableau: Examples](https://invisiblenetwork.ai/learn/nptel/106106140/c1576d372f03) (Video)
80. [Language Independent Represntation](https://invisiblenetwork.ai/learn/nptel/106106140/13347c18110e) (Video)
81. [Conceptual Dependency Theory](https://invisiblenetwork.ai/learn/nptel/106106140/39f03b20e8ba) (Video)
82. [CD States](https://invisiblenetwork.ai/learn/nptel/106106140/e8c2a7ed0c63) (Video)
83. [Inferences in MARGIE](https://invisiblenetwork.ai/learn/nptel/106106140/410e4b277ae0) (Video)
84. [CD: Actions](https://invisiblenetwork.ai/learn/nptel/106106140/a6ba1d51eca9) (Video)
85. [English to CD](https://invisiblenetwork.ai/learn/nptel/106106140/03d74a639bb8) (Video)
86. [Representing Complex Verbs](https://invisiblenetwork.ai/learn/nptel/106106140/9b18a63155c4) (Video)
87. [Semantic Parsing of Language](https://invisiblenetwork.ai/learn/nptel/106106140/f210d71cb3fc) (Video)
88. [Knowledge Structures](https://invisiblenetwork.ai/learn/nptel/106106140/17b39108e3ec) (Video)
89. [Scripts](https://invisiblenetwork.ai/learn/nptel/106106140/fee05458adeb) (Video)
90. [SAM: Script Apploer Mechanism](https://invisiblenetwork.ai/learn/nptel/106106140/0d7f59336df2) (Video)
91. [A VIP Visit](https://invisiblenetwork.ai/learn/nptel/106106140/6d36d4e7cb9c) (Video)
92. [Invoking Scripts](https://invisiblenetwork.ai/learn/nptel/106106140/4207c8b920e7) (Video)
93. [Goals, Plans, and Actions](https://invisiblenetwork.ai/learn/nptel/106106140/ba3f75544a52) (Video)
94. [Goal Interactions](https://invisiblenetwork.ai/learn/nptel/106106140/df9f6a47d41f) (Video)
95. [Explanation Driven Understanding](https://invisiblenetwork.ai/learn/nptel/106106140/641d73205797) (Video)
96. [Tussle Over a Bicycle](https://invisiblenetwork.ai/learn/nptel/106106140/f597f8ba8eb5) (Video)
97. [Plan Applier Mechanism (PAM)](https://invisiblenetwork.ai/learn/nptel/106106140/50a914c87d62) (Video)
98. [Requests and Rule Instances](https://invisiblenetwork.ai/learn/nptel/106106140/f9e37a23acc2) (Video)
99. [Knowledge Structures: Frames](https://invisiblenetwork.ai/learn/nptel/106106140/c8fd1a1e98bc) (Video)
100. [Inheritance](https://invisiblenetwork.ai/learn/nptel/106106140/cdc9c73761a5) (Video)
101. [A Frame System for Travel Planning](https://invisiblenetwork.ai/learn/nptel/106106140/3c7a46449a87) (Video)
102. [Inheritance in Taxonomies](https://invisiblenetwork.ai/learn/nptel/106106140/b2942d96b75c) (Video)
103. [Default Reasoning](https://invisiblenetwork.ai/learn/nptel/106106140/1039c6a70b3b) (Video)
104. [Closed World Assumption](https://invisiblenetwork.ai/learn/nptel/106106140/2d853f1dc8b7) (Video)
105. [Circumscription](https://invisiblenetwork.ai/learn/nptel/106106140/2262ab692a68) (Video)
106. [Default Logic](https://invisiblenetwork.ai/learn/nptel/106106140/708ee0b8b1bb) (Video)
107. [Autoepistemic Reasoning](https://invisiblenetwork.ai/learn/nptel/106106140/9e3493c77e80) (Video)
108. [The Event Calculus](https://invisiblenetwork.ai/learn/nptel/106106140/6326ce1c242e) (Video)
109. [The Effects of Events](https://invisiblenetwork.ai/learn/nptel/106106140/3a2656b9c2eb) (Video)
110. [Epistemic Logic](https://invisiblenetwork.ai/learn/nptel/106106140/97115eb2372a) (Video)
111. [Kripke Structures: Possible Worlds Semantics](https://invisiblenetwork.ai/learn/nptel/106106140/0cda7c4ccb61) (Video)
112. [The Muddy Children Puzzle](https://invisiblenetwork.ai/learn/nptel/106106140/d91923ca0e26) (Video)
113. [The Effects of Epistemic Actions](https://invisiblenetwork.ai/learn/nptel/106106140/c07a989dabe7) (Video)
114. [Reasoning with Beliefs](https://invisiblenetwork.ai/learn/nptel/106106140/c3ffbf657203) (Video)