标签：包括 条件 检测 变换 基础知识 小结 步骤 src 宽度优先搜索
确定性推理：
在人工智能中，利用知识表示方法表达完一个待求解的问题后，还需要利用其他方法来求解这个问题。从问题表示到问题的解决，有一个求解的过程，即搜索过程。在这个过程中，采用适当的搜索技术，包括各种规则、过程和算法等推理技术，力求找到问题的解答。这类问题的求解方法就包括确定性推理。
消解是一种可用于一定的子句公式的重要推理规则。子句定义为由文字的析取组成的公式。一个原子公式和原子公式的否定都叫做文字。由子句构成的集合被叫做子句集。在说明消解过程之前首先说明任一谓词演算公式可以化成一个子句集。变化过程的步骤如下：
消解推理规则：
一般来说，消解反演是要证明一个结论，而反演求解过程是解决一个是什么是问题。
规则演绎系统：
正向演绎：事实表达式的与或形变换、事实表达式的与或图表示、与或图的F规则变换
逆向演绎：目标表达式的与或形式、与或图的B规则变换、作为终止条件的事实节点的一致解图
产生式系统：
产生式系统的组成：
控制策略的作用是说明如何应用规则，通常从选择规则到执行操作分为3步：
产生式系统的推理：
非单调推理：
缺省推理：
小结：
标签：包括 条件 检测 变换 基础知识 小结 步骤 src 宽度优先搜索
原文地址：https://www.cnblogs.com/DrunkYouth/p/10702347.html
