AI Exam 2 Open book

1
AI Exam 2Open book open notes

• Due Wednesday,
• December 19 2007
• _at_6pm

2
CSPSudoku
10pts
9
7
5
1
8
8
2
2
1
4
3
9
2
5
7
4
2
3
9
1
9
8
4
8
5
6
7
1
5
8
2
6
1
4
3
CSPSudoku
10pts

• Give variables
• Give domain values
• Give examples for each type of contraints
• unary constraints
• binary constraints
• higher-order constraints

4
CSPSudoku
10pts

• Draw constraint graph for sudoku problem

5
CSPSudoku
14pts

• Define backtracking search
• Define most constrained variable
• Define most constraining variable
• Define least constraining value
• Define forward checking
• Define constraint propagation
• Define arc consistency

6
WUMPUS WORLD
7
WUMPUS WORLD
16pts

• Write wumpus world sentences for each square

8
WUMPUS WORLD
6pts

• Define forward chaining
• Define backward chaining

9
First-Order Logic
10pts

• Create knowledgebase using FOL for each sentence
• Squares adjacent to wumpus are smelly
• Squares adjacent to pit are breezy
• Glitter iff gold is in the same square
• Grabbing picks up gold if in same square
• Releasing drops the gold in same square

10
Inference
8pts

• Define Universal instantiation
• Define Existential instantiation
• Define Unification
• Define Generalized Modus Ponens

11
Inference

• Wumpus KB
• A mosnter is a wumpus who guards treasure from a
  hunter
  
• Wumpus(x) ? Treasure(y) ? Guards(x,y,z) ?
  Hunter(z) ? Monster(x)
  
• Larry seeks gold, i.e., ?x Seeks(Larry,x) ?
  Gold(x)
  
• Seeks(Larry,G1) and Gold(G1)
• Harry guards all treasure from Larry
• Treasure(x) ? Seeks(Larry,x) ? Guards(Harry,x,Larr
  y)
  
• Gold is treasure
• Gold(x) ? Treasure(x)
• An enemy of a wumpus is a hunter
• Enemy(x,Wumpus) ? Hunter(x)
• Harry is a Wumpus
• Wumpus(Harry)
• Larry is an enemy of Wumpus
• Enemy(Larry,Wumpus)

12
Inference
8pts

• Draw backward chaining proof for KB

13
Inference
8pts

• Draw forward chaining proof for KB