确定性推理

推理系统的模型要求：
用于存放知识的知识库；
一个存放事实和中间结果的数据库；
用于推理的推理机。

推理的策略（冲突解决策略）
专一性排序（规则的条件部分所规定的情况越具体，优先级越高）IF A AND B AND C THEN F ； IF A AND B AND C AND D THEN F
规则排序
数据排序（把规则条件部分的所有条件按优先次序编排，当发生冲突时，首先使用条件部分包括含优先级较高的规则。
就近排序（最近一段时间使用的规则放在最优先的位置）
上下文限制（把产生式规则按它们所描述的上下文分组，在某种上下文条件下，只能从以其相应的那组规则选择可运用的规则）
按匹配度推荐
按条件个数排序（条件个数少的被优先排序前提相同条件）

按照推理过程中所用到的知识的确定性，可分为确定性推理和不确定性推理。若在推理中所用的知识都是精确的，即可以把知识表示成必然的因果关系，然后进行推理，推理的结论或为真，或为假，这种推理就称为确定性推理。

推理的基本概念
什么推理
在现实生活中，人们对各种事物进行分析、合并最后做出决策时，通常是从已知的事实出发，通过运用已掌握的知识，找出其中蕴含的事实或归纳出新的知识，这一过程通常称为推理。
在人工智能系统中，推力通常是由一组程序来实现的，人们把这一组用来控制计算机实现推理的程序称为推理机。

推理方法及其分类
按推理的逻辑基础分类
演绎推理
常用的三段论由一个大前提、一个小前提和一个结论三个部分组成。大前提是已知的一般性知识或推理过程得到的判断；小前提是关于某种具体情况体或某个具体实例的判断；结论是由大前提推出的，并且适合于小前提的判断。
归纳推理
完全归纳推理是指在进行归纳时需要考察相应事物的全部对象，并根据这些对象是否都具有某种属性来推出该类事物是否具有此种属性。
不完全归纳推理是指在进行归纳时只考察了相应事物的部分对象，就得出了关于该事物的结论。抽查的计算机的质量来推测
演绎推理与归纳推理的区别：
演绎推理不能增置新的推理，归纳推理能增置新的推理。

按推理过程的单调性分类
按照推理过程的单调性，或者说按照推理过程所得出的结论是否越来越接近目标，推理可分为单调推理与非单调推理。
所谓单调推理是指在推理过程中，每当使用新知识后，所得到的知识快越来越接近目标，而不会出现反复的情况，即不会因为新知识的加入否定了前面推出的结论，从而使得推理过程又退回到先前的一步。
非单调性推理是指在推理过程中，当某些新知识加入后，会否定原来推出的结论，使推理过程退回到先前的一步。

推理的控制策略及其分类
由于智能系统的推理过程一般表现为一种搜索过程，因此，推理的控制策略又可分为推理策略和搜索策略。其中，推理策略主要解决推理方向、冲突消解等问题，如推理方向控制策略、求解策略、限制策略、冲突消解策略等；搜索策略主要解决推理线路、推理效果、推力效率等问题。
正向推理
逆向推理
逆向推理是一种以某个假设目标作为出发点的推理方法，也称为目标驱动推力或逆向推理。
逆向推理过程算法描述：
问题的初始证据和要求证的目标（称为假设）分别放入综合数据库和假设集。
从假设集中选取一个假设，检查该假设是否在综合数据库中。若在，则该假设成立。此时，若假设集为空，则成功退出；否则。仍执行（2）。若假设不在数据库中，则执行下一步。
检查该假设是否可由数据库中的某个知识导出。若不能由某个知识导出，则询问用户该假设是否为可由用户证实的原始事实。若是，则该假设成立，并将其放入到综合数据库，再重新寻找新的假设；若不是，则转（5）。若能由某个知识导出，则执行下一步。
知识库中可以导出该假设的所有知识构成一个可用知识集。
检查可用知识集是否为空。若空 失败退出，否则，执行下一步。
按照冲突消解策略从可用知识集中取出一个知识，继续执行下一步。
该知识的前提中的每个子条件都作为新的假设放入假设集，转（2）。

逆向推理主要缺点是，当用户对解的情况认识不清的时候，由系统自主选择假设目标的盲目性比较大，若选择不好，可能需要多次提出假设，会影响系统效率。
混合推理
推力的逻辑基础
谓词公式的解释
定义：设D是谓词公式P的非空个体域，若对P中的个体常量、函数和谓词按照如下规则赋值：
为每个个体变量指派D中的一个元素。
为每个n元函数指派一个从D的N次方到D的映射，其中D低的N次方=｛x1,x2,…,xn)|x1,x2,…,xn属于D｝
为每个n元谓词指派一个从D的N次方到｛F，T｝的映射，则称这些指派为p到D上的一个解释。
谓词公式的真值都是针对某一个解释而言的，它可能在某一个解释下真值为T，而在另一个解释下真实为T。

前束范式定义。设f为一个位子公式，如果其中的。所有量子君非否定的出现造公式的最前面，而他们的辖域为整个公式，则称F为前束范式。
Skolem范式
定义：如果前束范式中的所有存在量词都在全称量词之前，则称这种形式的谓词公式为Skolem范式。

置换与合一
置换
置换可以简单理解为在一个谓词公式中用置换项替换变元，其形式如下：
定义：置换是形如｛t1/x1,t2/x2,…,tn/xn}的有限集合。其中t1,t2,…,tn是项，x1,x2,…,xn是互不相同的变元；ti/xi表示用ti换xi，并且要求ti 与xi不能相同，xi不能循环地出现在另一个ti中。

定义：设o={t1/x1,t2/x2,…,tn/xn}是一个置换，F是一个置换，F是一个谓词公式，把公式F中出现的所有xi换成ti(i=1,2,…,n),得到一个新公式G，称G为F在置换o下的例示，记作G=Fo。

定义：设o={t1/x1,t2/x2,…,tn/xn}
v={u1/y1,t2/y2,…,um/ym}塔等是两个置换。则o与v的合成也是一个置换，记作o•v。它是从集合｛t1/x1,t2/x2,…,tn/xn,u1/y1,u2/y2,…,un/yn}中删去以下两个元素：
当tiv=xi时，删去tiv/xi(i=1,2,…,n);
当yi属于｛x1,x2,…,xn}时，删去uj/yj(j=1,2,…,m)。最后剩下的元素构成的集合。

合一
合一可以简单地理解为寻找项对变量的替换，使得两个谓词公式一致。其形式如下。
定义：设有公式集F=｛F1，F2，…，Fn},若存在一个置换o，可使F1o=F2o=…=Fno，则称o是F的一个合一，称F1，F2，…，Fn是可合一的。