Professional Documents
Culture Documents
Chapt7 7.4+logical Agents
Chapt7 7.4+logical Agents
Chapter 7
(based on slides from Stuart
Russell and Hwee Tou Ng)
Logical Agents
• Knowledge-based agents – agents that
have an explicit representation of
knowledge that can be reasoned with.
• Deterministic
• Episodic
• Static
• Discrete
• Single-agent?
Wumpus world characterization
• Fully Observable No – only local perception
• Deterministic
• Episodic
• Static
• Discrete
• Single-agent?
Wumpus world characterization
• Fully Observable No – only local perception
• Episodic
• Static
• Discrete
• Single-agent?
Wumpus world characterization
• Fully Observable No – only local perception
• Static
• Discrete
• Single-agent?
Wumpus world characterization
• Fully Observable No – only local perception
• Discrete
• Single-agent?
Wumpus world characterization
• Fully Observable No – only local perception
• Discrete Yes
• Single-agent?
Wumpus world characterization
• Fully Observable No – only local perception
• Discrete Yes
Initial situation:
In each case where the agent draws a conclusion from the available
Information, that conclusion is guaranteed to be correct if the available
Information is correct…
3 Boolean choices 8
possible models
Wumpus possible models
Wumpus models
P1,1
B1,1
B2,1
– Model checking
• truth table enumeration (always exponential in n)
• improved backtracking, e.g., Davis--Putnam-Logemann-Loveland
(DPLL)
• heuristic search in model space (sound but incomplete)
e.g., min-conflicts-like hill-climbing algorithms
Conversion to CNF
B1,1 (P1,2 P2,1)
1. Eliminate , replacing α β with (α β)(β α).
(B1,1 (P1,2 P2,1)) ((P1,2 P2,1) B1,1)