Question

The following logic is for when a child should cry or be happy based on what they find in the pantry.

eggs ∧ broccoli ∧ cheese ⇒ omelet

eggs ∧ flour ⇒ pasta

pasta ∧ sauce ⇒ spaghetti

flour ⇒ pizza_crust

pizza_crust ∧ cheese ∧ sauce ⇒ pizza

tomato ⇒ sauce

tomato ∧ broccoli ∧ spinach ⇒ salad

broccoli ∧ cheese ∧ milk ⇒ soup

broccoli ∧ pasta ∧ tofu ⇒ stirfry

milk ∧ pizza ⇒ happy

milk ∧ spaghetti ⇒ happy

1. Create a model where the KB is true.

2. Create a model where the KB isn't true.

3. Based on the stuff below, use forward chaining / Modus Ponens. Does KB├_p happy for proof p?

The child sees the following items:

broccoli

tomato

spinach

tofu

flour

milk

cheese

Answer 1

With below given items we can make child happy with dish

milk+pizza

pizza=pizza_crust+sause+cheese=flour+tomato+cheese.

with the above given ingredients we can make child happy.