Wumpus models
n
KB
= wumpus-world rules + observations
n
α
2
= "[2,2] is safe",
KB
╞ α
2
