What is the benefit? Transparency +Flexibility Knowledge Expert +Maintainability +Reliability Generality Solver +Efficiency Optimality +Availability 口卡+8·三色进分双0
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . What is the benefit?
Table of Contents Knowledge-based agents Wumpus world Logic in general一models and entailment(蕴涵 Propositional(Boolean)logic命题逻辑 Inference rules and theorem proving Forward chaining前向链接 Backward chaining反向链接 Resolution归结 4口◆4⊙t1三1=，￥9QC
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Table of Contents Knowledge-based agents Wumpus world Logic in general —models and entailment (蕴涵) Propositional (Boolean) logic 命题逻辑 Inference rules and theorem proving Forward chaining 前向链接 Backward chaining 反向链接 Resolution 归结
Knowledge bases Inference engine -domain-independent aigorithms 民nO时钟电tb0 domain-specifc coment Knowledge base(知识库)=set of sentences in a formal language 将新语句添加到知识库 Declarative approach to building an agent(or other system): TEL(告诉)it what it needs to know 查询目前所知内容 Then it can ASK(海间)itself what to do一answers should follow from the KB Agents can be viewed at the knowledge level(知识层) i.e.,what they know,regardless of how implemented Or at the implementation level(实现层) i.e.,data structures in KB and algorithms that manipulate them 口卡回·三4色，是分QC
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Knowledge bases
A simple knowledge-based agent function KB-AGENT(percept)returns an action static:KB.a knowledge base 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+1 return action O TELL→ASK→TELL 口表示语言的细节隐含于MAKE-PERCEPT-.SENTENCE和MAKE- ACTION-QUERY中 推理机制的细节隐藏于TELL和ASK中 4口◆4⊙t4三1=，￥9QC
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A simple knowledge-based agent
A simple knowledge-based agent function KB-ACENT(percept)returns an action static:KB.a knowledge base a counter.initially 0.indicating time TELL(K B,MAKE-PERCEPT-SENTENCE(perepL()) action-ASK(KB,MAKE-ACTION-QUERY()) TELL(K B.MAKE-ACTION-SENTENCE(action.() t-t+1 return action The agent must be able to: Represent states,actions,etc. 表示状态和行为 Incorporate new percepts 加入新的感知信息 Update internal representations of the world更新关于世界的状态表示 Deduce hidden properties of the world 推导关于世界的隐藏信息 Deduce appropriate actions 推导应采取的合适的行为 口卡回·三4色，是分Q0
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A simple knowledge-based agent