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

Notes Information

 Material Type: Class Note Professor: Staff Class: CS 440 - Artificial Intelligence Subject: Computer Science University: University of Illinois - Urbana-Champaign Term: -- Keywords: ContradictionConjunctiveGeneralizedStandardizeConjunctionModus PonensImplicationsPropositionalContinued...Conjunctions

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