产生式知识表示与第二次大实验.ppt

2、产生式表示 2、产生式表示 产生式表示的起源 1943，美国数学家 Post 构造了形式化的计算工具 1955，美国语言学家乔姆斯基 Chomsky创立了转换生成语法 1960，美国计算机科学家巴克斯 Backus提出了巴克斯范式，描述ALGOL 60的语法规则，1977年获图灵奖 1972年，纽厄尔和西蒙在研究人类的认知模型中开发了基于规则的产生式系统。1975年获图灵奖，人工智能符号主义学派创始人 2、产生式表示 产生式(condition-action规则)的基本形式 P→Q 或者 IF P THEN Q； P：前件condition，是产生式的前提，它给出了该产生式可否使用的先决条件，由事实的逻辑组合来构成 Q：后件action，是一组结论或操作，它指出当前题P满足时，应该推出的结论或应该执行的动作 产生式的含义 如果前提P满足，则可推出结论Q或执行Q所规定的操作 事实+规则 2、产生式表示 事实： 第一类：给一个语言变量赋值 如：香蕉是黄色的， 老李年龄35岁 张韶涵是一个歌手 表示 三元组；(对象，属性，值) 香蕉是黄色的 (banana，color，yellow) 老李年龄35岁 (Li，age，35) 张韶涵是一个歌手 (Angela Chang ，job，Singer) 2、产生式表示 第二类：描述多个语言变量之间的关系 如：小莉是小刘的女朋友 王老师是张三的导师 天青色等烟雨 表示 三元组； (关系，对象1，对象2) 小莉是小刘的女朋友 (girlfriend，Li，Liu) 王老师是张三的导师 (tutor，Mr Wang，Zhangsan) 天青色等烟雨 (wait for，azure，misty rain) 2、产生式表示 存在不确定条件的表示 四元组： (对象，属性，值，可信度(0-1之间的数)) 硬币有50%的可能为正面向上 (coin，up，obverse，0.5) 全班2/3的同学爱听周杰伦的歌 (student，like Jay Chou’ songs，true，0.667) 产生式表示有70%的可能会考 (CA，test，true，0.7) 2、产生式表示 规则 表示事实间的因果关系 以if then的形式描述 一般形式为：前件→后件 前件通常为一些事实的合取或者析取 后件可以是结论，也可以是动作 一个产生式规则的结论可以作为另一个产生式规则的前提 2、产生式表示 例 If 天下雪了 then穿棉袄 If 骄傲被现实大海冷冷拍下 then 懂得要多努力才能走到远方 If 水电解 then (生成氢气∧生成氧气) If (想考研∧学习好∧毕业生) then 考研成功 If (动物有犬齿 ∧ 有爪 ∧ 眼盯前方) then 食肉动物 If (有流感症状∧ (去过甲流疫区∨接触过甲流患者) ) then 甲流，可信度 x 2、产生式表示 以产生式规则求解问题的系统称作产生式系统 产生式系统的结构 2、产生式表示 知识库 规则库：存放产生式规则 包含从初始状态到目标状态的所有变换规则 完整性、一致性、准确性、合理性、灵活性 数据库：存放事实 已知事实 中间结果 推理结果 匹配规则：当数据库中的事实与规则库中的产生式规则的前件相匹配时，该规则被激活，其结论成为中间结果加入数据库 2、产生式表示 推理机： 问题求解的实现部件 控制整个产生式系统的运行 决定推理路线 控制协同规则库与数据库 推理机的工作 规则匹配 冲突消解 执行后件 终止条件 2、产生式表示 规则匹配：按一定策略从规则库选择规则与数据库中的事实进行匹配 匹配成功：此条规则被激活，加入被激活候选集（冲突集） 事实：牛； 规则： if 牛 then 吃草 匹配失败：输入与已知条件矛盾，此条规则被放弃 事实：牛； 规则： if 马 then 吃草 匹配无结果：规则前件与事实无关，则该条规则加入待测式规则集 事实：牛； 规则： if 有蹄 then 吃草 2、产生式表示 冲突消解：当匹配成功的规则多于一条时，需要根据一定的策略进行选择 事实：牛； 规则1： if 牛 then 吃草 规则2： if 牛 then 有蹄 冲突消解策略：依次执行2条规则 2、产生式表示 有时多条规则间会存在相互冲突 事实：地震，室内，教师，有未成年人 规则： R1: if 地震∧室内then 跑出室外 R2: if 地震∧室内∧ 教师 then 组织学生跑出室外