人工智能识别系统教程解读.doc

江南大学 基于规则的演绎推理技术研究 专业： 计算机科学与技术 班级： 计科1106班 学号： 0304110620 时间： 2014年5月 基于规则的演绎推理技术研究 摘要：java语言实现方法。该方法把规则的结构和推理定义成规则类,把具体的规则定义成规则类的实体,用这些规则实体构建动态链表从而组成知识库,推理的过程由知识库中各规则实体提供的方法完成。通过设计的实例表明,该方法是简单高效的。 关键词： 1 引言 生物数以万计，生活在这个复杂的环境中，有许许多多的生物我们熟知的因此，我们需要有一个系统识别出各种不同的生物，也因此，需要制定许多规则，用生物所具有的规则属性，推出该生物是动物还是植物是什么什么植物的过程都要基于规则的演绎推理，下面就具体的介绍基于规则的演绎推理，以及相应的实例 2 基于规则的演绎推理介绍 所谓演绎推理，就是从一般性的前提出发，通过推导即“演绎”，得出具体陈述或个别结论的过程。演绎推理的逻辑形式对于理性的重要意义在于，它对人的思维保持严密性、一贯性有着不可替代的校正作用。 演绎推理是从一般到特殊的推理； 它是前提蕴涵结论的推理； 它是前提和结论之间具有必然联系的推理。 演绎推理就是前提与结论之间具有充分条件或充分必要条件联系的必然性推理。 演绎推理的逻辑形式对于理性的重要意义在于，它对人的思维保持严密性、一贯性有着不可替代的校正作用。这是因为演绎推理保证推理有效的根据并不在于它的内容，而在于它的形式。演绎推理的最典型、最重要的应用，通常存在于逻辑和数学证明中。 3 于规则的演绎推理3.1正向推理 正向演绎推理，它是从已知事实出发，反复尝试所有可利用的规则（F规则）进行演绎推理，直至得到某个目标公式的一个终止条件为止。 表达式转化为标准的与/或形的步骤： ① 利用等价式P→Q与(P∨Q消去蕴含符“→” ② 把否定符号(”移到每个谓词符号的前面 ③ 变量标准化，即重新命名变量，使不同量词约束变量有不同的名字 引入Skolem ⑤ 将公式化为前束形 略去全称量词() ⑦ 重新命名变量，使同一变量不出现在不同的主要合取式中 例如: ((x) ((y){Q(y,x)∧([(R(y)∨P(y))∧S(x, y)]} 转化为标准的与/或形: Q(z,A)∧{[( R(y)∧( P(y)]∨( S(A，y)} 事实表达式及其与或图表示 在与/或图中，结点表示事实表达式及其子表达式； 根结点表示整个表达式，叶结点表示表达式中的单个文字； 对于一个表示析取表达式（E1∨E2∨…En）的结点，用一个n连接符（图中的半圆弧）连接它的n个子表达式结点； 对于一个表示合取表达式（E1∧E2∧…En）的结点，则直接用单线连接符与它的n个子表达式结点相连； 一重要性质：由变换表达式得到的一组子句则可从与或图中读出，每子句相当于与/或图的一个解图，每个子句是由叶结点组成的公式； 从上上页可以读出上例表达式的三个子句： Q(z,A) ( S(A，y)∨( R(y) ( S(A，y)∨( P(y) 这三个子句正是原表达式化成的子句集(与/或图可看成是一组子句的一个简洁的表达形式 。 （2）F规则的表示形式 基于规则的正向演绎推理中，通常要求F规则具有以下形式： L → W 具体要求如下： ① L是单文字，W是任意的与或形表达式； ② L和W中的所有变量都是全称量词量化的，默认的全称量词作用于整个蕴含式； ③ 各条规则的变量各不相同，而且规则中的变量与事实表达式中的变量也不相同 。 将F规则的左部限制为单文字，是因为在进行演绎推理时，要用F规则作用于表示事实的与/或图，而该与/或图的叶结点都是单文字，这样就可用F规则的左部与叶结点进行匹配，大大简化了规则的应用过程 。 （3）目标公式的表示形式 在基于规则的正向演绎推理中，要求目标公式用子句表示，否则就要化成子句形式。 于规则的正向演绎推理应用F规则作用于表示事实的与/或图，改变与/或图的结构，从而产生新的事实，直至推出了目标公式，则推理就成功结束。 。 。 3.2反响推理 于规则的反向演绎推理是从目标表达式出发，通过反向运用规则（B规则）进行演绎推理，直到得到包含已知事实的终止条件为止 （1）目标表达式及其与/或图表示 在反向演绎推理中，要求将目标表达式转化成无蕴含符“→”的与或形式，并用与/或图表示，其转化过程与正向演绎