Welcome to Scribd. Sign in or start your free trial to enjoy unlimited e-books, audiobooks & documents.Find out more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
1Activity
P. 1
WINSEM2012-13_CP0485_01-Mar-2013_RM01_m9-inference

WINSEM2012-13_CP0485_01-Mar-2013_RM01_m9-inference

Ratings: (0)|Views: 0|Likes:
Published by Shalini Bansal

More info:

Published by: Shalini Bansal on Apr 28, 2013
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PPT, PDF, TXT or read online from Scribd
See more
See less

01/10/2015

pdf

text

original

 
Inference in first-order logic
Chapter 9
 
Outline
Reducing first-order inference topropositional inference
Unification
Generalized Modus Ponens
Forward chaining
Backward chaining
Resolution
 
Universal instantiation (UI)
Every instantiation of a universally quantified sentence is entailed byit:
 
 
α
 Subst({v/g},
α
)
 
for any variable
and ground term
 
E.g.,
x
King 
(
 x 
)
 
Greedy 
(
 x 
)
 
Evil 
(
 x 
) yields:
 
 
King 
(
John
)
 
Greedy 
(
John
)
 
Evil 
(
John
)
King 
(
Richard 
)
 
Greedy 
(
Richard 
)
 
Evil 
(
Richard 
)

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->