## Notes Information

Login / Sign Up to View Document

## 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

© Copyright 2020 , Koofers, Inc. All rights reserved.

The information provided on this site is protected by U.S. and International copyright law, and other applicable intellectual property laws, including laws covering data access and data compilations. This information is provided exclusively for the personal and academic use of students, instructors and other university personnel. Use of this information for any commercial purpose, or by any commercial entity, is expressly prohibited. This information may not, under any circumstances, be copied, modified, reused, or incorporated into any derivative works or compilations, without the prior written approval of Koofers, Inc.