H-逻辑智能体II-人工智能(AI).ppt

《H-逻辑智能体II-人工智能(AI).ppt》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、命题逻辑及其推理APropostionallogic&Propositionalinference(一种最简单的逻辑，可以表示知识，并进行推理)R&N:Chap.7.4-7.7基于知识智能体怪兽世界逻辑总论－－模型和蕴涵命题逻辑等价，合法性，可满足性模型检验（推理方法之一）推理规则（推理方法之二）归结（推理方法之三）命题逻辑：语法命题逻辑是最简单的逻辑–描述基本的思想命题符号P1,P2等是语句IfSisasentence,Sisasentence(否定negation)IfS1andS2aresente

2、nces,S1S2isasentence(合取conjunction)IfS1andS2aresentences,S1S2isasentence(析取disjunction)IfS1andS2aresentences,S1S2isasentence(蕴涵implication)IfS1andS2aresentences,S1S2isasentence(当且仅当biconditional)命题逻辑：语义每一个模型对应着每一个命题符号取true或false例如P1,2P2,2P3,1falsetruef

3、alse于是这样所有23＝8个模型可被枚举出来以下规则用于计算语句真值:SistrueiffSisfalseS1S2istrueiffS1istrueandS2istrueS1S2istrueiffS1istrueorS2istrueS1S2istrueiffS1isfalseorS2istrue即isfalseiffS1istrueandS2isfalseS1S2istrueiffS1S2istrueandS2S1istrue逻辑等价两个语句等价即α≡ß，当且仅当α╞β且β╞α合法和可满足一

4、个语句是合法（永真的）的，若其在所有的模型中均为真e.g.,True,AA,AA,(A(AB))B演绎定理DeductionTheorem:KB╞α当且仅当(KBα)是合法的一个语句是可满足的，若其在某些模型中为真e.g.,AB,C一个语句是不可满足的，若不存在其为真的模型e.g.,AA不可满足性用于推理:KB╞α当前仅当(KBα)是不可满足的推理（证明）方法I模型检验II应用推理规则由旧的语句合法（可靠）的生成新的语句证明=一系列推理规则的应用通常需要把语句转化为某种规格化形式（

5、范式）1化为霍恩范式则可使用前向链或反向链进行证明2化为合取范式则可以采用归结方法进行证明前向链和反向链Horn范式(受限的)KB=Horn子句的合取Horn子句=命题符号;或(命题符号的合取)命题符号E.g.,C(BA)(CDB)分离规则ModusPonens(应用于Horn范式):对于霍恩知识库KB是完备的α1,…,αn,α1…αnββ对由Horn子句构成的Horn知识库的推理可以通过前向链和反向链进行前向链思想:应用那些其前提能在KB中得到满足的规则以得到新的结论将产生的新结论加入到

6、KB中，直到查询的得到解答对于Horn知识库KB，前向链推理是可靠且完备的前向链算法前向链例子前向链例子前向链例子前向链例子前向链例子前向链例子前向链例子前向链例子思想:由查询q往回走:要由BC（反向链，BackwardChaining）证明q,检查q是否已知，或由BC证明结论为q的规则的前提是否都得到了满足反向链反向链例子反向链例子反向链例子反向链例子反向链例子反向链例子反向链例子反向链例子反向链例子反向链例子FC是数据驱动（data-driven）,自动的，无意识的处理例如,目标识别,路径决策可能会做学

7、多与目标无关的工作BC是目标驱动（goal-driven）,适于问题求解例如,钥匙在哪？BC的复杂度远小于KB的大小前向链vs.反向链合取范式ConjunctiveNormalForm(CNF)文字析取式的合取形式（conjunctionofdisjunctionsofliteralsclauses）E.g.,(AB)(BCD)归结推理规则(针对CNF):l1…lk,m1…mnl1…li-1li+1…lkm1…mj-1mj+1...mn式中li和mj为互补文字.E

8、.g.,P2,2P3,1,P2,2P3,1针对命题逻辑的归结是可靠和完备的推理过程归结B1,1(P1,2P2,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P