第四章 人工智能的决策支持和智能决策支持系统.pptVIP

 第 4 章 人工智能的决策支持和 智能决策支持系统 （1） 第4章 目录 （1）部分内容 4.1 人工智能基本原理 4.1.1 逻辑推理 4.1.2 知识推理 4.1.3 搜索技术 2.推理的种类 1）演绎推理：从一般现象到个别（特殊）现象的推理。 2）归纳推理：从个别（特殊）现象到一般现象的推理。 3）类比推理：从个别（特殊）现象到个别（特殊）现象的推理。 1）演绎推理 专家系统的研究基本上属于演绎推理范畴。演绎推理的核心是假言推理。 假言推理：以假言判断为前提，对该假言判断的前件或后件的推理。以下是等价的推理式： 1）假言推理： p?q，p┝ q 2）三段论推理 ： p?q，q?r┝ p?r 3）假言易位推理（拒取式）：p?q，?q┝ ?p 2）归纳推理 （1）数学归纳法 这种推导是严格的，结论是确实可靠的。 （2）枚举归纳推理 S1是P ，S2是P ， …… Sn是P S1……Sn是S类事物中的部分分子，没有相反事例。 所以，S类事物都是P。 枚举归纳推理的结论是或然的。 3）类比推理 它是由两个（或两类）事物在某些属性上相同，进而推断它们在另一个属性上也可能相同的推理。 A事物有abcd属性B事物有abc属性（或a,b,c相似属性）所以， B事物也可能有d属性（或d相似属性） 类比推理的结论带有或然性。 3. 总结 1）演绎推理的结论没有超出已知的知识范围。而归纳推理和类比推理的结论超出已知的知识范围。 演绎推理只能解释一般规律中的个别现象。而归纳推理和类比推理创造了新的知识，使科学得到新发展，是一种创造思维方式。 2）演绎推理中由于前提和结论有必然联系，只要前提为真，结论一定为真。 归纳推理和类比推理中前提和结论，不能保证有必然联系，具有或然性。这样推理的结论未必是可靠的。需要经过严格的验证和证明，使之形成新的理论。 4.1.2知识推理 4.1.2.1数理逻辑的知识推理 4.1.2.2产生式规则的推理 1.命题逻辑的公式有： 1、析取交换律：p∨q q∨p 2、合取交换律：p∧q q∧p 3、析取结合律:（p∨q）∨r p∨（q∨r） 4、合取结合律:（p∧q）∧r p∧（q∧r） 5、∨对∧的分配律： p∨ (q∧r） (p∨q)∧(p∨r) 6、 ∧对∨的分配律： p∧（q∨r） (p∧q)∨(p∧r) 7、双重否定：p ~~p 8、德摩根律1： ~( p∨q) ~p∧~q 9、德摩根律2： ~( p∧q) ~p∨~q 10、蕴含转换1: (p q) ~p∨q 11、蕴含转换2: (p q) (~ q ~ p) 12、等价转换1: (p q) (p q)∧ (q p) 13、等价转换2: (p q) (~ p ~ q) 14、∧转∨： (p∧q) ~ (~ p∨~ q) 定义：公式的标准形式称为范式。 有两种基本范式：合取范式、析取范式。 1)、合取范式:它是一些简单析取式的合取式，即该合取式中，其子命题都是简单析取式。如： （A） (～p∨q)∧(p∨～q) （B） (p∨q∨r)∧(p∨～q∨r)∧(p∨～q∨～z) 2)、析取范式：它是一些简单合取式的析取式。即该析取式中，其子命题都是简单合取式。 一般形式：a1 ∨ a2 ∨ … ∨ ax 其中每个 ai 是简单合取。如： （A）: (p∧q) ∨ (p∧r) （B）: （p∧～p∧q）∨（p∧q∧r∧～r） 2. 命题逻辑归结原理1： 把公式转换成子句型 归结原理使用反证法来证明语句。即归结是从结 论的非，导出已知语句的矛盾。 利用命题逻辑公式和谓词逻辑公式，把逻辑表达式化成合取范式、前束