{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

ch07-logic - Ch 7 Logical Agents Supplemental slides for...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
Ch. 7 – Logical Agents Supplemental slides for CSE 327 Prof. Jeff Heflin
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Goal-Based Agent sensors actuators Agent Environment What the world is like now What action I should do now Goals State How the world evolves What my actions do What it will be like if I do action A From Fig. 2.13, p. 52
Background image of page 2
Knowledge-Based Agent function KB-Agent( percept ) returns an action persistent: KB , a knowledge base t , a counter, initially 0 indicating time Tell( KB , Make-Percept-Sentence( percept , t)) action  ASK( KB , Make-Action-Query( t )) Tell( KB , Make-Action-Sentence( action , t )) t t + 1 return action From Figure 7.1, p. 236
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Grammar for Propositional Logic Sentence AtomicSentence | ComplexSentence AtomicSentence True | False | Symbol Symbol P | Q | R | … ComplexSentence ( Sentence ) | [ Sentence ] | Sentence | ( Sentence Sentence ) | ( Sentence Sentence ) | ( Sentence Sentence ) | ( Sentence Sentence ) From Figure 7.7, p. 244
Background image of page 4
Checking Entailment P Q R 1: PQ 2: Q 3: QR KB: 1  2  3 P R PR F F F T T T T T F T F F T T
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}