AI:Knowledge Representation and Reasoning

AI:Knowledge Representation and Reasoning Training provided by University of Indian Institute of Technology Madras

Beginner 0(0 Ratings) 0 Students enrolled
Created by IIT Madras Staff Last updated Mon, 28-Feb-2022 English


AI:Knowledge Representation and Reasoning free videos and free material uploaded by IIT Madras Staff .

Syllabus / What will i learn?

Week 1: Introduction, Propositional Logic, Syntax and Semantics 

Week 2: Proof Systems, Natural Deduction, Tableau Method, Resolution Method 
Week 3: First Order Logic (FOL), Syntax and Semantics, Unification, Forward Chaining 
Week 4: The Rete Algorithm, Rete example, Programming Rule Based Systems 
Week 5: Representation in FOL, Categories and Properties, Reification, Event Calculus 
Week 6: Conceptual Dependency (CD) Theory, Understanding Natural Language 
Week 7: Deductive Retrieval, Backward Chaining, Logic Programming with Prolog 
Week 8: Resolution Refutation in FOL, FOL with Equality, Complexity of Theorem Proving 
Week 9: Semantic Nets, Frames, Scripts, Goals and Plans 
Week 10: Description Logic (DL), Structure Matching, Classification 
Week 11: Extensions of DL, The ALC Language, Inheritance in Taxonomies 
Week 12: Default Reasoning, Circumscription, The Event Calculus Revisited 

Week 13: Default Logic, Autoepistemic Logic, Epistemic Logic, Multi Agent Scenarios 



Curriculum for this course
0 Lessons 00:00:00 Hours
+ View more
Description

An intelligent agent needs to be able to solve problems in its world. The ability to create representations of the domain of interest and reason with these representations is a key to intelligence. In this course we explore a variety of representation formalisms and the associated algorithms for reasoning. We start with a simple language of propositions, and move on to first order logic, and then to representations for reasoning about action, change, situations, and about other agents in incomplete information situations. This course is a companion to the course “Artificial Intelligence: Search Methods for Problem Solving” that was offered recently and the lectures for which are available online.

You need online training / explanation for this course?

1 to 1 Online Training contact instructor for demo :


+ View more

Other related courses
Updated Wed, 22-Apr-2020
Updated Wed, 24-Feb-2021
Updated Wed, 22-Apr-2020
Updated Thu, 30-Apr-2020
About the instructor
  • 0 Reviews
  • 5 Students
  • 330 Courses
+ View more
Student feedback
0
Average rating
  • 0%
  • 0%
  • 0%
  • 0%
  • 0%
Reviews

Material price :

Free

1:1 Online Training Fee: 1 /-
Contact instructor for demo :