CSE 4705 Artificial Intelligence Jinbo Bi Department of Computer Science & Engineering http://www.engr.uconn.edu/~jinbo
Logic Agents - the forth component AIMA – Chapter 7
Knowledge-based agents Wumpus world An introduction to logic Outline Knowledge-based agents Wumpus world An introduction to logic Inference, validity, equivalence and satifiability Propositional logic
Knowledge-based agents
Logical agents
The knowledge base
Generic KB-based agent pseudocode
Running example: the Wumpus world A hunt the Wumpus flash version: http://www.flashrolls.com/puzzle-games/Hunt-The-Wumpus-Flash-Game.htm
PEAS description
Our PEAS description
Wumpus world characteristics
Exploring the Wumpus world
Exploring the Wumpus world
Logic
What is a logic
Propositional logic Propositional logic is the simplest logic – illustrates basic ideas Inference in propositional logic is also tractable with reasonable constraints – there fore very useful
Propositional logic: syntax
Propositional logic: semantics
Wumpus world sentences
Models
A key semantic relation: entailment
Models II
Entailment in the Wumpus world
Wumpus models I
Wumpus models II
Deciding what to do by model checking
Deciding what to do by model checking
Truth tables for connectives
Inference procedures
Inference by enumeration
Logical equivalence
Validity and satisfiability
Questions?