AI · Theory

knowledge base for Wumpus World

Theory

34/215

knowledge base for Wumpus World

KB starts with rules: breeze iff a neighbour is a pit (in the standard toy). As you visit squares, you Tell facts: ~Pit(1,1), Breeze(1,2), … Inference marks some squares safe. That KB is why a logic agent beats a random walker.

Exam — write two sentences in English or PL, not a full axiom dump.

Output — idea / do / check for knowledge base for Wumpus World. Fill those three in the viva.

Exam tip

Two KB sentences for breeze/pit.

Example

# knowledge base for Wumpus World
print("idea :", "knowledge base for Wumpus World")
print("do   : one tiny example on paper")
print("check: one failure case")

Output: idea / do / check for knowledge base for Wumpus World. Fill those three in the viva.

Short notes

DefRules + visited facts.
RuleInfer safe squares.

AI · Theory

knowledge base for Wumpus World

← All stacks

Theory

34/215

knowledge base for Wumpus World

Exam — write two sentences in English or PL, not a full axiom dump.

Output — idea / do / check for knowledge base for Wumpus World. Fill those three in the viva.

Exam tip

Two KB sentences for breeze/pit.

Example

# knowledge base for Wumpus World
print("idea :", "knowledge base for Wumpus World")
print("do   : one tiny example on paper")
print("check: one failure case")

Output: idea / do / check for knowledge base for Wumpus World. Fill those three in the viva.

Short notes

DefRules + visited facts.
RuleInfer safe squares.

knowledge base for Wumpus World

Example

Short notes

Questions

knowledge base for Wumpus World

Example

Short notes

Questions