Learn · NPTEL

Course106106140114 lectures

Artificial Intelligence: Knowledge Representation And Reasoning

Prof. Deepak Khemani · IIT Madras

Start with lecture 1 At NPTEL

Lectures

week-01

  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

week-02

  1. 2.1 - Symbols and Thought Video
  2. 2.2 - From Gears to Symbols Video
  3. 2.3 - Truth, Logic, and Provability Video
  4. 2.4 - A Syntactic Machine Video
  5. 2.5 - Entailment and Proof Video
  6. 2.6 - The Languages of Logic Video
  7. 2.7 - Patterns in Arguments Video
  8. 2.8 - Rules of Inference Video

week-03

  1. Propositional Logic Video
  2. Propositional Logic: Syntax Video
  3. Propositional Logic: Semantics Video
  4. Proofs: Natural Deduction Video
  5. The Deduction Theorem Video
  6. Models Video
  7. The Tableau Method Video

week-04

  1. First Order Logic Video
  2. First Order Logic: Syntax Video
  3. FOL: Universal Instantiation Video
  4. First Order Logic: Semantics Video
  5. FOL: Truth Assignments Video
  6. Modified Modus Ponens Video
  7. The Unification Algorithm Video
  8. Skolemization Video

week-05

  1. Expert Systems Video
  2. Backward Chaining Systems Video
  3. Deductive Retrieval Video
  4. The Resolution Refutation Method Video
  5. Clause Form in FOL Video
  6. Resolution Refutation in FOL Video
  7. First Order Logic with Equality Video
  8. Who was the surgeon? Video
  9. Consistency vs. Completeness Video

week-06

  1. Logic Programming Video
  2. Arithmetic Video
  3. Horn Clauses and Prolog Video
  4. SLD Derivation = Backward Chaining Video
  5. Programming in Logic Video
  6. Prolog: Programming in Logic Video
  7. Prolog: Procedural Interpretation Video
  8. Prolog: Query Evaluation Video
  9. Prolog: Unifying Terms Video
  10. Prolog: Goal Order Video

week-07

  1. Prolog: Tabling Video
  2. Prolog: Negation by Failure Video
  3. Prolog: The Cut Operator Video
  4. Rule Based Expert Systems Video
  5. The OPS5 Language Video
  6. Match, Resolve, Execute Video
  7. Conflict Resolution Strategies Video
  8. The Rete Algorithm Video
  9. The Rete Net Video
  10. The Rete Net : Examples Video

week-08

  1. Knowledge Representation Video
  2. Synonyms, Antonyms, Hyponyms, Meronyms Video
  3. Binary Relations Video
  4. Describing Family Relations Video
  5. Recursive Descriptions Video
  6. Abstract Entities Video
  7. Reification: Units of Measurement Video
  8. Semantic Nets & Knowledge Graphs Video
  9. RDF Resource Description FrameWork Video
  10. RDF,RDFS,OWL, and The LOD Cloud Video

week-09

  1. DL: Description Logics Video
  2. Defining New Concepts and Roles Video
  3. The Sentences in DL Video
  4. A Family of Logics Video
  5. DL: Some Examples Video
  6. ALC Tableau Video
  7. Model Checking in ALC Video
  8. ALC Tableau: Examples Video
  9. Language Independent Represntation Video
  10. Conceptual Dependency Theory Video

week-10

  1. CD States Video
  2. Inferences in MARGIE Video
  3. CD: Actions Video
  4. English to CD Video
  5. Representing Complex Verbs Video
  6. Semantic Parsing of Language Video
  7. Knowledge Structures Video
  8. Scripts Video
  9. SAM: Script Apploer Mechanism Video
  10. A VIP Visit Video
  11. Invoking Scripts Video

week-11

  1. Goals, Plans, and Actions Video
  2. Goal Interactions Video
  3. Explanation Driven Understanding Video
  4. Tussle Over a Bicycle Video
  5. Plan Applier Mechanism (PAM) Video
  6. Requests and Rule Instances Video
  7. Knowledge Structures: Frames Video
  8. Inheritance Video
  9. A Frame System for Travel Planning Video
  10. Inheritance in Taxonomies Video

week-12

  1. Default Reasoning Video
  2. Closed World Assumption Video
  3. Circumscription Video
  4. Default Logic Video
  5. Autoepistemic Reasoning Video
  6. The Event Calculus Video
  7. The Effects of Events Video
  8. Epistemic Logic Video
  9. Kripke Structures: Possible Worlds Semantics Video
  10. The Muddy Children Puzzle Video
  11. The Effects of Epistemic Actions Video
  12. Reasoning with Beliefs Video

Syllabus and materials

At NPTEL, as the course publishes them.

Credits and licence

Institution
IIT Madras
Department
Computer Science and Engineering
Teacher
Prof. Deepak Khemani
Level
Undergraduate
Language
English
Subjects
Computer science, Engineering
Source
NPTEL
Licence
CC BY-NC-SA, as NPTEL states it. Non-commercial use only. NPTEL's terms
Attribution
NPTEL states: "Distributed under Creative Commons Attribution-ShareAlike / CC BY - NC - SA", beside a BY-NC-SA badge.
Who can watch
NPTEL gives no rating. Invisible Network shows it to Tweens profiles and older, judged from what the source says about it. How courses are placed