人工智能7课题.ppt

《人工智能7课题.ppt》由会员分享，可在线阅读，更多相关《人工智能7课题.ppt（76页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。

1、0871-503130101 三月 20231/信 息 学 院人工智能 一种现代方法 第三部分第三部分 知识和推理知识和推理命题逻辑命题逻辑谓词逻辑谓词逻辑知识表示方法知识表示方法0871-503130101 三月 20232/信 息 学 院人工智能 一种现代方法第七章第七章 逻辑智能体逻辑智能体7.1 7.1 基于知识的智能体基于知识的智能体 7.2 7.2 wumpuswumpus世界世界7.3 7.3 逻辑逻辑7.4 7.4 命题逻辑命题逻辑7.5 7.5 命题逻辑的推理模式命题逻辑的推理模式7.6 7.6 基于命题逻辑的智能体基于命题逻辑的智能体0871-503130101 三月 20

2、233/信 息 学 院人工智能 一种现代方法基于知识的智能体基于知识的智能体知识库知识库(Knowledge base，KB)：语句的集合：语句的集合TELL：将新语句添加到知识库，：将新语句添加到知识库，告诉知识库感知的信息告诉知识库感知的信息 记录选择的行动记录选择的行动ASK：查询知识库，以获得应该执行的行动：查询知识库，以获得应该执行的行动0871-503130101 三月 20234/信 息 学 院人工智能 一种现代方法WumpusWumpus世界世界性能度量：性能度量：金子金子+1000，死亡，死亡-1000每次行动每次行动-1，用掉箭，用掉箭-10环境：环境：4*4网格，金子、陷

3、阱、网格，金子、陷阱、wumpus传感器：传感器：Stench,Breeze,Glitter,Bump,Scream执行器：向前移动，左、右转执行器：向前移动，左、右转90度，度，Grab，shoot，部分可观察、确定性的、部分可观察、确定性的、延续式的、静态的、离散延续式的、静态的、离散的、单智能体环境。的、单智能体环境。0871-503130101 三月 20235/信 息 学 院人工智能 一种现代方法None,None,None,None,None0871-503130101 三月 20236/信 息 学 院人工智能 一种现代方法0871-503130101 三月 20237/信 息 学

4、 院人工智能 一种现代方法None,Breeze,None,None,None0871-503130101 三月 20238/信 息 学 院人工智能 一种现代方法0871-503130101 三月 20239/信 息 学 院人工智能 一种现代方法Stench,None,None,None,None0871-503130101 三月 202310/信 息 学 院人工智能 一种现代方法0871-503130101 三月 202311/信 息 学 院人工智能 一种现代方法None,None,None,None,None0871-503130101 三月 202312/信 息 学 院人工智能 一种现代

5、方法Stench,Breeze,Glitter,None,None0871-503130101 三月 202313/信 息 学 院人工智能 一种现代方法逻辑逻辑逻辑的历史逻辑的历史Aristotle：逻辑学：逻辑学Leibnitz：数理逻辑：数理逻辑Gottlob frege:一阶谓词演算系统，一阶谓词演算系统，符号论符号论(19世纪世纪)20世纪世纪30年代，数理逻辑广泛发展年代，数理逻辑广泛发展0871-503130101 三月 202314/信 息 学 院人工智能 一种现代方法逻辑系统逻辑系统一个逻辑系统是定义语言和它的含义的方法。一个逻辑系统是定义语言和它的含义的方法。逻辑符号集合：在

6、所有该逻辑的逻辑理论中均出现的符号逻辑符号集合：在所有该逻辑的逻辑理论中均出现的符号非逻辑符号集合：不同的逻辑理论中出现的不同的符号非逻辑符号集合：不同的逻辑理论中出现的不同的符号语句规则：定义什么样的符号串是有意义的语句规则：定义什么样的符号串是有意义的语义规则：定义符号串的语义语义规则：定义符号串的语义推理规则、公理和证明推理规则、公理和证明0871-503130101 三月 202315/信 息 学 院人工智能 一种现代方法逻辑和程序语言的对比逻辑和程序语言的对比逻辑系统逻辑系统程序语言程序语言逻辑符号逻辑符号保留字或符号保留字或符号非逻辑符号非逻辑符号用户自定义的符号用户自定义的符号(

7、变量名，变量名，函数名等函数名等)语句规则语句规则构造一个程序的语句规则构造一个程序的语句规则语义规则语义规则定义程序做什么的规则定义程序做什么的规则推理规则、公理和证明推理规则、公理和证明无无0871-503130101 三月 202316/信 息 学 院人工智能 一种现代方法语义语义x+2 y 在在x=7,y=1的世界中为真的世界中为真x+2 y 在在x=0,y=6的世界中为假的世界中为假可能世界可能世界 模型模型m是是的一个模型，表示的一个模型，表示语句句在模型在模型m m中中为真真0871-503130101 三月 202317/信 息 学 院人工智能 一种现代方法逻辑推理逻辑推理-蕴

8、含关系（蕴含关系（entailmententailment），当且当且仅当在当在为真的模型中，真的模型中，也也为真真 （当（当为真，真，必定必定为真）真）即即的真的真值包含于包含于的真的真值中中例如：例如：x+y=4 蕴含蕴含 4=x+yKB KB 一个语句逻辑上跟随另一个语句而出现一个语句逻辑上跟随另一个语句而出现0871-503130101 三月 202318/信 息 学 院人工智能 一种现代方法模型检验模型检验3个方格中的每个可能包含或不包含陷阱，个方格中的每个可能包含或不包含陷阱，则存在则存在8个可能的模型个可能的模型0871-503130101 三月 202319/信 息 学 院人工

9、智能 一种现代方法与智能体所知内容相矛盾的模型中，与智能体所知内容相矛盾的模型中，KB为假。为假。1：1,2无陷阱，无陷阱，2：2,2无陷阱无陷阱模型检验模型检验 根据根据1,1无微风，则在任意无微风，则在任意1,2有陷阱的模型中，有陷阱的模型中，KB为假为假仅仅3个模型使得个模型使得KB为真。为真。0871-503130101 三月 202320/信 息 学 院人工智能 一种现代方法1：1,2无陷阱无陷阱KB 1模型检验模型检验0871-503130101 三月 202321/信 息 学 院人工智能 一种现代方法KB 22：2,2无陷阱无陷阱模型检验模型检验模型检验模型检验:枚举出所有可能的

10、模型用于检验在枚举出所有可能的模型用于检验在KB中为真的所中为真的所有模型中有模型中为真。为真。0871-503130101 三月 202322/信 息 学 院人工智能 一种现代方法推理的可靠性和完备性推理的可靠性和完备性KB i：通过推理算法通过推理算法i从从KB中导出，中导出，推理算法推理算法i从从KB中导出中导出 推理算法推理算法i是可靠的：如果是可靠的：如果KB i，则则KB 推理算法推理算法i是完备的：如果是完备的：如果 KB，则则KB i 0871-503130101 三月 202323/信 息 学 院人工智能 一种现代方法命题逻辑命题逻辑 命题：能够分辨真假的陈述句。命题：能够分

11、辨真假的陈述句。例如：例如：1+1=2 雪是绿色的雪是绿色的 昆明是云南的省会昆明是云南的省会 快点走吧快点走吧!到哪去？到哪去？一个原子命题可以用字母表示一个原子命题可以用字母表示(命题符号命题符号)。命题逻辑是由命题符号和逻辑连接符组成。命题逻辑是由命题符号和逻辑连接符组成。原子命题：一个命题，且是不能再进一步分解成更简单语句。是原子命题：一个命题，且是不能再进一步分解成更简单语句。是命题的基本单位。命题的基本单位。0871-503130101 三月 202324/信 息 学 院人工智能 一种现代方法逻辑连接符逻辑连接符合取式：合取式：p与与q，记为，记为pq析取式：析取式：p或或q，记为

12、，记为p q蕴含式：如果蕴含式：如果p则则q，记为，记为p q等价式：等价式：p当且仅当当且仅当q，记为，记为p q否定式：非，否定式：非，p优先级：优先级：，0871-503130101 三月 202325/信 息 学 院人工智能 一种现代方法命题表示命题表示将陈述句转化为命题公式：将陈述句转化为命题公式：例如：设例如：设“下雨下雨”为为p，“骑车上班骑车上班”为为q1.“只要不下雨，我就骑自行车上班只要不下雨，我就骑自行车上班”。p是是q的充分条件，可得命题公式：的充分条件，可得命题公式：p q2.“只有不下雨，我才骑自行车上班只有不下雨，我才骑自行车上班”。p是是q的必要条件，可得命题公

13、式：的必要条件，可得命题公式：q p3.“应届毕业生，得过国家级竞赛一等奖或全班排名第一，保应届毕业生，得过国家级竞赛一等奖或全班排名第一，保送研究生送研究生”设：设：p“应届毕业生应届毕业生”，q“保送研究生保送研究生”，r“得过国家级竞赛一等得过国家级竞赛一等奖奖”，t“全班排名第一全班排名第一”则有命题公式：则有命题公式：p（r t）q0871-503130101 三月 202326/信 息 学 院人工智能 一种现代方法True永真命题，永真命题，False永假命题永假命题析取范式：仅由有限个简单合取式组成的析取式析取范式：仅由有限个简单合取式组成的析取式 p （p q）（p q）合取范

14、式：仅由有限个简单析取式组成的合取式合取范式：仅由有限个简单析取式组成的合取式p （p q）（p q）0871-503130101 三月 202327/信 息 学 院人工智能 一种现代方法语义语义例如：某模型下，例如：某模型下，P1,2 P2,2 P3,1 假假真真假假语义定义了用于判定关于特定模型的语句真值的规则语义定义了用于判定关于特定模型的语句真值的规则 逻辑连接符的真值表：指定了复合句在其组成部分的逻辑连接符的真值表：指定了复合句在其组成部分的真值的每种可能赋值情况下的真值。真值的每种可能赋值情况下的真值。P1,2 (P2,2 P3,1)=true (true false)=true

15、true=true0871-503130101 三月 202328/信 息 学 院人工智能 一种现代方法WumpusWumpus世界的知识库世界的知识库Pi,j：在：在i,j有陷阱有陷阱Bi,j：在：在i,j有微风有微风 P1,1 B1,1B2,1陷阱使得其邻域方格有微风陷阱使得其邻域方格有微风B1,1 (P1,2 P2,1)B2,1 (P1,1 P2,2 P3,1)0871-503130101 三月 202329/信 息 学 院人工智能 一种现代方法推理的基本概念推理的基本概念推理：从已知事实出发，运用已掌握的知识，推导出推理：从已知事实出发，运用已掌握的知识，推导出其中蕴含的事实性结论或归

16、纳出某些新的结论的过程。其中蕴含的事实性结论或归纳出某些新的结论的过程。推理所用的事实：初始证据；中间结论。推理所用的事实：初始证据；中间结论。初始初始证据证据推理机推理机结论结论知识库知识库目标是判断某些语句x，kB|=x是否成立。模型检验：枚举出模型，验证x在KB为真的每个模型中为真0871-503130101 三月 202330/信 息 学 院人工智能 一种现代方法推理真值表推理真值表1：P1,22：P2,20871-503130101 三月 202331/信 息 学 院人工智能 一种现代方法真值表枚举算法真值表枚举算法真值表枚举算法，是可靠的、完备的真值表枚举算法，是可靠的、完备的n个

17、符号，存在个符号，存在2n个模型，时间复杂度个模型，时间复杂度O(2n)用于命题逻辑的有效模型检验推理算法包括回溯用于命题逻辑的有效模型检验推理算法包括回溯(DPLL算算法法)和局部搜索方法（和局部搜索方法（WALKSAT算法）。算法）。0871-503130101 三月 202332/信 息 学 院人工智能 一种现代方法推理方法推理方法演绎推理：从已知的一般性知识出发，推理出适合于某些演绎推理：从已知的一般性知识出发，推理出适合于某些个别情况的结论的过程。个别情况的结论的过程。归纳推理：从大量的特殊事例出发，归纳出一般性结论的归纳推理：从大量的特殊事例出发，归纳出一般性结论的推理过程。推理过

18、程。默认推理：在知识不完全的情况下假设某些条件已经具备默认推理：在知识不完全的情况下假设某些条件已经具备所进行的推理。所进行的推理。0871-503130101 三月 202333/信 息 学 院人工智能 一种现代方法推理的不确定性及其单调性推理的不确定性及其单调性确定性推理：推理所用的证据、知识及结论都是可以精确表示确定性推理：推理所用的证据、知识及结论都是可以精确表示的，其真值不为真就为假，不会有第三种情况出现。的，其真值不为真就为假，不会有第三种情况出现。不确定性推理：推理所用的证据、知识及结论都是不确定的，不确定性推理：推理所用的证据、知识及结论都是不确定的，都是不可以精确表示的，其真

19、值位于真和假之间。都是不可以精确表示的，其真值位于真和假之间。单调性推理：由于新知识的加入和使用，使推理所得到的结论单调性推理：由于新知识的加入和使用，使推理所得到的结论会越来越接近目标。会越来越接近目标。非单调性推理：推理过程中某些新知识的加入和使用，不但没非单调性推理：推理过程中某些新知识的加入和使用，不但没有加强已经推出的结论，反而会否定原来已推出的结论。有加强已经推出的结论，反而会否定原来已推出的结论。0871-503130101 三月 202334/信 息 学 院人工智能 一种现代方法交换律：交换律：pq qp pq q p 结合律结合律：(pq)r r p (qr r)(p q)r

20、 r p (q r r)分配率：分配率：p(q r r)(p q)(p r r)p(q r r)(p q)(p r r)基本等值式：基本等值式：，当且仅当，当且仅当 且且 0871-503130101 三月 202335/信 息 学 院人工智能 一种现代方法摩根律：摩根律：(pq)p q (pq)p q 吸收律：吸收律：p(pq)p p(pq)p同一律：同一律：p 0 p p11 p蕴含等值式蕴含等值式：p q p q（蕴含消去）（蕴含消去）假言易位式：假言易位式：p q q p（逆否命题）（逆否命题）双向蕴含消去：双向蕴含消去：pq(p q)(q p)基本等值式：基本等值式：0871-503

21、130101 三月 202336/信 息 学 院人工智能 一种现代方法合法性和可满足性合法性和可满足性例如：例如：True，A A,A A,(A (A B)B若若至少有一个成真赋值，则称至少有一个成真赋值，则称为可满足的为可满足的e.g.,A B,C若若无成真赋值，则称无成真赋值，则称为不可满足的，称矛盾式或永假式，为不可满足的，称矛盾式或永假式，例如：例如：AA若语句若语句无成假赋值，则称无成假赋值，则称是合法的，称重言是合法的，称重言式或永真式，式或永真式，0871-503130101 三月 202337/信 息 学 院人工智能 一种现代方法是合法的，当且仅当是合法的，当且仅当 是不可满足

22、的是不可满足的是可满足的，当且仅当是可满足的，当且仅当 是不合法的是不合法的反证法（归谬）：反证法（归谬）：KB 当且仅当当且仅当(KB)是不可满足的是不可满足的0871-503130101 三月 202338/信 息 学 院人工智能 一种现代方法推理规则推理规则 逻辑等价逻辑等价分离规则：分离规则：,例如，已知例如，已知（WumpusAhead WumpusAlive)shoot和和（WumpusAhead WumpusAlive)，可推导出，可推导出shoot与消去（合取式推导出任何合取子句）：与消去（合取式推导出任何合取子句）：例如：例如：WumpusAhead WumpusAlive可

23、推导出可推导出WumpusAlive0871-503130101 三月 202339/信 息 学 院人工智能 一种现代方法推理规则的应用序列推理规则的应用序列-证明证明1.双向蕴含消去：双向蕴含消去：代换为代换为()().由语句由语句(4)得：得：(B1,1 (P1,2 P2,1)(P1,2 P2,1)B1,1)-(6)2.语句（语句（6）与消去：）与消去：(P1,2 P2,1)B1,1)-(7)语句语句(7)再根据再根据 （逆否命题）（逆否命题）得：得：(B1,1 (P1,2 P2,1)-（8）3.由语句（由语句（8）和（）和（2）根据分离规则得：）根据分离规则得：(P1,2 P2,1)-(

24、9)4.根据摩根律：根据摩根律：P1,2 P2,1 -（10）（1）P1,1（2）B1,1（3）B2,1（4）B1,1 (P1,2 P2,1)（5）B2,1 (P1,1 P2,2 P3,1)0871-503130101 三月 202340/信 息 学 院人工智能 一种现代方法归结归结A B反证法：证明反证法：证明A B是矛盾式（永假式）是矛盾式（永假式）建立子句集建立子句集合取范式：命题、命题或的与合取范式：命题、命题或的与例如：例如：p （p q）（p q）子句集子句集S：合取范式形式下得子命题（元素）的集合：合取范式形式下得子命题（元素）的集合例如：上述命题公式的子句集例如：上述命题公式的

25、子句集S=p,p q,p q0871-503130101 三月 202341/信 息 学 院人工智能 一种现代方法合取范式合取范式 B1,1 (P1,2 P2,1)1.消去消去：替换为替换为()().(B1,1 (P1,2 P2,1)(P1,2 P2,1)B1,1)2.消去消去：替换为替换为 .(B1,1 P1,2 P2,1)(P1,2 P2,1)B1,1)3.根据摩根律移入根据摩根律移入：(B1,1 P1,2 P2,1)(P1,2 P2,1)B1,1)4.根据分配率根据分配率:(B1,1 P1,2 P2,1)(P1,2 B1,1)(P2,1 B1,1)0871-503130101 三月 20

26、2342/信 息 学 院人工智能 一种现代方法单元归结规则单元归结规则l l1 l lk,m ml l1 l li-1 l li+1 l lk 其中其中l li and m m是互补文字是互补文字(一个文字是另一个文字的否定式一个文字是另一个文字的否定式).全归结规则全归结规则l l1 l lk,m m1 m mnl l1 l li-1 l li+1 l lk m m1 m mj-1 m mj+1 .m mn其中其中l li 和和 m mj 是互补文字是互补文字归结规则：归结规则：0871-503130101 三月 202343/信 息 学 院人工智能 一种现代方法P1,3 P2,2,P2,2

27、 P1,3归并：归并：（A B）和（）和（A B）归结）归结得到得到A A，最终简化为，最终简化为A0871-503130101 三月 202344/信 息 学 院人工智能 一种现代方法l li 真，則真，則 m mj 假假 (m m1 m mj-1 m mj+1 .m mn)真真l li 假，假，l l1 l li-1 l li+1 l lk真真归结规则的完备性：任何完备的搜索算法，只使用归结规则，归结规则的完备性：任何完备的搜索算法，只使用归结规则，就可以生成命题逻辑中被任何知识库蕴涵的任何结论。就可以生成命题逻辑中被任何知识库蕴涵的任何结论。l l1 l lk,m m1 m mnl l1

28、 l li-1 l li+1 l lk m m1 m mj-1 m mj+1 .m mn 归结规则的可靠性：归结规则的可靠性：已知已知A为真，无法用归结自动生成结论为真，无法用归结自动生成结论A B，但，但可以用归结判断可以用归结判断A B是否为真。是否为真。0871-503130101 三月 202345/信 息 学 院人工智能 一种现代方法1.将命题写成合取范式将命题写成合取范式2.求出子句集求出子句集S3.对子句集使用归结推理规则对子句集使用归结推理规则4.归结式作为新子句参加归结归结式作为新子句参加归结5.归结式为空子句，归结式为空子句，S是不可满足的（矛盾），原命题成立是不可满足的（

29、矛盾），原命题成立归结过程归结过程0871-503130101 三月 202346/信 息 学 院人工智能 一种现代方法0871-503130101 三月 202347/信 息 学 院人工智能 一种现代方法例如：证明公式（例如：证明公式（pq）（q p）证：将待证明公式转化为归结命题公式：证：将待证明公式转化为归结命题公式：（pq）(q p)将该公式转化为合取范式将该公式转化为合取范式pq p q(q p)(q p)q p（pq）(q p)(p q)q p则子句集：则子句集：p q，q，p0871-503130101 三月 202348/信 息 学 院人工智能 一种现代方法对子句集中的子句进行

30、归结：对子句集中的子句进行归结：（1）p q（2）q（3）p（4）q （1,3归结）归结）（5）空）空（2,4归结）归结）0871-503130101 三月 202349/信 息 学 院人工智能 一种现代方法KB=(B1,1 (P1,2 P2,1)B1,1 =P1,2WumpusWumpus世界的归结推理世界的归结推理(B1,1 (P1,2 P2,1)B1,1 P1,2(B1,1 P1,2 P2,1)(P1,2 B1,1)(P2,1 B1,1)B1,1 P1,2 0871-503130101 三月 202350/信 息 学 院人工智能 一种现代方法前向和反向链接前向和反向链接 霍恩子句：至多只

31、有一个正文字的文字析取式霍恩子句：至多只有一个正文字的文字析取式 (P P1,21,2 B B1,11,1)P)P2,1 2,1 P P1,21,2 P P2,12,1(B B1,11,1 P P1,21,2 P P2,12,1)每个霍恩子句都可写成一个蕴涵式：每个霍恩子句都可写成一个蕴涵式：(P P1,21,2 B B1,11,1)P P1,21,2 B B1,11,1没有正文字的霍恩子句：可写成结论为没有正文字的霍恩子句：可写成结论为FalseFalse的蕴涵式的蕴涵式例如：例如：P P1,21,2 P P2,1 2,1 （P P1,21,2 P P2,12,1)FalseFalse确定子

32、句：只有一个正文字，确定子句：只有一个正文字，例如：例如：P P2,1 2,1，断言一个事实，断言一个事实 0871-503130101 三月 202351/信 息 学 院人工智能 一种现代方法使用霍恩子句的推理可在前向链接和反向链接中进行使用霍恩子句的推理可在前向链接和反向链接中进行使用霍恩子句判定蕴涵需要的时间和数据库大小成线性使用霍恩子句判定蕴涵需要的时间和数据库大小成线性关系关系0871-503130101 三月 202352/信 息 学 院人工智能 一种现代方法前向链接前向链接 判定单个命题符号判定单个命题符号q是否被霍恩子句的知是否被霍恩子句的知识库所蕴涵：识库所蕴涵：从知识库的已

33、知事实从知识库的已知事实(正文字正文字)开始，如果蕴涵的所有开始，如果蕴涵的所有前提已知，则将其结论添加到已知事实集。直到查询前提已知，则将其结论添加到已知事实集。直到查询q被添被添加或无法进行更进一步的推理加或无法进行更进一步的推理0871-503130101 三月 202353/信 息 学 院人工智能 一种现代方法前向链接前向链接0871-503130101 三月 202354/信 息 学 院人工智能 一种现代方法前向链接前向链接0871-503130101 三月 202355/信 息 学 院人工智能 一种现代方法前向链接前向链接0871-503130101 三月 202356/信 息 学

34、 院人工智能 一种现代方法前向链接前向链接0871-503130101 三月 202357/信 息 学 院人工智能 一种现代方法前向链接前向链接0871-503130101 三月 202358/信 息 学 院人工智能 一种现代方法前向链接前向链接0871-503130101 三月 202359/信 息 学 院人工智能 一种现代方法前向链接前向链接0871-503130101 三月 202360/信 息 学 院人工智能 一种现代方法前向链接前向链接可靠的可靠的完备的完备的前向链接中每个推前向链接中每个推理本质上是分离规理本质上是分离规则的一个应用。则的一个应用。0871-503130101 三月

35、 202361/信 息 学 院人工智能 一种现代方法从查询从查询q反向进行：反向进行：查询查询q是否是已知事实，否则是否是已知事实，否则寻找知识库中能以寻找知识库中能以q为结论的蕴涵，若其中某个为结论的蕴涵，若其中某个蕴涵的所有前提都能证明为真，则蕴涵的所有前提都能证明为真，则q为真。为真。反向链接反向链接0871-503130101 三月 202362/信 息 学 院人工智能 一种现代方法反向链接反向链接0871-503130101 三月 202363/信 息 学 院人工智能 一种现代方法反向链接反向链接0871-503130101 三月 202364/信 息 学 院人工智能 一种现代方法反

36、向链接反向链接0871-503130101 三月 202365/信 息 学 院人工智能 一种现代方法反向链接反向链接0871-503130101 三月 202366/信 息 学 院人工智能 一种现代方法反向链接反向链接0871-503130101 三月 202367/信 息 学 院人工智能 一种现代方法反向链接反向链接0871-503130101 三月 202368/信 息 学 院人工智能 一种现代方法反向链接反向链接0871-503130101 三月 202369/信 息 学 院人工智能 一种现代方法反向链接反向链接0871-503130101 三月 202370/信 息 学 院人工智能 一

37、种现代方法反向链接反向链接0871-503130101 三月 202371/信 息 学 院人工智能 一种现代方法反向链接反向链接0871-503130101 三月 202372/信 息 学 院人工智能 一种现代方法前向链接和反向链接的比较前向链接和反向链接的比较前向链接是数据驱动的推理，由感知信息自动推理，无意识前向链接是数据驱动的推理，由感知信息自动推理，无意识多用于目标识别，路线决策多用于目标识别，路线决策可能产生和目标无关的中间结果可能产生和目标无关的中间结果反向链接是目标指导的推理，反向链接是目标指导的推理，适用于求解：适用于求解：“现在该做什么现在该做什么”，“钥匙在哪里钥匙在哪里”

38、一类问题一类问题耗散远小于知识库大小的线性值耗散远小于知识库大小的线性值 常将前向推理限制在生成与要用反向链接求解的查询相常将前向推理限制在生成与要用反向链接求解的查询相关的事实上。关的事实上。0871-503130101 三月 202373/信 息 学 院人工智能 一种现代方法基于命题逻辑的智能体基于命题逻辑的智能体采用推理算法和知识库的智能体采用推理算法和知识库的智能体以电路形式直接计算逻辑表达式的智能体以电路形式直接计算逻辑表达式的智能体0871-503130101 三月 202374/信 息 学 院人工智能 一种现代方法采用推理算法和知识库的智能体采用推理算法和知识库的智能体P1,1

39、W1,1 Bx,y (Px,y+1 Px,y-1 Px+1,y Px-1,y)Sx,y (Wx,y+1 Wx,y-1 Wx+1,y Wx-1,y)W1,1 W1,2 W4,4 W1,1 W1,2 W1,1 W1,3 4*4世界，64个命题符号，155个语句Agent位置，时间L11,1 FacingRight Forward L22,1Wumpus世界智能体世界智能体0871-503130101 三月 202375/信 息 学 院人工智能 一种现代方法以电路形式直接计算逻辑表达式的智能体以电路形式直接计算逻辑表达式的智能体感知信息是序列电路（门和寄存器网络）的输入感知信息是序列电路（门和寄存器

40、网络）的输入每个门实现一个逻辑连接符每个门实现一个逻辑连接符用寄存器的比特表示命题（即每个寄存器存储一个单个命用寄存器的比特表示命题（即每个寄存器存储一个单个命题的真值），并用逻辑电路的信号传播对它们进行更新。题的真值），并用逻辑电路的信号传播对它们进行更新。电路的输出对应于行动的寄存器电路的输出对应于行动的寄存器0871-503130101 三月 202376/信 息 学 院人工智能 一种现代方法 命题逻辑对于智能体内的特定任务是合理有效的，但命题逻辑对于智能体内的特定任务是合理有效的，但没有足够的表达能力来准确地处理时间、空间以及对象间关没有足够的表达能力来准确地处理时间、空间以及对象间关系的普遍模式，因而无法处理大小无界的环境。系的普遍模式，因而无法处理大小无界的环境。