文档介绍：人工智能的定义 AI( Artificial Intelligence ) 是研究如何使用机器,能够做一些通常需要人的智慧才能完成的工作。或人工智能就是机器(计算机)执行某些与人的智能有关的复杂功能(如判断、识别、学****理解、问题求解等)的能力。 人工智能的研究途径与方法 结构模拟,神经计算④采用结构模拟,运用神经网络和神经计算的方法研究人工智能者→生理学派、连接主义。 功能模拟(符号主义、心理学派、逻辑学派) 行为模拟(行为主义、进化主义、控制论学派) ④以行为模拟法研究人工智能者→行为主义、进化主义、控制论学派。 人工智能的基本技术推理技术。基于谓词逻辑的自然演绎推理和归结反演推理。搜索技术。盲目搜索、启发式搜索。神经网络搜索。启发式搜索是人工智能的核心课题, 、人工智能的发展概况,需要处理的是知识。由数据处理范围扩展到符号知识处理范畴的转变是人工智能诞生的重要因素之一。而试探性的搜索、启发式的不精确的模糊的甚至允许出现错误的推理方法指导了人工智能的求解方法。在许多应用中,被编码进入产生式系统数据库的信息来源于说明语句,这些语句难以或者不能自然地用像数组或集合那样的简单结构来表示。而逻辑语句, 或者更具体地说, 一阶谓词演算能用来表示种类众多的语句, 且能给出一种从旧知识直接求得新知识的有效方法——数学演绎。如果我们把句子限制为我们至今已介绍过的造句法所能表示的那些句子,而且也不使用变量项,那么我们可以把这个谓词演算的子集叫做命题演算。例:每个有理数都是实数有些实数是有理数并非每个实数都是有理数解: 令原子谓词公式 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 都是该 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 (x)} 寻找项对变量的置换,以使表达式一致,叫做合一。求 mgu 的算法:非递归