1
Artificial Intelligence: Knowledge Representation and Reasoning. Instructor: Prof. Deepak Khemani, Department of Computer Science and Engineering, IIT Madras.
FREE
This course includes
Hours of videos
1944 years, 3 months
Units & Quizzes
70
Unlimited Lifetime access
Access on mobile app
Certificate of Completion
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. (from nptel.ac.in)
Course Currilcum
-
- Lecture 01 – Introduction Unlimited
- Lecture 02 – Introduction to Knowledge Representation and Reasoning Unlimited
- Lecture 03 – An Introduction to Formal Logics Unlimited
- Lecture 04 – Propositional Logic: Language, Semantics and Reasoning Unlimited
- Lecture 05 – Propositional Logic: Syntax and Truth Values Unlimited
-
- Lecture 06 – Valid Arguments and Proof Systems Unlimited
- Lecture 07 – Rules of Inference and Natural Deduction Unlimited
- Lecture 08 – Axiomatic Systems and Hilbert Style Proofs Unlimited
- Lecture 09 – The Tableau Method Unlimited
- Lecture 10 – The Resolution Refutation Method Unlimited
- Lecture 11 – Syntax Unlimited
- Lecture 12 – Semantics Unlimited
- Lecture 13 – Entailment and Models Unlimited
- Lecture 14 – Proof Systems Unlimited
- Lecture 15 – Forward Chaining Unlimited
- Lecture 16 – Unification Unlimited
- Lecture 22 – Skolemization Unlimited
- Lecture 23 – Terminological Facts Unlimited
- Lecture 24 – Properties and Categories Unlimited
- Lecture 25 – Reification and Abstract Entities Unlimited
- Lecture 26 – Resource Description Framework (RDF) Unlimited
- Lecture 27 – The Event Calculus: Reasoning about Change Unlimited
- Lecture 32 – Backward Chaining Unlimited
- Lecture 33 – Logic Programming Unlimited
- Lecture 34 – Prolog Unlimited
- Lecture 35 – Search in Prolog Unlimited
- Lecture 36 – Controlling Search Unlimited
- Lecture 37 – The Cut Operator in Prolog Unlimited
- Lecture 43 – Semantic Nets and Frames Unlimited
- Lecture 44 – Scripts Unlimited
- Lecture 45 – Applying Scripts Unlimited
- Lecture 46 – Goals, Plans and Actions Unlimited
- Lecture 47 – Plan Applier Mechanism Unlimited
- Lecture 48 – Top Down and Bottom Up Reasoning Unlimited
- Lecture 55 – Description Logic: Extensions Unlimited
- Lecture 56 – Description Logic: ALC Unlimited
- Lecture 57 – ALC Examples Unlimited
- Lecture 58 – Taxonomies and Inheritance Unlimited
- Lecture 59 – Beliefs Unlimited
- Lecture 60 – Inheritance Hierarchies Unlimited
- Lecture 67 – Default Logic Unlimited
- Lecture 68 – Autoepistemic Logic Unlimited
- Lecture 69 – Epistemic Logic Unlimited
- Lecture 70 – The Muddy Children Puzzle Unlimited
