;; HERE ARE THE RESULTS, IF YOU FOLLOW THE INSTRUCTIONS IN "eg-eating-world2.lisp": ;; (NOTE THAT *HISTORY* IS IN REVERSE ORDER) CL-USER(1): (load "gridworld-definitions.lisp") ; Loading ; /home/anon/httpd/htdocs/users/faculty/schubert/290A/gridworld-code/gridworld-definitions.lisp T CL-USER(2): (load "gridworld-planning.lisp") ; Loading ; /home/anon/httpd/htdocs/users/faculty/schubert/290A/gridworld-code/gridworld-planning.lisp T CL-USER(3): (load "eg-eating-world2.lisp") ; Loading ; /home/anon/httpd/htdocs/users/faculty/schubert/290A/gridworld-code/eg-eating-world2.lisp ### ISOLATED POINTS: (HOME) T CL-USER(4): (initialize-state) #S(STATE-NODE :NAME #:STATE-NODE233 :WFFS ((IS_ANIMATE ME) (CAN_TALK ME) (EDIBLE BANANA1) (IS_AT BANANA1 HOME) (BANANA BANANA1) (EDIBLE APPLE1) (IS_AT APPLE1 HOME) (APPLE APPLE1) (HUNGRY ME) (IS_AT ME HOME) ...) :CHILDREN NIL :OPERATORS NIL :PARENT ...) CL-USER(5): (go!) POSSIBLE ACTIONS & VALUES: (((EAT ME BANANA1 HOME) . 10) ((EAT ME APPLE1 HOME) . 10)) SEEMINGLY BEST PLAN: ((EAT ME BANANA1 HOME) (SLEEP) (EAT ME APPLE1 HOME)) CORRESPONDING STATES: (((IS_ANIMATE ME) (CAN_TALK ME) (EDIBLE BANANA1) (IS_AT BANANA1 HOME) (BANANA BANANA1) (EDIBLE APPLE1) (IS_AT APPLE1 HOME) (APPLE APPLE1) (HUNGRY ME) (IS_AT ME HOME) (ROBOT ME) (POINT HOME)) ((POINT HOME) (ROBOT ME) (IS_AT ME HOME) (APPLE APPLE1) (IS_AT APPLE1 HOME) (EDIBLE APPLE1) (BANANA BANANA1) (CAN_TALK ME) (IS_ANIMATE ME)) ((HUNGRY ME) (IS_ANIMATE ME) (CAN_TALK ME) (BANANA BANANA1) (EDIBLE APPLE1) (IS_AT APPLE1 HOME) (APPLE APPLE1) (IS_AT ME HOME) (ROBOT ME) (POINT HOME)) ((POINT HOME) (ROBOT ME) (IS_AT ME HOME) (APPLE APPLE1) (BANANA BANANA1) (CAN_TALK ME) (IS_ANIMATE ME))) STEP TO BE TAKEN: EAT EXPECTED STATE; ((POINT HOME) (ROBOT ME) (IS_AT ME HOME) (APPLE APPLE1) (IS_AT APPLE1 HOME) (EDIBLE APPLE1) (BANANA BANANA1) (CAN_TALK ME) (IS_ANIMATE ME)) ACTUAL NEW STATE: ((POINT HOME) (ROBOT ME) (IS_AT ME HOME) (APPLE APPLE1) (IS_AT APPLE1 HOME) (EDIBLE APPLE1) (BANANA BANANA1) (CAN_TALK ME) (IS_ANIMATE ME)) NIL CL-USER(6): *history* (((EAT ME BANANA1 HOME) . 0)) CL-USER(7): (go!) POSSIBLE ACTIONS & VALUES: (((SLEEP) . 9)) SEEMINGLY BEST PLAN: ((SLEEP) (EAT ME APPLE1 HOME) (SLEEP)) CORRESPONDING STATES: (((POINT HOME) (ROBOT ME) (IS_AT ME HOME) (APPLE APPLE1) (IS_AT APPLE1 HOME) (EDIBLE APPLE1) (BANANA BANANA1) (CAN_TALK ME) (IS_ANIMATE ME)) ((HUNGRY ME) (IS_ANIMATE ME) (CAN_TALK ME) (BANANA BANANA1) (EDIBLE APPLE1) (IS_AT APPLE1 HOME) (APPLE APPLE1) (IS_AT ME HOME) (ROBOT ME) (POINT HOME)) ((POINT HOME) (ROBOT ME) (IS_AT ME HOME) (APPLE APPLE1) (BANANA BANANA1) (CAN_TALK ME) (IS_ANIMATE ME)) ((HUNGRY ME) (IS_ANIMATE ME) (CAN_TALK ME) (BANANA BANANA1) (APPLE APPLE1) (IS_AT ME HOME) (ROBOT ME) (POINT HOME))) STEP TO BE TAKEN: SLEEP EXPECTED STATE; ((HUNGRY ME) (IS_ANIMATE ME) (CAN_TALK ME) (BANANA BANANA1) (EDIBLE APPLE1) (IS_AT APPLE1 HOME) (APPLE APPLE1) (IS_AT ME HOME) (ROBOT ME) (POINT HOME)) ACTUAL NEW STATE: ((HUNGRY ME) (IS_ANIMATE ME) (CAN_TALK ME) (BANANA BANANA1) (EDIBLE APPLE1) (IS_AT APPLE1 HOME) (APPLE APPLE1) (IS_AT ME HOME) (ROBOT ME) (POINT HOME)) NIL CL-USER(8): *history* (((SLEEP) . 1) ((EAT ME BANANA1 HOME) . 0)) CL-USER(9): (go!) POSSIBLE ACTIONS & VALUES: (((EAT ME APPLE1 HOME) . 7)) SEEMINGLY BEST PLAN: ((EAT ME APPLE1 HOME) (SLEEP)) CORRESPONDING STATES: (((HUNGRY ME) (IS_ANIMATE ME) (CAN_TALK ME) (BANANA BANANA1) (EDIBLE APPLE1) (IS_AT APPLE1 HOME) (APPLE APPLE1) (IS_AT ME HOME) (ROBOT ME) (POINT HOME)) ((POINT HOME) (ROBOT ME) (IS_AT ME HOME) (APPLE APPLE1) (BANANA BANANA1) (CAN_TALK ME) (IS_ANIMATE ME)) ((HUNGRY ME) (IS_ANIMATE ME) (CAN_TALK ME) (BANANA BANANA1) (APPLE APPLE1) (IS_AT ME HOME) (ROBOT ME) (POINT HOME))) STEP TO BE TAKEN: EAT EXPECTED STATE; ((POINT HOME) (ROBOT ME) (IS_AT ME HOME) (APPLE APPLE1) (BANANA BANANA1) (CAN_TALK ME) (IS_ANIMATE ME)) ACTUAL NEW STATE: ((POINT HOME) (ROBOT ME) (IS_AT ME HOME) (APPLE APPLE1) (BANANA BANANA1) (CAN_TALK ME) (IS_ANIMATE ME)) NIL CL-USER(10): *history* (((EAT ME APPLE1 HOME) . 2) ((SLEEP) . 1) ((EAT ME BANANA1 HOME) . 0))