Week 08:
-
-
Topic: Logical Agents & First-Order Logic
Objectives:
  1. Watch 1 hour and 43 minutes of video from the Introduction to Logic with Michael Genesereth course on Coursera:
    1. Sign In to Coursera.
    2. Click the Courses link at the top of the page.
    3. Search for Introduction to Logic using the search text box.
    4. Select the Introduction to Logic with Michael Genesereth.
    5. Click the Preview button.
    6. Remember: Coursera's Video Player contains a "Speed up the video" button on the bottom left of each video to speed up playback.
    7. Watch the following videos in the "Week 1: Introduction" section (31 min):
      • 1.1 Introduction to Logic (3 min)
      • 1.2 Elements of Logic (10 min)
      • 1.3 Formalization (9 min)
      • 1.4 Automation (5 min)
      • 1.5 Study Guide (4 min)
    8. Watch the following videos in the "Week 2: Propositional Logic" section (33 min):
      • 2.1 Propositional Logic (1 min)
      • 2.2 Syntax of Propositional Logic (7 min)
      • 2.3 Semantics of Propositional Logic (10 min)
      • 2.4 Satisfaction (3 min)
      • 2.5 Properties of Sentences (3 min)
      • 2.6 Logical Entailment (6 min)
      • 2.7 The Big Game (3 min)
    9. Watch the following videos in the "Week 3: Propositional Proofs" section (20 min):
      • 3.1 Propositional Proofs (2 min)
      • 3.2 Linear Proofs (8 min)
      • 3.3 Structured Proofs (5 min)
      • 3.4 Fitch (3 min)
      • 3.5 Soundness and Completeness (2 min)
    10. Watch the following videos in the "Week 3: Propositional Resolution" section (19 min):
      • 4.1 Propositional Resolution (2 min)
      • 4.2 Clausal Form (5 min)
      • 4.3 Resolution Principle (5 min) ... Note: There is an error in the initial "Resolution Idea" slide at time: 00:02. In order for that slide to match what Dr. Genesereth is saying, all p's below the Premises should be q's and all q's below the Premises should also be p's. This is corrected later at time: 01:04.
      • 4.4 Resolution Method (7 min)
      • (Optional) 4.5 Box Logic (out of focus)
    Reference: Coursera's Introduction to Logic course by Michael Genesereth.

  2. Watch the following videos from the Artificial Intelligence course offered by the National Programme on Technology Enhanced Learning (NPTEL):
    1. 8 - Knowledge Based Systems: Logic and Deduction (59:55): YouTube or Download
    2. 9 - First Order Logic (59:50): YouTube or Download
    Reference: NPTEL's Artificial Intelligence course by Pallab Dasgupta.

  3. Complete the "7. Representation with Logic" unit in the Introduction to Artificial Intelligence course from Udacity:
    1. Sign In to Udacity
    2. Select Introduction to Artificial Intelligence from the Course Catalog
    3. Press the "Take the Class" button
    4. Watch the videos and take the quizzes in the "7. Representation with Logic" unit (39 min 2 sec).

    Alternatively, download the following ZIP file containing Flash Video files:
  4. Read the following pages from Artificial Intelligence: A Modern Approach, Third Edition (cited as AIMA): 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

  5. Do Assignment 06.

  6. (Optional) If you are still having difficulty understanding Logic, watch the following videos from another Artificial Intelligence course offered by the National Programme on Technology Enhanced Learning (NPTEL):
    1. 11 - Knowledge Representation and Logic (56:59): YouTube or Download
    2. 12 - Interface in Propositional Logic (52:46): YouTube or Download
    3. 13 - First Order Logic (55:19): YouTube or Download
    Reference: NPTEL's Artificial Intelligence course by Anupam Basu and Sudeshna Sarkar.