18 and 25 Feb 2004
CS 3243 - Logical Agents
23
Wumpus models
n
KB
= wumpus-world rules + observations
n
α
2
= "[2,2] is safe",
KB
╞ α
2
