Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Stable model semantics wikipedia , lookup
Time series wikipedia , lookup
Agent (The Matrix) wikipedia , lookup
Agent-based model in biology wikipedia , lookup
Mathematical model wikipedia , lookup
Agent-based model wikipedia , lookup
Knowledge representation and reasoning wikipedia , lookup
Fuzzy logic wikipedia , lookup
History of artificial intelligence wikipedia , lookup
CSE 4705 Artificial Intelligence Jinbo Bi Department of Computer Science & Engineering http://www.engr.uconn.edu/~jinbo 1 Logic Agents - the forth component AIMA – Chapter 7 2 Outline Knowledge-based agents Wumpus world An introduction to logic Inference, validity, equivalence and satifiability Propositional logic 3 Knowledge-based agents 4 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/puzzlegames/Hunt-The-Wumpus-Flash-Game.htm PEAS description Our PEAS description Wumpus world characteristics Exploring the Wumpus world Exploring the Wumpus world Logic 14 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? 33