18 and 25 Feb 2004
CS 3243 - Logical Agents
20
Wumpus models
nKB = wumpus-world rules + observations