(setf *inference-rules* (list #'GMP))
(setf *beliefs*
(list
'(-> (& "There is something orange and striped before me") "There is a tiger before me")
'(-> (& "I am hungry" (~ "There is ice cream before me")) "I need ice cream")
'(-> (& "I don't see any ice cream") (~ "There is ice cream before me"))
'(-> (& "I see ice cream") "There is ice cream before me")
'(-> (& "I am tired") "It is bedtime")))
(setf *inputs*
(list
(list 1 "I see ice cream")
(list 2 "I have ice cream")
(list 5 "There is something orange and striped before me")
(list 8 "I don't see any ice cream" "I am hungry")
(list 9 "I have ice cream")
(list 12 "I am tired")))
(setf *reflexes*
(list
(list "There is ice cream before me" "Seize ice cream")
(list "There is a tiger before me" "Run like Hell.")
(list "I have ice cream" "Slurrp!")
(list "I need ice cream" "Beg for ice cream")
(list "It is bedtime" "ZZZZ")))
| Previous slide | Next slide | Back to first slide | View graphic version |