Skip to content

Latest commit

 

History

History
14 lines (12 loc) · 392 Bytes

Have-Cake-And-Eat-Cake-Too.md

File metadata and controls

14 lines (12 loc) · 392 Bytes
Raw

HAVE-CAKE-AND-EAT-CAKE-TOO-PROBLEM

AIMA3e

Init(Have(Cake))
Goal(Have(Cake) ∧ Eaten(Cake))
Action(Eat(Cake)
 PRECOND: Have(Cake)
 EFFECT: ¬ Have(Cake) ∧ Eaten(Cake))
Action(Bake(Cake)
 PRECOND: ¬ Have(Cake)
 EFFECT: Have(Cake))

Figure ?? The "have cake and eat cake too" problem.