2010级人工智能原理2.ppt

2.3 产生式表示法 产生式(Production)一词，首先是由美国数学家波斯特（E.Post）提出来的。波斯特根据替换规则提出了一种称为波斯特机的计算模型，模型中的每一条规则当时被称为一个产生式。后来，这一术语几经修改扩充，被用到许多领域。例如，形式语言中的文法规则就称为产生式。产生式也称为产生式规则，或简称规则。 前件→后件 前件就是前提，后件是结论或动作，前件和后件可以是由逻辑运算符AND、OR、NOT组成的表达式。 语义是:如果前提满足，则可得结论或者执行相应的动作,即后件由前件来触发。所以，前件是规则的执行条件，后件是规则体。 (1)银行存款利率下调→股票价格上涨 (2)炉温超过上限→立即关闭风门 (3)胶卷感光度为200，光线条件为晴天，目标距离不超过5米→快门速度取250，光圈大小取f16 产生式形式上与谓词逻辑中的蕴含是相同的，谓词逻辑中的蕴含只是产生式的一种特殊情况。 规则库 有效地表达领域中的知识（不确定性、知识的完整性） 合理地组织与管理 例 动物识别系统的规则库。 用以识别虎、金钱豹、斑马、长颈鹿、企鹅、鸵鸟和信天翁七种动物的产生式系统。规则： r1：有奶→是哺乳动物。 r2：有毛发→是哺乳动物。 r3：有羽毛→是鸟。 r4：会飞,生蛋→是鸟。 r5：是哺乳动物,有爪,有犬齿,目盯前方→是食肉动物。 如果有毛发或者产奶，那么它是哺育动物； 如果吃肉，那么它是食肉动物； 如果有犬齿、有爪、眼视前方，那么它是食肉动物； 如果是哺育动物、食肉动物、黄褐色、有黑色条纹，那么它是老虎。 求解问题的一般步骤： 步1 将初始事实/数据置入综合数据库； 步2 用综合数据库中的事实/数据，匹配/测试目标条件，若目标条件满足，则推理成功，结束。 步3 用规则库中各规则的前提匹配综合数据库中的事实/数据，将匹配成功的规则组成待用规则集； 步4 若待用规则集为空，则运行失败，退出。 步5 将待用规则集中各规则的结论加入综合数据库，或者执行其动作，转步2； 何为解？单解还是全部解？ 3、产生式系统的分类 可交换的产生式系统 可分解的产生式系统 可恢复的产生式系统 可交换的产生式系统 当把多个语义基元用相应的语义联系关联在一起时，就形成了一个语义网络。在语义网络中，弧的方向是有意义的，不能随意调换。 鸵鸟 鸟 是一种 例：用语义基元描述“鸵鸟是一种鸟”这一事实。 由于“鸵鸟”与“鸟”之间的语义联系为“是一种”，因此在此语义网络中，弧被标识为“是一种”。如下图。 语义网络表示和谓词逻辑表示之间有一定的对应表示能力。从逻辑表示来看，一个语义网络相当于一组二元谓词。 因为三元组（结点1，弧，结点2）可写成P（个体1，个体2），其中结点1、结点2分别对应个体1、个体2，而孤及其上的标识是由谓词P来体现的。 雪 白色 颜色 颜色( 雪, 白色) 从功能上讲，语义网络可以描述任何事物间的任意复杂关系。但是，这种描述是通过把许多基本的语义关系关联到一起来实现的。基本语义关系是构成复杂语义关系的基石，也是语义网络知识表示的基础。但由于基本语义关系的多样性和灵活性，作为参考，下面给出的仅是一些最常用的基本语义关系。 2. 基本的语义关系 （1）类属关系 类属关系是指具有共同属性的不同事物间的分类关系、成员关系或实例关系。它体现的是“具体与抽象”、“个体与集体”的概念。类属关系的一个最主要特征是属性的继承性，处在具体层的结点可以继承抽象层结点的所有属性。常用的类属关系有： A－Kind-of：含义为“是一种”，表示一个事物是另一个事物的一种类型。 A-Member-of：含义为“是一员”，表示一个事物是另一个事物的一个成员。 is－a：含义为“是一个”，表示一个事物是另一个事物的一个实例。 例如：分类关系“鸟是一种动物”可用下图所示的语义网络来表示。它说明鸟是动物的一种类型，并可继承动物的所有属性。 鸟类 动物 A-Kind-of 分类关系 张强 共青团 A-Memder-of 成员关系 李刚 人 is-a 实例关系 实例关系“李刚是人”可用下图所示的语义网络来表示。 成员关系“张强是共青团员”可用下图所示的语义网络来表示。 （2）包含关系 包含关系也称为聚类关系，是指具有组织或结构特征的“部分与整体”之间的关系。它和类属关系的最主要区别是包含关系一般不具备属性的继承性。常用的包含关系是： Part－of：含义为“是一部分”，表示一个事物是另一个事物的一部分。 ? 在类属关系中，具体层结点除具有抽象层结点的所有属性外，还可以增加一些自己的个性，甚至还能够对抽象层结点的某