人工智能知识表示.pdf

人工智能知识表示 表示是使用人造的体系对自然界事物的运 算规律进行概括与抽象的模型。 知识表示是概括智能的模型。需同时满足 “刻画智能现象”与“计算装置可接受”两个 条件。 表示观：注重形式化的认知观 注重模拟客观世界本体的本体观 经典人工智能的主要表示方法： 一阶谓词逻辑是最基本的表示方法，具有严谨的公理 体系。 产生式规则是一种使用最广泛的表示方法。 语义网络、框架、脚本都是结构化的表示方法，结构化 表示法适合描述那些带有结构、层次、比较复杂的事 物，反映了人们使用知识的方式，提供了结构的描述 关系。 评价知识表示方法从表示的能力和效率两个方面考虑： 表示能力（区分与避免不必要区分）：一阶谓词逻辑最 强，其它方法是其子集。 效率：考虑知识获取和知识库维护的效率（适合人的思 维）。考虑推理机的效率（适合机器实现）， 一阶谓 词逻辑最弱。 5.1 逻辑表示法 • 用谓词表示知识 命题：表示知识的陈述性形式称为命题。 例：张平是学生、树叶是绿色的 谓词：带有参数的命题叫做谓词。 例：是学生（X ） 谓词比命题有更强的表达能力： 1） 有概括能力 2 ） 引进了变量 3 ） 在知识之间建立联系 • 是学生（X ）：X是学生 • 受纪律约束（X ）：X受纪律约束 • 犯错误（X ）：X犯错误 • 受纪律惩罚（X ）：X受纪律惩罚 连接后： 是学生（X ）受纪律约束（X ） 犯错误（X ）受纪律惩罚（X ） 例：没有无学籍的学生，也没有无职称的教师。 (1) Q (2) 没有无学籍的学生 也没有无职称的教师 (3) 存在无学籍的学生 存在无职称的教师 (4)X [无学籍的学生(X)] Y [无职称的教师(Y)] (5)X [是学生(X) 无学籍(X)]  Y [是教师(Y) 无职称(Y)] (6)X [是学生(X) 学籍(X)] Y [是教师(Y) 职称(Y)] 这个命题可在六个不同的层次表示： 分得细 知识多 推理效率低 分得粗 知识少 推理效率高 上述方式是谓词多，参数少 另一种是谓词少，参数多 P(x1,x2,…...x10) 其中，x1表示是否、x2表示动作、x3表示有无、 x4 、x5表示对象，x6到x10与x1到x5一样。即： P(不，存在，无，学籍，学生，不，存在，无， 职称，教师) 第一种谓词简单，个数多，较灵活 第二种谓词复杂，个数少，利于检索。 用谓词表示知识的例子： 1） 所有的有理数都是实数 令P(x)表x是有理数，Q(x)表x是实数 则应为(x)(P(x)Q(x)) 而不是(x)(P(x)Q(x)) 2 ）有的实数是有理数 应为(x)(Q(x) P(x)) 而不是(x)(Q(x) P(x)) 3 ）没有无理数是有理数 A(x)表示无理数，B(x) 表示有理数 可表示为(x)(A(x)B(x)) 或 (x)(B(x)A(x)) 或 (x)(A(x) (B(x)) 4 ）凡是桌面上没放书本的桌子都配有台灯。 (x) ((桌子(x) 上面放书(x)) 配有台灯(x)) (x)(( 桌子(x) (y)( 书(y) 在上面(y , x))) (z)( 台灯(z) 在上面(z , x))) (x)((桌子(x) 在上面(书, x))在上面(台灯, x)) 5 ） 张宏的母亲和谁都没吵过架。 (x)(人(x) 吵架(母亲(张宏), x)) 6 ）型号B 的所有机器都有电源故障。 (x)((机器(x) 型号(x, B))