W Chapter9
W Chapter9
Inference in
First-Order Logic
CS361 Artificial Intelligence
Dr. Khaled Wassif
Spring 2024
◼ Existential Instantiation:
– Given x, Likes(x, McDonalds)
– Infer Likes(S1, McDonalds)
– S1 is a “Skolem Constant” that is not found anywhere else
in the KB and refers to (one of) the individuals that likes
McDonalds.
AI: A modern Approach © 2010 S. Russell and P. Norving Slide 9 - 4
By Dr. Khaled Wassif
Universal Instantiation (UI)
◼ Every instantiation of a universally quantified sentence
is inferred by:
◼ Prove that:
Colonel West is a criminal
AI: A modern Approach © 2010 S. Russell and P. Norving Slide 9 - 17
By Dr. Khaled Wassif
Example Knowledge Base
… it is a crime for an American to sell weapons to hostile nations:
American(x) ∧ Weapon(y) ∧ Hostile(z) ∧ Sells(x, y, z) ⇒ Criminal(x)
… The country Nono, an enemy of America: Enemy(Nono, America)
… An enemy of America counts as “hostile”:
Enemy(x, America) ⇒ Hostile(x)
… Nono … has some missiles: x
Missile(M 1)
Missile(x) Owns(Nono,
Owns(Nono,Mx)
1)
Missile(x) ⇒ Weapon(x)
Enemy(x, America)
⇒ Hostile(x)
¬Clouds Clouds