必赢电竞平台推理的控制策略主要包括推理方向和冲突消解策略

当前位置:必赢电竞app > 必赢电竞平台 > 必赢电竞平台推理的控制策略主要包括推理方向和冲突消解策略
作者: 必赢电竞app|来源: http://www.fytxpr.com|栏目:必赢电竞平台

文章关键词:必赢电竞app,完全析取

  简单条件也可以是由若干个事实 作析取 、合取 运算把多个简单条件连接起来所构成的复合命题是结论 它同样可以是单一的命题 也可以是复合命题。对于任一复合命题 我们都可以把它规范为如下两种标准形 即析取标准形 。可以是单一命题也可以是由若干个基本命题 作合取 运算得到的复合命题。由于用规则网完全可以表示

  简单条件也可以是由若干个事实 作析取 、合取 运算把多个简单条件连接起来所构成的复合命题是结论 它同样可以是单一的命题 也可以是复合命题。对于任一复合命题 我们都可以把它规范为如下两种标准形 即析取标准形 。可以是单一命题也可以是由若干个基本命题 作合取 运算得到的复合命题。由于用规则网完全可以表示合取标准形 故在此只讨论析取标准化的处理。例 有一个产生式规则 这里 对于此复合命题对其作析取标准化处理后 其形式为 其中 。从上例可以看出不管多么复杂的复合命题确实都可以转化为析取标准形。对于析取标准形的复合命题 再经过如下分解处理 就可以变为规则 网可以表示的规则形式了。处理方法如下 计算前提条件中析取项的个数 然后把该规则拆分为 个规则 再把这 个析取项分别作为 个规则的前提条件。按照上述的处理方法 例题 中的产生式规则 就可以分解为如下三条产生式规则 经过上述析取标准化和分解处理之后产生式规则就可以转换为规则 网。必赢电竞平台算法如下 选中一个产生式规则对应于规则 网中的一个规则 产生式规则中的每个前提或结论 。对应于规则 网中的一个命题 产生式规则中前提或结论属于规则则可以用连接弧画出。若前提或结论为肯定形式 则用 画出 若前提或结论为否定形式 则用 画出。 是否还有未处理完的产生式 有则返回 结束。例有如下规则知识 八一其规则 网模型如图 所示。 规则知识的规则网表达由例 可见 无论多么复杂的规则知识都可以进行标准化和分解处理 并且可以用规则 网表示出来。在本论文中所讨论的规则 网都具有这样的特点。另外 通过引入否定弧 更加增强了规则 网对规则知识的表达能力。所以规则 网确实是知识表示的一种方法。在命题逻辑中 任何两个命题经过析取、合取之后 就构成一个复合命题 任何两个复合命题再经过若干次析取、合取之后 又成为一个复合命题。那么 在规则 网中仍然具有这样的特性 也就是说 任何一个规则 网都是由若干个综合命题组合连接在一起 其中的每个综合命题都可以代表某一方面的规则知识。换句话说若干个简单的命题连接在一起构成一个综合命题 若干个综合命题在经过若干次连接又构成一个大的综合命题 又称规则 网。比如在图 就构成一个综合命题又构成一个综合命题 这两个综合命题连接在一起 又构成 个综合命题。同样 构成一个综合命题 构成一个综合命题 也构成一个综合命题。所有这些综合命题再连接在一起就构成了一个更大的综合命题 也就成了规则 规则网的分析规则 网和产生式规则有机结合的产物因此它继承了 些分析方法。规则网的分析方法有 可达树方法 结构化方法 关联矩阵方法。可达树方法 可达树方法是将规则 网推理过程中所有可达标识用树状形式表示出来。知识系统的所有可达标识 命题的真伪属性 均可以通过可达树直观地看出。这样 知识系统中存在的冗余和矛盾等就很容易被检测出来。但可达树方法同样存在对存储空间和时间要求太大的缺点。结构化方法 规则 网的不一致性和冗余性主要是由其结构决定的 如规则等价、规则从属、冗余规则链、冗余规则环和规则矛盾等。结构化分析方法就是通过对规则 网的结构进行有效的分析来研究知识系统的性能。因为该方法是在规则 网初建或推理过程中对知识系统进行动态检测的 故它不会产生组合爆炸问题。因此是规则 网分析技术中比较实用的一种。关联矩阵方法 该方法是通过逐层找出与目标命题相连的多个规则是多个子命题输入还是单个子命题输入来组成不同的矩阵形 采用的就是这种方法但这种方法只适用于规模比较 、的规则 对于规模比较大的规则网将会产生组合爆炸问题。 规则 网的可交换性按照规则与目标命题连接方式的不同 规则 网分为可交换的规则 网和不可交换的规则 网。在给出可交换的规则 网与不可交换的规则 网定义之前 首先给出如下定义 定义 作序标的关联函数关联矩阵 叫做的肯定条件关联函数 叫做的否定条件关联函数 作序标的关联函数关联矩阵 叫做的肯定结论关联函数 叫做的否定结论关联函数 为了后面使用方便给出如下定义。定义 在集合 定义为的补运算 记为 。定义对一个规则 及给定标识对于 即规则条件满足记作 可以引发引发的结果是把 变成如下的新标识 否则的引发把标识 变成标识 ’的事实记作 ’叫做的后继标识。对于后继标识 否则可交换的规则 网定义 可交换的规则 在进行推理时无论先选择哪一条规则 其结果 都是相 称这样的规则网为可交换的规则 网。定理 在可交换的 与任一目标命题相连接的多个输入弧均属于同一种类型即同属于 。或者同属于 。证明 反证法 设有一可交换的 其初始标识为 不失一般性设与任一目标命题相连接的输入弧为 若属于。的规则与属于 的规则次序不是按照此顺序排列 也能通过调整成为这样的顺序 并且。 。的顺序进行推理规则有 网的标识为 。的顺序进行推理规则有 网的标识为 所以规则网是不可交换的 与假设矛盾。故与任一目标命题相连接的多个输入弧应同属于一种类型 即同属于 。或者同属于 。定理得证。例 其图形表示如图 所示。 可交换的规则网由上图可以看出 与命题 相连的两个连接弧同属于 在初始标识下不管先从哪一个规则先推理 结果都是一样的 故在该规则网中求解目标命题 的解与规则 的顺序是无关的所以该规则 网就是可交换的规则 网。在上图中假使与 。相连的两个连接弧都是 则可得出同样结论。 不可交换的规则 网定义 不可交换的规则 在进行推理时如果使用规则的次序不同 其结果是不同的 则称这样的规则 网为不可交换的规则 网。定理 在不可交换的 与任一目标命题相连接的多个输入弧不属于同一种类型即分别属于 。证明反证法 设有一不可交换的 其初始标识为 不失一般性设与任一目标命题相连接的输入弧为 个命题。由定义假设有矩阵 如下按照从 。的顺序进行推理规则 网的标识为 毋运算满足交换率按照任 序进行推理 其最后结果 都是相同的所以规则 网是可交换的 与假设矛盾。故与任一目标命题相连接的多个输入弧不属于同一种类型 即分别属于 其图形表示如图所示。由图 可以看出 规则 的前集均为真这两个规则均可使用。如果先选择规则 后选择规则则推出的结果为 若先选择规则 后选择规则 则推出的结果为。显然目标命题 的解与规则的使用次序是有关的 所以该规则 网是不可交换的规则 规则网推理前面讨论了规则 网的基本概念与规则知识的表达 这样就可以把某类规则知识存储到计算机中 但这是不够的 因为我们需要快速、准确地反映当前系统的状态 当事实库中有新的事实加入时 知识系统能及时地做出判断。所以有必要研究一下规则 网的推理策略。 推理及推理方式人们在对各种事物进行分析、综合并最后作出决策时 通常是从已知的事实出发 通过运用已掌握的知识 找出其中蕴含的事实 或归纳出新的事实 这一过程通常称为推理。严格地说 所谓推理就是按某种策略由已知判断推出另一判断的思维过程。前面已经介绍过 知识分为确定性与不确定性两种 与此相对 推理方式也可分为两种即确定性推理和非确定性推理。所谓确定性推理是指推理时所用的知识都是确定的 推出的结论也是确定的 其真值或者为真 或者为假 没有第三种情况出现。本章将要解决的就是确定性推理。所谓非确定性推理是指推理时所用的知识不都是确定的 推出的结论也不完全是确定的 其真值位于真与假之间 命题的外延模糊不清。这里非确定性推理更具有一般性。因为现实世晁中的事物和现象大都是不严格、不确定的 许多概念是模糊的 没有明确的类属界限 很难用精确的数学模型来表示与处理。大量未解决的重要问题往往需要运用专家的经验 而这样的问题是难以建立精确的数学模型的。另外 从人类思维活动的特征来看 人们经常是在知识不完全、不确定的情况下进行多方位的思考及推理的。这就是近年来人工智能把不确定性知识的表示与推理作为重要研究课题的原因。这就是第三章将要解决的问题。 推理的控制策略推理过程是一个思维过程即求解问题的过程。问题求解的质量与效率不仅依赖于所采用的求解方法 而且还依赖于求解问题的策略 即推理的控制策略。推理的控制策略主要包括推理方向和冲突消解策略。 规则 网的推理方向规则 网对规则知识系统求解某一个问题时 如果按照规则使用的方式或者说按推理方向来划分的话 有基于局部信息的推理 正向推理 和基于结论的推理 逆向推理 和基于规则的推理三种情况。 基于局部信息的推理 基于局部信息的推理就是沿着原命题的方向 由初始命题朝着目标命题方向进行推理。基于局部信息推理的基本思想是 从用户提供的初始已知命题出发 在规则库中找出当前可使用的规则 构成规则集 然后按照冲突消解策略从规则集中选出一条规则进行顺序推理 不可交换的规 或进行并行推理可交换的规贝 并将推出的新命题加入到命题集中作为下一步推理的已知命题在此之后再在规则集中选取可用的规则进行推理 如此重复进行这一过程 直到求得了所要求的解或者规则集中再没有可用的规则为止。其推理过程可用如下算法描述 是否相等若相等 否则替换并执行下一步。 判断是否满足公式 若不满足 判断该网是否为可交换的规贝 则执行否则执行下一步。 引发规 计算 并返回 按照某种冲突消解策略从中选择规则 引发 然后计算 并返回 结束。如果经过上述推理不能得到一个稳定的结果 还可以判断是否呈周期性交化 也称稳定 也即判断是否 为整数若相等 则呈周期性变化 否则不是 也即不稳定。推理步骤与上述

网友评论

我的2016年度评论盘点
还没有评论,快来抢沙发吧!