描述逻辑研究进展
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第 ９卷 第 １ 期
２１ ０ ０年 ２月
江 南 大 学 学 报（ 然 科 学 版） 自
Ｊ ｕ ｎ ｌ ｆ ｉｎ ｎ ｎ Ｕ ｉｅ ｓ ｙ Ｎａｕ ａ ｃｅ ｃ ｄｔ ｎ ｏ ｒ ａ ａ ｇ ａ ｎｖ ｒｉ （ ｔ ｒ ｌ ｉｎ ｅＥ ｉ ｏ ） ｏＪ ｔ Ｓ ｉ
Ｖｏ ． Ｎｏ １９ ．１
Ｆｂ ｅ ． ２ １ ００
描 述 逻辑 研 究 进展
张 燕
（ 江苏省 邮 电技 工学校 ， 江苏 苏州 ２ ５ ０ ） １０ ９
摘 要 ： 绍 了描 述逻 辑 系统 的结构 ， 介 对基本 的描述 逻辑语 言 以及推 理机 制进行 了描述 。 重点概述
了描述 逻辑 的动 态扩展 、 糊 以及 概 率扩展 的研 究状 况 ， 模 并根据 其应 用领 域 对描 述 逻 辑 的研 究趋
Ａｂｔａ ｔＤ ｓｒ ｔ ｎ ｌｇｃ Ｄ ） ｉ ａ ｆ ｍａ ｌｎ ｕ ｇ ｏ ｅ ｒｓｎｉｇ ｋ ｏ ｌｄ ｅ ａ ｄ ｉ ｉ ｓｒ ｃ ： ｅｃｉ ｉ ｏ ｉ（ Ｌ ｓ ｏ ｌ ａ ｇ ａ ｅ ｆｒ ｒｐｅｅ ｔ ｎ ｗ ｅ ｇ ｎ ｔ ｓ ｐｏ ｒ ｎ ａ
ｄ ｃ ｄ ｂ ｅ ｓ ｂ ｅ ｏ ｆｒ ｔｏ ｄｅ ｌ ｇ ｃ Ａｓ ｎ ｆｅ ｔｖ ｍ ｅ ｈａ ｉｍ ｏ ｋ ｏ ｅ ｇ ｒ ｐ ｅ ｅ ｔ ｔｏ ｅ ｉ ａ ｌ ｕ ｓ ｔ ｆ ｉｓ－ ｒ ｒ ｏ ｉ ． ａ ｅ ｆ ｃ ｉｅ ｃ ｎｓ ｆ ｎ ｗｌ ｄ ｅ ｅ ｒ ｓ ｎ ａ ｉ ｎ，
ＺＨ ＡＮＧ ｎ Ｙａ
（ ｉｎ ｓ ｏ ｔ ａ ｄ Ｔ ｌ ｏ ｕ ｉａ ｏ ｓＴ ｃ ｎｃ ｌ ｃ ｏ ｌ， ｕ ｈ ｕ２ ５ ０ ， ｈｎ ） Ｊ ｇ ｕＰ ｓ ｎ ｅ ｃ ｍｍ ｎｃ ｔ ｎ ｅ ｈ ｉａ Ｓ ｈ ｏ Ｓ ｚ ｏ １ ０ ９ Ｃ ｉａ ａ ｓ ｅ ｉ
描述 逻辑 （ ｅｃｉｔ ｎＬ ｇｃ Ｄ ）是基 于对 象 Ｄ ｓｒ ｉ ｏ ｉ， Ｌ ｐｏ 知识表 示 的形式化 ， 吸取 了 Ｋ — Ｎ 它 ＬＯ Ｅ的主要思 想 ，
描述 逻辑 １ ０多年来 备受人 们关 注 ， 被广泛 应用 到计
算 机科 学 的许 多领 域 中 ， 尤其 是语 义 Ｗｅ ｂ的发展 。
（ ｏ ｃｐ ） 关 系 （ｏ ） 个 体 （ｎ ｉｉｕ １ ｃｎ ｅ ｔ 、 ｒｌ 、 ｅ ｉｄｖｄ ａ ）和 构 子 （ ｏ ｓ ｕ ｔｒ 。 ｃ ｎｔ ｃｏ） 概念 描述 了一 个 个 体 集 合 的共 同属 ｒ 性 ， 且 可 将概 念 解 释 为对 象 集 的一元 谓 词 ， 关 并 将 系解释 为对象 之 间的二 元关 系。 子决 定 着语 言 的 构 表达能力 ， 似 于 逻 辑 联结 词 的功 能 ， 述 逻 辑 由 类 描 构子从 简单 概念 和关 系构 造 出复 杂概 念 和关 系 ¨ 。
行 了综 述 ， 介绍 了描 述逻 辑 系统 的体 系 结构 和 扩 并 展研究 ， 以的个 体 信 息 ， 合 表 示 关 刻 适
于概念 和概 念层次 结 构 的知识 ， 因此 也 叫做 概念 表 示语 言 和 术 语 逻 辑 。 述 逻 辑 的 基 本 构 件 是 概 念 描
势及其 更新进展 进行 了介 绍。 关键词 ： 述逻 辑 ； 识表 示； 描 知 推理机 制
中图分 类号 ：Ｐ １ 文献标 识码 ： 文章 编号 ：６ １—７ ４ （０ ０ ０ Ｔ １ Ａ １７ １７ ２ １ ） １—０ ２ １２—０ ５
Ｓ ｖ ｙ ｏ ｓ ａ ｃ ｎ Ｄｅ ｃ ｉ ｉ ｎ Ｌｏ ｉ ｕｒ ｅ ｆＲｅ ｅ ｒ ｈ ｏ ｓ ｒ ｐｔｏ ｇ ｃ
ｄ ｓ ｒｐ ｉ ｎ ｌｇ ｉｉ ｘ ｅ ｉ ｅｙ ａ ｌｅ ｏ ｖ ｒｏ ｉｌ ｆｃ ｍｐｕ ｅ ｃ ｅ ｃ ．Ｔｈ ｒ ｈｉｅ ｔ ｅ ｏ ｅ ｃ ｉ ｔｏ ｏ ｃ ｓｅ ｔ ｎｓｖ ｌ ｐｐ ｉ ｄ ｔ ａ ｉｕｓｆｅ ｄｓｏ ｏ ｔ ｒｓ ｉ ｎ ｅ ｅ ａ ｃ ｔ ｃｕｒ ｆＤＬ ｓ ｓｅ ｉ ｎ ｒ ｄ ｃ ｄ ｎ ｔ ｅ ｂ ｓｃ ＤＬ ｌ ｎ ｕ ｇ ｓ ａ ｌ ａ ｔ ｅ ｒ ｒ ａ ｏ ｎ ｃ ａ ｉｍ ｆ ＤＬ ａ ｅ ｙ ｔ ｍ ｓ ｉ ｔｏ ｕ ｅ ａ ｄ ｈ ａ ｉ ａ ｇ ａ ｅ ｓ ｗｅ ｌ ｓ ｈ ｉ ｅ ｓ ｎｉ ｇ ｍｅ ｈ ｎ ｓ ｏ ｒ ｄ ｓ ｒｂ ｄ Ｔｈ ｕ ｒ ｎ ｅ ｅ ｒ ｈ ｐ ｏ ｒ ｓ ｅ ｂｏ ｔｄ ｎ ｍｉ ｘ ｅ ｓｏ ｎｄ ｆ ｚ ｙ ｅ ｔｎｓｏ ｓ ｗｅ ｌａ ｅ ｃ ｉｅ ． ｅ ｃ ｒ ｅ ｔｒ ｓ ａ ｃ ｒ ｇ ｅ ｓ ｓ ａ ｕ ｙ ａ ｃ ｅ ｔ ｎ ｉｎ ａ ｕ ｚ ｘ ｅ ｉ ｎ ａ ｌ ｓ ｐ ｓ ｉ ｌｔ ｘ ｅ ｓｏ ｏ ＤＬ ａ ｅ ｓ ｍｍａ ｉｅ ． Ｔｈ ｅ ｅ ｒ ｈ ｔｅ ｄ ａ ｄ ｕ ａ ｅ ｔ ＤＬ ａ ｅ ｐ ｅ ｅ ｔ ｄ ｏ ｓｂｉｉｙ ｅ ｔ ｎ ｉ ｎ ｔ ｒ ｕ ｒｚ ｄ ｅ ｒ ｓ ａ ｃ ｒ ｎ ｓ ｎ ｐｄ ｔ ｏ ｒ ｒ ｓ ｎｅ
主要原 因有 以下几点 ： １ 有 清 晰的模 型 —— 理论 （）
是一 阶谓词逻 辑 的一个 可 判定 子集 ， 能提 供 可判 定 的推理 服务 。 描述逻 辑 通过 定 义应 用领 域 的概 念 及
机 制 ；２ 适 合 通 过 概念 分 类 学来 表示 应 用 领 域 ； （） （ ）提供 了有用 的推 理 服务 。 ３ 文 中关 于描 述 逻 辑 系 统 研 究 的现 状 与 趋 势 进
ａ ｃ ｒ ｎ ｏ ａ ｐ ｉａ ｉ ｎｓｏ ｃ ｏ ｄｉ ｇ ｔ ｐ ｌｃ ｔｏ ｆＤＬ．
Ｋｅ ｒ ｙ ｗｏ ｄｓ：ｄ ｓ ｒｐ ｉ ｎ ｌ ｇｃ，ｋ ｏ ｅ ｇ ｅ ｅ ｅ ｔ ｔｏ ｅ ｃ ｉ ｔｏ ｏ ｉ ｎ ｗｌ ｄ ｅ ｒ ｐｒ ｓ ｎ ａｉ ｎ，ｒ ａ ｏ ｎ ｃ ｎ ｓ ｅ ｓ ｎｉ ｇ ｍｅ ｈａ ｉｍ
２１ ０ ０年 ２月
江 南 大 学 学 报（ 然 科 学 版） 自
Ｊ ｕ ｎ ｌ ｆ ｉｎ ｎ ｎ Ｕ ｉｅ ｓ ｙ Ｎａｕ ａ ｃｅ ｃ ｄｔ ｎ ｏ ｒ ａ ａ ｇ ａ ｎｖ ｒｉ （ ｔ ｒ ｌ ｉｎ ｅＥ ｉ ｏ ） ｏＪ ｔ Ｓ ｉ
Ｖｏ ． Ｎｏ １９ ．１
Ｆｂ ｅ ． ２ １ ００
描 述 逻辑 研 究 进展
张 燕
（ 江苏省 邮 电技 工学校 ， 江苏 苏州 ２ ５ ０ ） １０ ９
摘 要 ： 绍 了描 述逻 辑 系统 的结构 ， 介 对基本 的描述 逻辑语 言 以及推 理机 制进行 了描述 。 重点概述
了描述 逻辑 的动 态扩展 、 糊 以及 概 率扩展 的研 究状 况 ， 模 并根据 其应 用领 域 对描 述 逻 辑 的研 究趋
Ａｂｔａ ｔＤ ｓｒ ｔ ｎ ｌｇｃ Ｄ ） ｉ ａ ｆ ｍａ ｌｎ ｕ ｇ ｏ ｅ ｒｓｎｉｇ ｋ ｏ ｌｄ ｅ ａ ｄ ｉ ｉ ｓｒ ｃ ： ｅｃｉ ｉ ｏ ｉ（ Ｌ ｓ ｏ ｌ ａ ｇ ａ ｅ ｆｒ ｒｐｅｅ ｔ ｎ ｗ ｅ ｇ ｎ ｔ ｓ ｐｏ ｒ ｎ ａ
ｄ ｃ ｄ ｂ ｅ ｓ ｂ ｅ ｏ ｆｒ ｔｏ ｄｅ ｌ ｇ ｃ Ａｓ ｎ ｆｅ ｔｖ ｍ ｅ ｈａ ｉｍ ｏ ｋ ｏ ｅ ｇ ｒ ｐ ｅ ｅ ｔ ｔｏ ｅ ｉ ａ ｌ ｕ ｓ ｔ ｆ ｉｓ－ ｒ ｒ ｏ ｉ ． ａ ｅ ｆ ｃ ｉｅ ｃ ｎｓ ｆ ｎ ｗｌ ｄ ｅ ｅ ｒ ｓ ｎ ａ ｉ ｎ，
ＺＨ ＡＮＧ ｎ Ｙａ
（ ｉｎ ｓ ｏ ｔ ａ ｄ Ｔ ｌ ｏ ｕ ｉａ ｏ ｓＴ ｃ ｎｃ ｌ ｃ ｏ ｌ， ｕ ｈ ｕ２ ５ ０ ， ｈｎ ） Ｊ ｇ ｕＰ ｓ ｎ ｅ ｃ ｍｍ ｎｃ ｔ ｎ ｅ ｈ ｉａ Ｓ ｈ ｏ Ｓ ｚ ｏ １ ０ ９ Ｃ ｉａ ａ ｓ ｅ ｉ
描述 逻辑 （ ｅｃｉｔ ｎＬ ｇｃ Ｄ ）是基 于对 象 Ｄ ｓｒ ｉ ｏ ｉ， Ｌ ｐｏ 知识表 示 的形式化 ， 吸取 了 Ｋ — Ｎ 它 ＬＯ Ｅ的主要思 想 ，
描述 逻辑 １ ０多年来 备受人 们关 注 ， 被广泛 应用 到计
算 机科 学 的许 多领 域 中 ， 尤其 是语 义 Ｗｅ ｂ的发展 。
（ ｏ ｃｐ ） 关 系 （ｏ ） 个 体 （ｎ ｉｉｕ １ ｃｎ ｅ ｔ 、 ｒｌ 、 ｅ ｉｄｖｄ ａ ）和 构 子 （ ｏ ｓ ｕ ｔｒ 。 ｃ ｎｔ ｃｏ） 概念 描述 了一 个 个 体 集 合 的共 同属 ｒ 性 ， 且 可 将概 念 解 释 为对 象 集 的一元 谓 词 ， 关 并 将 系解释 为对象 之 间的二 元关 系。 子决 定 着语 言 的 构 表达能力 ， 似 于 逻 辑 联结 词 的功 能 ， 述 逻 辑 由 类 描 构子从 简单 概念 和关 系构 造 出复 杂概 念 和关 系 ¨ 。
行 了综 述 ， 介绍 了描 述逻 辑 系统 的体 系 结构 和 扩 并 展研究 ， 以的个 体 信 息 ， 合 表 示 关 刻 适
于概念 和概 念层次 结 构 的知识 ， 因此 也 叫做 概念 表 示语 言 和 术 语 逻 辑 。 述 逻 辑 的 基 本 构 件 是 概 念 描
势及其 更新进展 进行 了介 绍。 关键词 ： 述逻 辑 ； 识表 示； 描 知 推理机 制
中图分 类号 ：Ｐ １ 文献标 识码 ： 文章 编号 ：６ １—７ ４ （０ ０ ０ Ｔ １ Ａ １７ １７ ２ １ ） １—０ ２ １２—０ ５
Ｓ ｖ ｙ ｏ ｓ ａ ｃ ｎ Ｄｅ ｃ ｉ ｉ ｎ Ｌｏ ｉ ｕｒ ｅ ｆＲｅ ｅ ｒ ｈ ｏ ｓ ｒ ｐｔｏ ｇ ｃ
ｄ ｓ ｒｐ ｉ ｎ ｌｇ ｉｉ ｘ ｅ ｉ ｅｙ ａ ｌｅ ｏ ｖ ｒｏ ｉｌ ｆｃ ｍｐｕ ｅ ｃ ｅ ｃ ．Ｔｈ ｒ ｈｉｅ ｔ ｅ ｏ ｅ ｃ ｉ ｔｏ ｏ ｃ ｓｅ ｔ ｎｓｖ ｌ ｐｐ ｉ ｄ ｔ ａ ｉｕｓｆｅ ｄｓｏ ｏ ｔ ｒｓ ｉ ｎ ｅ ｅ ａ ｃ ｔ ｃｕｒ ｆＤＬ ｓ ｓｅ ｉ ｎ ｒ ｄ ｃ ｄ ｎ ｔ ｅ ｂ ｓｃ ＤＬ ｌ ｎ ｕ ｇ ｓ ａ ｌ ａ ｔ ｅ ｒ ｒ ａ ｏ ｎ ｃ ａ ｉｍ ｆ ＤＬ ａ ｅ ｙ ｔ ｍ ｓ ｉ ｔｏ ｕ ｅ ａ ｄ ｈ ａ ｉ ａ ｇ ａ ｅ ｓ ｗｅ ｌ ｓ ｈ ｉ ｅ ｓ ｎｉ ｇ ｍｅ ｈ ｎ ｓ ｏ ｒ ｄ ｓ ｒｂ ｄ Ｔｈ ｕ ｒ ｎ ｅ ｅ ｒ ｈ ｐ ｏ ｒ ｓ ｅ ｂｏ ｔｄ ｎ ｍｉ ｘ ｅ ｓｏ ｎｄ ｆ ｚ ｙ ｅ ｔｎｓｏ ｓ ｗｅ ｌａ ｅ ｃ ｉｅ ． ｅ ｃ ｒ ｅ ｔｒ ｓ ａ ｃ ｒ ｇ ｅ ｓ ｓ ａ ｕ ｙ ａ ｃ ｅ ｔ ｎ ｉｎ ａ ｕ ｚ ｘ ｅ ｉ ｎ ａ ｌ ｓ ｐ ｓ ｉ ｌｔ ｘ ｅ ｓｏ ｏ ＤＬ ａ ｅ ｓ ｍｍａ ｉｅ ． Ｔｈ ｅ ｅ ｒ ｈ ｔｅ ｄ ａ ｄ ｕ ａ ｅ ｔ ＤＬ ａ ｅ ｐ ｅ ｅ ｔ ｄ ｏ ｓｂｉｉｙ ｅ ｔ ｎ ｉ ｎ ｔ ｒ ｕ ｒｚ ｄ ｅ ｒ ｓ ａ ｃ ｒ ｎ ｓ ｎ ｐｄ ｔ ｏ ｒ ｒ ｓ ｎｅ
主要原 因有 以下几点 ： １ 有 清 晰的模 型 —— 理论 （）
是一 阶谓词逻 辑 的一个 可 判定 子集 ， 能提 供 可判 定 的推理 服务 。 描述逻 辑 通过 定 义应 用领 域 的概 念 及
机 制 ；２ 适 合 通 过 概念 分 类 学来 表示 应 用 领 域 ； （） （ ）提供 了有用 的推 理 服务 。 ３ 文 中关 于描 述 逻 辑 系 统 研 究 的现 状 与 趋 势 进
ａ ｃ ｒ ｎ ｏ ａ ｐ ｉａ ｉ ｎｓｏ ｃ ｏ ｄｉ ｇ ｔ ｐ ｌｃ ｔｏ ｆＤＬ．
Ｋｅ ｒ ｙ ｗｏ ｄｓ：ｄ ｓ ｒｐ ｉ ｎ ｌ ｇｃ，ｋ ｏ ｅ ｇ ｅ ｅ ｅ ｔ ｔｏ ｅ ｃ ｉ ｔｏ ｏ ｉ ｎ ｗｌ ｄ ｅ ｒ ｐｒ ｓ ｎ ａｉ ｎ，ｒ ａ ｏ ｎ ｃ ｎ ｓ ｅ ｓ ｎｉ ｇ ｍｅ ｈａ ｉｍ