文档介绍：:是计算机科学中涉及研究、:研究用机器来模仿和执行人脑的某些智力功能,:博弈,定理证明,机器翻译,专家系统,模式识别,机器人学,智能控制,:事实性知识,过程性知识,行为性知识,:事实,规则,控制,:谓词逻辑,产生式规则,语义网络,::定义谓词,用连词或量词把谓词公式连接起来,:规则解释程序,控制系统规则库与数据库,负责整个产生式系统的运行,:匹配器,冲突消解器,:A-kind-ofA-member-ofIs-aPart-:添加关系结点,动作结点,事件结点,:框架名,槽名,侧面,值(1)横向联系:一个框架的槽值或者侧面值可以是另外一个框架的名字(2)纵向联系:具有集成关系的框架之间构成纵向联系,:(1)选择状态,描述操作(2)定义初始状态集合,目标状态集合,及操作符集合例:2层汉诺塔A(1,3)---B(1,2)---A(3,2)[操作标识有向边状态标识节点]:(1)问题初始描述(2)一套把问题变为子问题的操作符(3)一套本原问题描述例:3层汉诺塔三元组标识状态S=(i,j,k),i,j,k表示A,B,:如果一个原问题既需通过分解,又需通过变换,才能得到本原问题,:在与或树中,没有子节点的节点终叶节点:本原问题所对应的节点终叶节点一定是端节点,“与或”::(1)度量节点的希望的量度(2)有序搜索:在表中选择最小的节点作为扩展节点(3)算法:(4)::自上而下搜索,自上而下标示(1)应用分解或者等价变换对当前节点扩展(2)设置指向父节点的指针(3)多次调用可解或不可解标记过程,(1)终止节点:n不可以扩展且不是终止节点:(2)或节点:与节点::自顶向下扩展节点,自底向上,:与~min或~:(1)(2):(1)消去蕴含和双条件符号(2)减少否定符号辖域(3)使不同量词约束的变元有不同的名字(4)消去存在量词(个体常量替换,函数替换)(5)化为前约束(量词左移),使得每个全称量词的辖域都是整个公式(6)化为合取范式(7)消去全称量词(8)消去合取词(9):(1)定理证明:(2