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 DocumentRight 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 DocumentRight 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
Background image of page 5

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

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

This note was uploaded on 02/29/2012 for the course CSE 327 taught by Professor Heflin during the Spring '08 term at Lehigh University .

Page1 / 7

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

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online