Week 09:
	-
	-

---

Topic: Inference in First-Order Logic & Knowledge Representation

---

Objectives:

• Use Propositional and First-Order Logic for Certain Reasoning
• Describe the Unification, Forward Chaining, and Backward Chaining algorithms in Inference
• Describe various knowledge representations in certain and uncertain domains

---

1. Watch the following videos from the Artificial Intelligence course offered by the National Programme on Technology Enhanced Learning (NPTEL):
   1. 10 - Inference in First Order Logic (59:55): YouTube or Download
   2. 11 - Resolution - Refutation Proofs (59:56): YouTube or Download
   3. 12 - Resolution Refutation Proofs (01:00:00): YouTube or Download
   Reference: NPTEL's Artificial Intelligence course by Pallab Dasgupta.
   
   
2. Read the following pages from Artificial Intelligence: A Modern Approach, Third Edition (cited as AIMA):
   • Required: 36 Pages
     

     Order	Topic	Book	Section	Page Numbers	Pages	Presentations
     1.	Inference in First-Order Logic	AIMA	Chapter 9:	Page 322-375	(36 Pages)	Inference in First-Order Logic and Logic

     
     
   • Optional: 32 Pages
     

     Order	Topic	Book	Section	Page Numbers	Pages	Presentations
     1.	Knowledge Representation	AIMA	Chapter 12:	Page 437-468	(32 Pages)

     
     
   Reference: University of California, Berkeley's CS 188: Introduction to Artificial Intelligence (Fall 2005) by Stuart Russell
   Reference: Stanford University's CS221: Artificial Intelligence: Principles and Techniques (Autumn 2012-2013) by Percy Liang
   
   
3. Do Assignment 07.
   
   
4. (Optional) If you are still having difficulty understanding Logic and the Forward and Backward Chaining used in Rule Based Systems, watch the following videos from another Artificial Intelligence course offered by the National Programme on Technology Enhanced Learning (NPTEL):
   1. 14 - Reasoning Using First Order Logic (59:20): YouTube or Download
   2. 15 - Resolution in FOPL (59:03): YouTube or Download
   3. 16 - Rule Based System (57:17): YouTube or Download
   4. 17 - Rule Based Systems II (56:31): YouTube or Download
   Reference: NPTEL's Artificial Intelligence course by Anupam Basu and Sudeshna Sarkar.