事实性知识的表示形式一般使用三元组来表示： （对象，属性，值） 或者 （关系，对象１，对象２） 其中对象就是语言变 量。这 种表 示 的 机器那艾仪器 内 部实 现 就是 一 个表。 如 事实“老 李 年 龄是 ４０ 岁”，便可表示成 （Ｌｉ，Ａｇｅ，４０） 这里，Ｌｉ是事实性知识涉及的对象，Ａｇｅ是该对象的属性，而４０则是属性的值。而“老李、老 张是朋友”，可写成第二种形式的三元组： （Ｆｒｉｅｎｄ，Ｌｉ，Ｚｈａｎｇ） 这里，Ｌｉ和 Ｚｈａｎｇ分别是事实性知 识涉及 的两 个对象，而 Ｆｒｉｅｎｄ则表 示这 两个 对象 间的 关 系。 ４．不确定性事实性知识的产生式表示 有些事实性知识带有不确定性。比如，“老李年龄很可能是４０岁”，因为是很可能，所以 老李是４０岁的可能性可以取 ８０％。“老李、老张 是朋 友的 可能 性不 大”，比 如说 老李、老 张 是朋友的可能性只有１０％。那如何表示呢？ 不确定事实性知识的表示形式一般使用四元组来表示： （对象，属性，值，可信度值） 或者

 （关系，对象１，对象２，可信度值） 例如，“老李的年龄很可能是４０岁”，可以表示为 （Ｌｉ，Ａｇｅ，４０，０．８） 而“老李、老张是朋友的可能性不大”，可表示为 （Ｆｒｉｅｎｄ，Ｌｉ，Ｚｈａｎｇ，０．１） 一般情况下，为了求解过程中查找的方便，在 知识库 中可 将某 类有关 的事 实以网 状、树 状结构组织连接在一起，提高查找的效率。 ２．３．３ 产生式系统的组成 把一组产生式放在一起，让它们相互配合，协 同作用，一个产 生式 生成的 结论 可以 供另 一个产生式作为已知事实使用，以求得问题的解决，这样的系统称为产生式系统。 产生式系统一般由三个基本部分组成：规则库、综合数据库和推理机。它们之间的关系 如图２．１所示。 ２．３ 产生式表示法 ２７ 与 框架名：＜教室＞ 墙数： 窗数： 门数： 座位数： 前墙：＜墙框架＞ 后墙：＜墙框架＞ 左墙：＜墙框架＞ 右墙：＜墙框架＞ 门：＜门框架＞ 窗：＜窗框架＞ 黑板：＜黑板框架＞ 天花板：＜天花板框架＞ 地板：＜地板框架

＞ 讲台：＜讲台框架＞ ５２ 第二章 知识表示方法 这是一个教室框架，由１４个槽组成，分别描述“教室”的１４个方面的情况或属性。如果把某 个具体教室的有关情况填入槽或侧面后，就得到一个描述该教室的实例框架。 例２．１３ 教师框架。 框架名：＜教师＞ 姓名：单位（姓、名） 年龄：单位（岁） 性别：范围（男、女） 缺省：男 职称：范围（教授，副教授，讲师，助教） 缺省：讲师 部门：单位（系，教研室） 住址：＜住址框架＞ 工资：＜工资框架＞ 参加工作时间：单位（年，月）