Lecture Notes for CS 440 - Artificial Intelligence at Illinois (UIUC)

Notes Information

Material Type:Class Note
Class:CS 440 - Artificial Intelligence
Subject:Computer Science
University:University of Illinois - Urbana-Champaign
  • Contradiction
  • Conjunctive
  • Generalized
  • Standardize
  • Conjunction
  • Modus Ponens
  • Implications
  • Propositional
  • Continued...
  • Conjunctions
Login / Sign Up to View Document
Preview Page 1Preview Page 2Preview Page 3Preview Page 4Preview Page 5Preview Page 6

Sample Document Text

Resolution and Refutation Proofs Introduction to Artificial Intelligence CS440/ECE448 Lecture 13 Homework due March 2 Last lecture . Substitutions and unification . Generalized Modus Ponens . Resolution definition This lecture . Refutation proofs . True-or-false questions . Fill-in-the-blanks questions . Resolution properties Reading . Chapter 9 Generalized Modus Ponens(GMP) p1', p2',., pn', (p1?p2?. ?pn ? q) where pi'? = pi? q? for all i For example, let p1' = Faster (Bob, Pat) p2' = Faster (Pat, Steve) Faster (x, y) ? Faster (y, z) ? Faster (x, z) Unify p1'and p2' with the premise ? = { x/Bob, y/Pat, z/Steve } Apply substitution to the conclusion q? = Faster(Bob, Steve) pi and qatomic sentences Universally quantified variables Forward Chaining Example . White: Facts added in turn . Yellow:The result of implication of rules. 1. Buffalo(x) ?Pig(y) ? Faster(x, y) 2. Pig(y) ?Slug(z) ? Faster(y, z) 3. Faster(x, y) ?Faster(y, z) ? Faster(x, z) 4. Buffalo(Bob) [ Unifi...

Related Documents

Definite Truth Values Notes
Forward Chaining Notes
To, at (time) Notes
Alcoholic Beverage Notes
Either...or Exam
Informatica Notes
Propositional Logic Notes
Assumptions Notes
Conjunctive Addition Exam
Answer Paper Exam
Answer Paper Exam
Answer Paper Exam
Contrapositive Exam
Good Strategy Exam
Unauthorized Exam
Unauthorized Exam
155, "/var/app/current/tmp/"