一、人工智能合一算法原理

1、为了应用推理规则（比如取式假言推理)，推理系统必须能够判断两个表达式何时相同，也就是这两个表达式何时匹配。在命题演算中，这是显而易见的:两个表达式是匹配的当且仅当它们在语句构成上相同。在谓词演算中，表达式中变量的存在使匹配两个语句的过程变得复杂。全称例化允许用定义域中的项来替换全称量化变量。这需要一个决策处理来判断是否可以使变量替换产生的两个或更多个表达式相同〈通常是为了应用推理规则)。

2、合一是一种判断什么样的替换可以使产生的两个谓词演算表达式匹配的算法。我们在上-一节中已经看到了这个过程，VX(man(X)=mortal(X))中的×替换成了man(socrates)中的soc-rates。合一和像假言推理这样的推理规则允许我们对一系列逻辑断言做出推理。为了做到这一点，必须把逻辑数据库表示为合适的形式。

3、这种形式的一个根本特征是要求所有的变量都是全称量化的。这样便允许在计算替代时有完全的自由度。存在量化变量可以从数据库语句中消除，方法是用使这个语句为真的常量来替代它们。例如，可以把3×parent(X,tom)替代为表达式parent(bob,tom)或parent(mary,tom)，假定在当前解释下bob和mary是tom的双亲。消除存在量化变量的处理会因这些替换的值可能依赖于表达式中的其他变量而变得复杂。

二、人工智能产生式系统特点

1、产生式系统（productionsystem）是指认知心理学程序表征系统的一种。为解决某一问题或完成某一作业而按一定层次联结组成的认知规则系统。

2、产生式系统由规则库、推理机、综合数据库，控制程序四部分组成。其中，规则库里面存储大量的知识，综合数据库则是储存事实，综合数据库通过推理机根据规则库里面的知识，由控制程序的控制下完成推理，若是推出中间结果，则把中间结果放到综合数据库中，继续重新推理，直到推理出最终结果或推理失败，程序结束。