P. 1
m07-logic

m07-logic

Ratings: (0)|Views: 27|Likes:
Published by chakravarthyashok

More info:

Published by: chakravarthyashok on Apr 21, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PPT, PDF, TXT or read online from Scribd
See more
See less

10/25/2011

pdf

text

original

 
Logical Agents
Chapter 7
 
Ou
tline
Knowledge-based agentsW
um
p
u
s worldLogic in general -
m
odels and entail
m
entPropositional (Boolean) logicEq
u
ivalence, validity, satisfiabilityInference
u
les and theore
m
proving
 ±forward chaining ±backward chaining ±resol
u
tion ±
 
Knowledge bases
Knowledge base = set osentencesin afor 
m
allang
u
ageDeclarativeapproach to b
u
ilding an agent (or other syste
m
):
± Tell
it what it needs to know ±
Then it can
Ask
itself what to do -answers sho
u
ld follow fro
m
theKBAgents can be viewed at theknowledge level
i.e., what they know, regardless of how i
m
ple
m
ented
O
r at thei
m
ple
m
entation level
 ±i.e., data st
u
ct
u
res in KB and algorith
m
s that
m
anip
u
late the
m
 ±

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->