Predicate Logic

More documents

Recommendations

Info

Predicate Logic: Function + Computable Predicate, Example Facts: 1. Marcus was a man. man(Marcus) 2. Marcus was a Pompeian. Pompeian(Marcus) 3. Marcus was born in 40 A.D born(Marcus,40) 4. All men are mortal. ∀X: man(X) mortal(X) Artificial Intelligence: Predicate Logic Slide: 36
Predicate Logic: Function + Computable Predicate, Example Facts: 5. All Pompeian died when the vocano erupted in 79 AD. erupted(vocano, 79) ^ ∀X: [Pompeian(X) died(X, 79)] 6. No mortal lives longer then 150 years. ∀X: ∀T 1 : ∀T 2 : mortal(X) ^ born(X, T 1 ) ^ gt(T 2 – T 1 , 150) dead(X, T 2 ) 7. It is now 1991 now = 1991 Artificial Intelligence: Predicate Logic Slide: 37
Page 1 and 2: Chapter 08 Predicate Logic Instruct
Page 3 and 4: Acknowledgment The slides in this P
Page 5 and 6: Why FOL? Pros and cons of propositi
Page 7 and 8: Prepositional Logic: Examples Sente
Page 9 and 10: Predicate Logic: Examples Ability o
Page 11 and 12: Syntax of FOL: Basic elements Cons
Page 13 and 14: Complex sentences Complex sentence
Page 15 and 16: Universal quantification ∀ Ever
Page 17 and 18: Existential quantification ∃ S
Page 19 and 20: Properties of quantifiers ∀x ∀
Page 21 and 22: The kinship domain: Brothers are
Page 23 and 24: Predicate Logic: Representation 1.
Page 25 and 26: Predicate Logic: Representation 6.
Page 27 and 28: Predicate Logic: Representation Gi
Page 29 and 30: Predicate Logic: Proof ¬loyalto(Ma
Page 31 and 32: Predicate Logic: Exception Excepti
Page 33 and 34: Predicate Logic: Exception Excepti
Page 35: Predicate Logic: Function + Computa
Page 39 and 40: Predicate Logic: Function + Computa
Page 41 and 42: Predicate Logic: Function + Computa
Page 43 and 44: Universal instantiation (UI) Every
Page 45 and 46: Reduction to propositional inferenc
Page 47 and 48: Resolution Convert to clause form,
Page 49 and 50: Resolution 1. Remove using the equ
Page 51 and 52: 2. Move ¬ next to terms: Resolutio
Page 53 and 54: Resolution 4. Move qualifier to lef
Page 55 and 56: Resolution 6. Remove every qualifie
Page 57 and 58: 7. Convert to CNF. = Resolution [¬
Page 59 and 60: Resolution 9. Add every qualifier t
Page 61 and 62: Substitution and Unification X: Va
Page 63 and 64: Substitution and Unification Union
Page 65 and 66: Substitution and Unification Union
Page 67 and 68: Substitution and Unification mgu:
Page 69 and 70: Dis-set: Example: Substitution and
Page 71 and 72: Substitution and Unification Claus
Page 73 and 74: Substitution and Unification Resol
Page 75 and 76: Substitution and Unification Proof
Page 77 and 78: # 1 2 3 4 5 6 7 8 9 10 11 Clauses m
Page 79 and 80: Homeworks Prove: ¬alive(Marcus, no

Predicate Logic

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?