人工智能03节.pptVIP

* 安徽大学 计算机科学与技术学院 * 实验2 子句消解实验 一、实验目的： 理解含有变量的子句如何使用消解规则，掌握子句消解的原理和规则，能熟练进行任意两个子句的消解，了解消解推理的某些常用规则。 ? 二、实验原理： 对子句集进行消解推理，得到相应的结论。为了对含有变量的子句使用消解规则，我们必须找到一个置换，作用于父辈子句使其含有互补文字。消解两个子句时，可能有一个以上的消解式 。 三、实验条件 ??????? 硬件：微型计算机。 任选一种流行语言。 * 安徽大学 计算机科学与技术学院 * 实验2 子句消解实验 四、实验内容： ??????? 编写消解程序。 ??????? 输入子句，检查消解结果。 ???????? 根据消解过程理解消解原理和常用规则。 ? 五、实验步骤(2-3人一组)： 1.?语法分析程序，产生文字集合； 2.?两个文字集合进行消解，结果为新的文字集合； 3.? 用户界面设计； 4.? 分析消解过程，写消解实验报告。（每人） 人工智能 Artificial Intelligence 第三讲 主讲: 李龙澍 EMail:lilongshu@126.com * 安徽大学 计算机科学与技术学院 * 1 陈林锋 2 陈晨 3 汪磊 4 白超 5 王磊 6 刘开丽 7 赵礼良 8 王孝贵 9 张青 10 韩丽丽 11 刘娇丽 12 李鸿 13 赵发君 14 王文彬 15 陶新竹 16 方强 17 彭钰 18 邱慧丽 19 余昳超 20 朱超 21 邹超 22 刘艳 23 周飞凤 24 华骁飞 25 张生 26 项珑 27 李小娜 28 张建 29 汪旗 30 孙婷婷 31 周玲玲 32 胡文龙 33 张芹芳 34 李海 35 岳可诚 36 钱克俊 37 郭松矗 38 胡斌斌 39 黄莉莉 40 李成龙 41 钱小强 42 孙姗姗 43 王跃华 44 魏征 45 吴芬 46 张丽丽 47 赵伟 48 周翔 49 陈宝楼 50 潘作舟 51 王琰 52 李真 53 陶星月 54 杨贤达 55 杜国勇 56 周建英 57 戚培庆 58 吴忠标 59 韩昌刚 60 胡俊 61 孙庆 62 王龙峰 63 魏岩 64 夏超 65 许显胜 66 于雪敏 67 修彬 68 韩智洋 69 张慧 70 黄程 71 余江 72 江丽 73 朱明明 74 田立超 75 吕靖 76 章玉龙 77 黄兵 78 杨利 79 王芳 第二章 知识表示与推理 2.1 知识表示的一般方法 2.2 图搜索策略 2.3 一般搜索与推理技术 2.4 A*算法 2.5 消解原理 2.6 规则演义系统 2.7 产生式系统 2.8 系统组织技术 * 安徽大学 计算机科学与技术学院 * 2.5 消解原理 回顾： 原子公式（atomic formulas） P(x), Q(x,y) 文字—一个原子公式及其否定。 ～P(x), R(x,y,z) 子句—由文字的析取组成的合适公式。 P(x)∨~Q(x,y) 消解—对谓词演算公式进行分解和化简，消去一些符号，以求得导出子句。 2.5.1 子句集的求取 步骤：共9步。 * 安徽大学 计算机科学与技术学院 * 例子: 将下列谓词演算公式化为一个子句集 (?x){ P(x)? {(?y)[P(y)?P(f(x,y))]∧～(?y)[Q(x,y)?P(y)]} } 开始： 消去蕴涵符号 只应用∨和～符号，以～A∨B替换A?B。 (1) (?x) { ~P(x)∨{(?y)［~P(y)∨P(f(x,y))］∧～(?y)［~Q(x,y)∨P(y)］}} * 安徽大学 计算机科学与技术学院 * (2) 减少否定符号的辖域 每个否定符号～最多只用到一个谓词符号上，并反复应用狄·摩根定律。 (2) (?x)｛ ~ P(x)∨｛(?y)［ ~ P(y)∨P(f(x,y))］∧(?y)［Q(x,y)∧ ~ P(y)］｝｝ (1) (?x) { ~P(x)∨{(?y)［~P(y)∨P(f(x,y))］∧ ~(?y)［~Q(x,y)∨P(y)］}} * 安徽大学 计算机科学与技术学院 * (3) 对变量标准化 对哑元（虚构变量）改名，以保证每个量词有其自己唯一的哑元。 (3) (?x)｛ ~ P(x)∨｛(?y)［ ~ P(y)∨P(f(x,y))］∧(?w)［Q(x,w)∧ ~ P(w)］｝｝ (2) (?x)｛ ~ P(x)∨｛(?y)［ ~ P(y)∨P(f(x,y))］∧(?y)［Q(x,y)∧ ~ P(y)］｝｝ * 安徽大学 计算机科学