1 / 9

Inference in First-Order Logic

Inference in First-Order Logic. Inference Rules with Quantifiers. The three new inference rules are as follows:. Universal Elimination : For any sentence a , variable v and ground term g:. " v a _____________ SUBST({v/g}, a ).

jara
Download Presentation

Inference in First-Order Logic

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Inference in First-Order Logic Inference Rules with Quantifiers The three new inference rules are as follows: Universal Elimination: For any sentence a , variable v and ground term g: "v a _____________ SUBST({v/g}, a )

  2. Existential Elimination: For any sentence a , variable v and constant symbol k that does not occur elsewhere in the knowledge base: $va _____________ SUBST({v/k}, a )

  3. Existential Introduction:For any sentence a , variable v that does not occur in a and ground term g that does occur in a : a _______________ $v SUBST({v/g}, a )

  4. An Example Proof One can imagine following situation: The law says that it is a crime to sell weapons to hostile nations. The country Nono, an enemy of America, has some missiles and all of it missiles were sold by Colonel West, who is American. Next it is proved that West is a criminal: “The law says that it is a crime for an American to sell weapons to hostile nations” 1.  " x, y, z American(x) Ù Weapon(y) Ù Nation(z) Ù Hostile(z) Ù Sells(x, y, z)Þ Criminal(x) “Nono … has some missiles” 2. $ x Owns(Nono, x) Ù Missile(x) “All of its missile were sold to it by colonel West” 3. " x Owns(Nono, x) Ù Missile(x) Þ Sells(West, Nono, x) We will also need to know that missiles are weapons: 4. " x Missile(x) Þ Weapon(x) And that an enemy of america counts as “hostile” 5. " x Enemy(x, America) Þ Hostile(x) “West , who is American …..” 6. American(West)

  5. “The country Nono…..” 7. Nation(Nono) “Nono, an enemy of America …” 8. Enemy(Nono, America) 9. Nation(America) The proof consists of a series of applications of the inference rules: From (2) and Existential Elimination: 10. Owns(Nono, M1) Ù Missile(M1) From (10) and And-Elimination: 11. Owns(Nono, M1) 12. Missile(M1) From (4) and Universal Elimination : 13. Missile(M1) Þ Weapon(M1) From (12) , (13) , and Modus Ponens: 14. Weapon(M1)

  6. From (3) and Universal-Elimination : 15. Owns(Nono, M1) Ù Missile(M1) Þ Sells(West, Nono, M1) From (15) , (10) , and Modus Ponens : 16. Sells(West, Nono, M1) From (1) and Universal Elimination (three times): 17. American(West) Ù Weapon(M1) Ù Nation(Nono) Ù Hostile(Nono) Ù Sells(West, Nono, M1) Þ Criminal(West) From (5) and Universal Elimination : 18. Enemy(Nono, America) Þ Hostile(Nono) From (8) , (18) , and Modus Ponens : 19. Hostile(Nono) From (6) , (7) , (14) , (16) , (19) , and And-Introduction: 20.American(West) Ù Weapon(M1) Ù Nation(Nono) Ù Hostile(Nono) Ù Sells(West, Nono, M1) From (17) , (20) , and Modus Ponens : 21. Criminal(West)

More Related