Learn · Artificial Intelligence: Knowledge Representation And Reasoning

Lecture 30 of 114week-04

Modified Modus Ponens

Prof. Deepak Khemani · IIT Madras

Credits and licence

From
Artificial Intelligence: Knowledge Representation And Reasoning, IIT Madras (at NPTEL)
Licence
CC BY-NC-SA, as NPTEL states it. Non-commercial use only.
Attribution
NPTEL states: "Distributed under Creative Commons Attribution-ShareAlike / CC BY - NC - SA", beside a BY-NC-SA badge.
Who can watch
Tweens profiles and older. How courses are placed

All the lectures

  1. 1.1 - Introduction Video
  2. 1.2 - Abductive Inferences and Expectationsa Video
  3. 1.3 - On Machine Learning Video
  4. 1.4 - A New Test of Intelligence? Video
  5. 1.5 - The World According to Us Video
  6. 1.6 - From Particles to Concepts Video
  7. 1.7 - The Domains for Reasoning Video
  8. 1.8 - Hierarchies in Representation Video
  9. 1.9 - Logic and Representation: A Quick Tour Video
  10. 2.1 - Symbols and Thought Video
  11. 2.2 - From Gears to Symbols Video
  12. 2.3 - Truth, Logic, and Provability Video
  13. 2.4 - A Syntactic Machine Video
  14. 2.5 - Entailment and Proof Video
  15. 2.6 - The Languages of Logic Video
  16. 2.7 - Patterns in Arguments Video
  17. 2.8 - Rules of Inference Video
  18. Propositional Logic Video
  19. Propositional Logic: Syntax Video
  20. Propositional Logic: Semantics Video
  21. Proofs: Natural Deduction Video
  22. The Deduction Theorem Video
  23. Models Video
  24. The Tableau Method Video
  25. First Order Logic Video
  26. First Order Logic: Syntax Video
  27. FOL: Universal Instantiation Video
  28. First Order Logic: Semantics Video
  29. FOL: Truth Assignments Video
  30. Modified Modus Ponens Video
  31. The Unification Algorithm Video
  32. Skolemization Video
  33. Expert Systems Video
  34. Backward Chaining Systems Video
  35. Deductive Retrieval Video
  36. The Resolution Refutation Method Video
  37. Clause Form in FOL Video
  38. Resolution Refutation in FOL Video
  39. First Order Logic with Equality Video
  40. Who was the surgeon? Video
  41. Consistency vs. Completeness Video
  42. Logic Programming Video
  43. Arithmetic Video
  44. Horn Clauses and Prolog Video
  45. SLD Derivation = Backward Chaining Video
  46. Programming in Logic Video
  47. Prolog: Programming in Logic Video
  48. Prolog: Procedural Interpretation Video
  49. Prolog: Query Evaluation Video
  50. Prolog: Unifying Terms Video
  51. Prolog: Goal Order Video
  52. Prolog: Tabling Video
  53. Prolog: Negation by Failure Video
  54. Prolog: The Cut Operator Video
  55. Rule Based Expert Systems Video
  56. The OPS5 Language Video
  57. Match, Resolve, Execute Video
  58. Conflict Resolution Strategies Video
  59. The Rete Algorithm Video
  60. The Rete Net Video
  61. The Rete Net : Examples Video
  62. Knowledge Representation Video
  63. Synonyms, Antonyms, Hyponyms, Meronyms Video
  64. Binary Relations Video
  65. Describing Family Relations Video
  66. Recursive Descriptions Video
  67. Abstract Entities Video
  68. Reification: Units of Measurement Video
  69. Semantic Nets & Knowledge Graphs Video
  70. RDF Resource Description FrameWork Video
  71. RDF,RDFS,OWL, and The LOD Cloud Video
  72. DL: Description Logics Video
  73. Defining New Concepts and Roles Video
  74. The Sentences in DL Video
  75. A Family of Logics Video
  76. DL: Some Examples Video
  77. ALC Tableau Video
  78. Model Checking in ALC Video
  79. ALC Tableau: Examples Video
  80. Language Independent Represntation Video
  81. Conceptual Dependency Theory Video
  82. CD States Video
  83. Inferences in MARGIE Video
  84. CD: Actions Video
  85. English to CD Video
  86. Representing Complex Verbs Video
  87. Semantic Parsing of Language Video
  88. Knowledge Structures Video
  89. Scripts Video
  90. SAM: Script Apploer Mechanism Video
  91. A VIP Visit Video
  92. Invoking Scripts Video
  93. Goals, Plans, and Actions Video
  94. Goal Interactions Video
  95. Explanation Driven Understanding Video
  96. Tussle Over a Bicycle Video
  97. Plan Applier Mechanism (PAM) Video
  98. Requests and Rule Instances Video
  99. Knowledge Structures: Frames Video
  100. Inheritance Video
  101. A Frame System for Travel Planning Video
  102. Inheritance in Taxonomies Video
  103. Default Reasoning Video
  104. Closed World Assumption Video
  105. Circumscription Video
  106. Default Logic Video
  107. Autoepistemic Reasoning Video
  108. The Event Calculus Video
  109. The Effects of Events Video
  110. Epistemic Logic Video
  111. Kripke Structures: Possible Worlds Semantics Video
  112. The Muddy Children Puzzle Video
  113. The Effects of Epistemic Actions Video
  114. Reasoning with Beliefs Video