若A是谓词合式公式-机器人与智能技术试验室-合肥工业大学.PPT

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 合肥工业大学人工智能与数据挖掘研究室 */117 知识及其表示——产生式表示法 产生式是根据串替换规则提出的一种计算模型，其中每一条规则称为一个产生式。一般写成“如果…则…”的形式，即 IF a THEN b 或 a b 其中，a称为前提（条件/前件），b称为结论（行动/后件）。 前提或结论还可以是若干个项目的逻辑与，其一般表示形式为： 　 IF a1 AND a2 AND … an THEN b1, b2,…,bn * 合肥工业大学人工智能与数据挖掘研究室 */117 知识及其表示——产生式表示法 产生式推理系统图 如果一个产生式的前提包含了几个事实，那么它的结论对应着这些事实的合取，如图中的结点A和B；如果同一个结论可以由多个产生式得到，则这个结论对应着这些产生式的析取，如图中的结点D。 * 合肥工业大学人工智能与数据挖掘研究室 */117 知识及其表示——产生式表示法 例：机器人去逛动物园，为帮助它区分其中的七种动物，给它存入了如下几条产生式规则： p1：若动物有毛发，则它是哺乳动物； p2：若动物有奶，则它是哺乳动物； p3：若动物有羽毛，则它是鸟类； p4：若动物会飞且生蛋，则它是鸟类； p5：若动物是哺乳动物且吃肉，则它是食肉动物； p6：若动物是哺乳动物且有犬齿，有爪，眼睛紧盯着前方，则它是食肉动物； p7：若动物是哺乳动物且反刍食物，则它是蹄类且是偶蹄动物； * 合肥工业大学人工智能与数据挖掘研究室 */117 知识及其表示——产生式表示法 p8：若动物是哺乳类且有蹄，则它是有蹄类； p9：若动物是食肉类，黄褐色，有黑的斑点，则它是一只金钱豹； p10：若动物是食肉类，黄褐色，有黑色条纹，则它是老虎； p11：若动物是有蹄类，长腿，长脖子，有黄褐色暗斑点，则它是长颈鹿； p12：若动物是有蹄类，白色有黑条纹，则它是斑马； p13：若动物是鸟，不会飞，长腿，长脖子，黑、白色，则它是驼鸟； p14：若动物是鸟，不会飞，会游泳，黑、白色，则它是企鹅； p15：若动物是鸟，善飞，则它是信天翁。 * 合肥工业大学人工智能与数据挖掘研究室 */117 知识及其表示——产生式表示法 判断金钱豹的推理树如下图。 可用正向和逆向两种方法进行推理 * 合肥工业大学人工智能与数据挖掘研究室 */117 知识及其表示——产生式表示法 例：古代有个国王想知道他的三个大臣中谁最聪明，就在他们每个人前额上画了一个点，告诉他们至少有一个人额上的点是白色的，并且重复地问他们：“谁知道自己点的颜色？”他们头两次都回答说不知道。设每人都能看到别人点的颜色，但看不到自己额上点的颜色。要求证明下一次他们全都会说“知道”，而且所有的点都是白色的。 解：为了形式化表示此推理过程，可建立一套产生式。为此引入了一些中间状态并定义了下述符号。 * 合肥工业大学人工智能与数据挖掘研究室 */117 知识及其表示——产生式表示法 表示 i 大臣看到的颜色为 (a,b) ，如是两白则 ； W 标识大臣是否猜出自己点的颜色，如果他宣布已知道自己点的颜色，则 ，否则为0； n 表示三位大臣额上颜色状态集 中白点的个数。 于是可有下述产生式： ；以下i取值同此 * 合肥工业大学人工智能与数据挖掘研究室 */117 知识及其表示——产生式表示法 * 合肥工业大学人工智能与数据挖掘研究室 */117 知识及其表示——语义网络表示法 语义网络的基本概念 语义网络是一种通过概念及其语义关系来表达知识的有向图。 在语义网络结构中使用了三种图形符号：框、带箭头及文字标识的线条和文字标识线, 并赋予不同名称：节点、弧、指针 * 合肥工业大学人工智能与数据挖掘研究室 */117 知识及其表示——语义网络表示法 语义网络知识表示实例 用语义网络描述积木世界中的一个房子(House)H，如下图(a)，它是由