Downloaded 18 times
SG
Uploaded bySHUBHAM KUMAR GUPTA
PPT, PDF17,207 views
predicate logic example
John likes all foods, apples and chicken are foods, anything that does not kill someone who eats it is a food, Bill eats peanuts and is still alive so peanuts are food, and Sue eats everything that Bill eats. This document translates statements about people and foods into logical forms using predicates and quantifiers, and then expresses them in conjunctive normal form.
predicate logic example
- 1. Predicate Logic Example •John likes all kinds of food. • Apples are food. • Chicken is food. • Anything anyone eats and isn’t killed by is food. • Bill eats peanuts, and is still alive. • Sue eats everything that Bill eats.
- 2. Logical form • Johnlikes all kinds of food == ∀x food (x) ⇒ eats(John, x) • Apples are food == food(apples) • Chicken is food == food(chicken) • Anything anyone eats and isn’t killed by is food == ∀x,y eats(x,y) ∧ ¬killed(x) ⇒ food(y) • Bill eats peanuts, and is still alive == eats(Bill,Peanuts) ∧ ¬killed(Bill)(here we assume alive means not killed) • Sue eats everything that Bill eats == ∀x eats (Bill,x) ⇒ eats(Sue,x)
- 3.