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