1、人工智能的定义 AI ( Artificial Intelligence )是研究如何使用机器，能够做一些通常需要人的智慧才能完成的工作。或人工智能就是机器（计算机）执行某些与人的智能有关的复杂功能（如判断、识别、学习、理解、问题求解等）的能力。 1.2 人工智能的研究途径与方法 1.2.1 结构模拟，神经计算采用结构模拟，运用神经网络和神经计算的方法研究人工智能者生理学派、连接主义。 1.2.2 功能模拟（符号主义、心理学派、逻辑学派）1.2.3 行为模拟（行为主义、进化主义、控制论学派）以行为模拟法研究人工智能者行为主义、进化主义、控制论学派。1.4 人工智能的基本技术推理技术。基于谓词逻
2、辑的自然演绎推理和归结反演推理。搜索技术。盲目搜索、启发式搜索。神经网络搜索。启发式搜索是人工智能的核心课题，1.5、人工智能的发展概况，需要处理的是知识。由数据处理范围扩展到符号知识处理范畴的转变是人工智能诞生的重要因素之一。而试探性的搜索、启发式的不精确的模糊的甚至允许出现错误的推理方法指导了人工智能的求解方法。在许多应用中，被编码进入产生式系统数据库的信息来源于说明语句，这些语句难以或者不能自然地用像数组或集合那样的简单结构来表示。而逻辑语句，或者更具体地说，一阶谓词演算能用来表示种类众多的语句,且能给出一种从旧知识直接求得新知识的有效方法数学演绎。如果我们把句子限制为我们至今已介绍过的
3、造句法所能表示的那些句子，而且也不使用变量项，那么我们可以把这个谓词演算的子集叫做命题演算。例：每个有理数都是实数 有些实数是有理数 并非每个实数都是有理数解： 令原子谓词公式 P(x) 表示 x 是有理数 Q(x) 表示 x 是实数（ x） P(x) = Q(x)（彐 x） Q(x) P(x)(（ x） Q(x) = P(x) 等价于 （彐 x） Q(x) P(x)例： 每一个人的外祖父都是他母亲的父亲。令 P(x) 表示 x 是人 O(x,y) 表示 x 是 y 的外祖父 F(x,y) 表示 x 是 y 的父亲M(x,y) 表示 x 是 y 的母亲将原句转化为：每一个人 y 的外祖父 x
4、都是该 y 的母亲 z 的父亲。（ x） （ y）(P(x)P(y)O(x,y)=(彐 z)(P(z)F(x,z)M(z,y)在一个量化的表达式中的约束变量是一个虚元，它可以用任何一个不在表达式中出现过的其他变量符号来代替。All blocks on top of blocks that have been moved or that are attached to block that have been moved also have been moved.可表示为：（ x） （ y）BLOCK（x）BLOCK（y）ONTOP（x，y）ATTACHED（x，y） MOVED（y）MOVED
5、（x）寻找项对变量的置换，以使表达式一致，叫做合一。求 mgu 的算法：非递归算法例：求公式集Pa，x，f(g(y) ，Pz，h(z,u)，f(u)的最一般合一者 mgu。解： k=0; F 0 = F; 0 =; F 0 不是单一元素集，有 D 0 =a ,z 1= 0 a /z = a /z = a /z ；F1=F0 a /z =Pa，x，f(g(y) ，Pa，h(a,u)，f(u)；k=1; F1 不是单一元素集，有 D 1 =x ,h(a,u) 2= 1 h(a,u) /x = a /z h(a,u) /x = a /z, h(a,u) /x ；F2=F1 h(a,u) /x =Pa
6、，h(a,u)，f(g(y) ，Pa，h(a,u)，f(u)；k=2; F2 非单一，有 D 2 =g(y) ,u 3= 2 g(y) /u = a /z, h(a,g(y) /x, g(y) /u ；F3=F2 g(y) /u =Pa，h(a, g(y)，f(g(y)；k=3;F3 已为单一元素集 3= a /z, h(a,g(y) /x, g(y) /u 为公式集 F 的 mgu递归例： E1=Pa，x，f(g(y) E2=Pz，h(z,u)，f(u) 则： unify(E1,E2); Z1:=unify(P,P)Z2:= unify(a ,.,z,)return Z1Z2取值分析第 i
7、层次 F1 值 F2 值 Z1 值 F1 属性 F2 属性1 P P 谓词符号 谓词符号2 方括号 方括号3 a z a/z 常量符号 变量符号4 ， ，5 x h(a,u) h(a,u)/x 变量 函数符号(参数)6 , , 逗号 逗号7 f f 函数符号 函数符号8 ( ( 圆括号 圆括号9 g(y) u g(y)/u 函数符号(参数) 变量10 ) ) 圆括号 圆括号11 方括号 方括号归结: 是一种可用于一定的子句公式的重要推理规则。例 将下列谓词公式 （ x）P（x）（ y） P(y)P(f(x,y)（ y） Q(x,y)P（y） 按标准步骤化为子句集。解：(1) ( x)P(x)(
8、 y)P(y)P(f(x,y)( y)Q（x，y）P（y） (2) ( x)P（x）( y)P(y)P(f(x,y)（彐 y）Q（x，y）P（y） ( x)P（x）( y)P(y)P(f(x,y)（彐 y） Q（x，y）P（y） (3) ( x)P（x）( y)P(y)P(f(x,y)（彐 w） Q（x，w）P（w） (4) ( x) P（x）( y)P(y)P(f(x,y)Q（x，g（x） ）P（g（x） ） 式中，g（x）为一 Skolem 函数。(5) ( x)( y)P（x）P(y)P(f(x,y)Q（x，g（x） ）P（g（x） ） (6) ( x)( y)P（x）P（y）P（f（x
9、，y） ） P（x）Q（x，g（x） ） P（x）P（g（x） ） (7) P（x）P（y）P（f（x，y） ） P（x）Q（x，g（x） ） P（x）P（g（x） ） (8) P（x）P（y）P（f（x，y） ）P（x）Q（x，g（x） ）P（x）P（g（x） ）(9)更改变量名称，在上述第(8)步的三个子句中，我们分别以 x1，x2 和 x3 代替变量 x。这种更改变量名称的过程，有时称为变量分离标准化。于是，我们可以得到下列子句集：P（x1）P（y）Pf（x1，y） P（x2）Qx2，g（x2） P（x3）Pg（x3） 一般归结规则：设有两个子句 Li与Mi，若 li 是Li的一个子集，mi是Mi的一个子集，且存在一个最一般合一者 s, 使得 lis=mis ,则可归结前提子句Li与Mi成为Li-lisMi-mis
