12 Weeks Free course on AI: Knowledge Representation & Reasoning (IIT Madras)

Are you interested in learning about exploring a variety of representation formalisms and the associated algorithms for reasoning in Artificial intelligence?

IIT Madras is going to offer a free online course on AI: knowledge representation and reasoning. This course will help you understand the basics of knowledge representation and reasoning. You’ll learn how to solve problems using logic, how to build intelligent systems that can interpret natural language, reason using formal methods and more. The course is taught by Professor Deepak Khemani, who has over 20 years of experience teaching at IIT Madras. Prof. Khemani is a Professor at Department of Computer Science and Engineering. He’s also written several books and papers on the subject. This course will cover topics like knowledge representation and reasoning, search techniques, game playing and heuristic search methods. It’ll be perfect for anyone looking to learn more about this fascinating topic! Prerequisites include some exposure to formal languages, logic and programming. 

You can enroll today without paying anything – it’s completely free! If you want a certificate though, you have to register for the proctored exam that will be conducted in person at one of our designated exam centers across India. This would cost Rs. 1000/-. So what are you waiting for? Enroll now before spots run out!

Here is the course content:

  • 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: Deductive Retrieval, Backward Chaining, Logic Programming with Prolog
  • Week 7: Resolution Refutation in FOL, FOL with Equality, Complexity of Theorem Proving
  • Week 8: Description Logic (DL), Structure Matching, Classification
  • Week 9: Extensions of DL, The ALC Language, Inheritance in Taxonomies
  • Week 10: Default Reasoning, Circumscription, The Event Calculus Revisited
  • Week 11: Default Logic, Autoepistemic Logic, Epistemic Logic, Multi Agent Scenarios
  • Optional Topics A: Conceptual Dependency (CD) Theory, Understanding Natural Language
  • Optional Topics B: Semantic Nets, Frames, Scripts, Goals and Plans

Here is the introductory video on the course:

Sign up now to take this free online course on AI from IIT Madras today.

Nidhi Rai

Nidhi has been been actively blogging in different technologies such as AI / machine learning and internet technologies. Her field of interest includes AI / ML, Java, mobile technologies, UI programming such as HTML, CSS, Javascript (Angular/ReactJS etc), open-source and other related technologies.

Recent Posts

Agentic Reasoning Design Patterns in AI: Examples

In recent years, artificial intelligence (AI) has evolved to include more sophisticated and capable agents,…

1 month ago

LLMs for Adaptive Learning & Personalized Education

Adaptive learning helps in tailoring learning experiences to fit the unique needs of each student.…

1 month ago

Sparse Mixture of Experts (MoE) Models: Examples

With the increasing demand for more powerful machine learning (ML) systems that can handle diverse…

2 months ago

Anxiety Disorder Detection & Machine Learning Techniques

Anxiety is a common mental health condition that affects millions of people around the world.…

2 months ago

Confounder Features & Machine Learning Models: Examples

In machine learning, confounder features or variables can significantly affect the accuracy and validity of…

2 months ago

Credit Card Fraud Detection & Machine Learning

Last updated: 26 Sept, 2024 Credit card fraud detection is a major concern for credit…

2 months ago