基于ALC的空间语义知识库.doc

基 于 ＡＬＣ 的空间语义知识库 王 生 生１，刘 大 有１，谷 方 明１，谢 琦１，李 昕２ （１．吉林大学 计算机科学与技术学院 ，长 春 １３００１２；２．吉 林 大 学 软 件 学 院 ，长 春 １３００１２） 摘 要 ：基 于 经 典 描 述 逻 辑 ＡＬＣ，提 出 了 空 间 语 义 知 识 的 表 示 方 法 和 可 判 定 的 推 理 算 法 。 将 空间 关系表达 为一类特殊的概念 ，空间关系的基本运算采用公理系 统 表 达 ，空 间 约 束 满 足 问 题 求解 和逻辑术 语推理可以在同一个推理机下进行 。首次实现了空 间 关系 和 语 义 知识相结合并 且 可 判 定 的 推 理 ，同 时 支 持 多 元 空 间 关 系 结 合 推 理 。 此 前 的 同 类 方 法 都 是 不 可 判 定 的 。 理 论 分 析 、应用实例和 相关工作对 比均显示该方法解决了空间语义知识 库 的 关 键问 题 ，具 有 一 定 的 理 论 意 义 和 应 用 价 值 。 关 键 词 ：人 工 智 能 ；定 性 空 间 推 理 ；描 述 逻 辑 ；约 束 满 足 问 题 ；区 域 连 接 演 算 中 图 分 类 号 ：ＴＰ１８２ 文 献 标 志 码 ：Ａ 文 章 编 号 ：１６７１－５４９７（２０１１）０２－０４２４－０６ ＡＬＣｂａｓｅｄｓｐａｔｉａｌｓｅｍａｎｔｉｃｋｎｏｗｌｅｄｇｅｂａｓｅ ＷＡＮＧＳｈｅｎｇ－ｓｈｅｎｇ１，ＬＩＵ Ｄａ－ｙｏｕ１，ＧＵ Ｆａｎｇ－ｍｉｎｇ１，ＸＩＥ Ｑｉ１，ＬＩＸｉｎ２ （１．ＣｏｌｌｅｇｅｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙ，ＪｉｌｉｎＵｎｉｖｅｒｓｉｔｙ，Ｃｈａｎｇｃｈｕｎ１３００１２，Ｃｈｉｎａ；２．ＣｏｌｌｅｇｅｏｆＳｏｆｔｗａｒｅ， ＪｉｌｉｎＵｎｉｖｅｒｓｉｔｙ，Ｃｈａｎｇｃｈｕｎ１３００１２，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｔｈｅｒｅｐｒｅｓｅｎｔａｔｉｏｎ ａｎｄ ｄｅｃｉｄａｂｌｅｒｅａｓｏｎｉｎｇ ｍｅｔｈｏｄｆｏｒｓｐａｔｉａｌｓｅｍａｎｔｉｃ ｋｎｏｗｌｅｄｇｅａｒｅ ｐｒｏｐｏｓｅｄｂａｓｅｄｏｎｔｈｅｃｌａｓｓｉｃａｌｄｅｓｃｒｉｐｔｉｏｎｌｏｇｉｃＡＬＣ．Ｓｐａｔｉａｌｒｅｌａｔｉｏｎｓａｒｅｒｅｐｒｅｓｅｎｔｅｄｂｙａｋｉｎｄｏｆ ｓｐｅｃｉａｌｃｏｎｃｅｐｔｓ．Ｔｈｅｏｐｅｒａｔｉｏｎｓｏｎｓｐａｔｉａｌｒｅｌａｔｉｏｎｓｃａｎｂｅｈａｎｄｌｅｄｂｙａｘｉｏｍｓ．Ｔｈｅｓｐａｔｉａｌｃｏｎｓｔｒａｉｎ ｓａｔｉｓｆａｃｔｉｏｎｐｒｏｂｌｅｍａｓｗｅｌｌａｓｔｈｅｔｅｒｍｉｎｏｌｏｇｉｃａｌｒｅａｓｏｎｉｎｇｃａｎｂｅｓｏｌｖｅｄ ｗｉｔｈｉｎａｓｉｎｇｌｅｒｅａｓｏｎｅｒ． Ｔｈｅｄｅｃｉｄａｂｌｅｒｅａｓｏｎｉｎｇｏｎｂｏｔｈｓｐａｔｉａｌｒｅｌａｔｉｏｎａｎｄｓｅｍａｎｔｉｃｋｎｏｗｌｅｄｇｅｉｓａｃｈｉｅｖｅｄｆｏｒｔｈｅｆｉｒｓｔｔｉｍｅ， ａｎｄｔｈｅｉｎｔｅｇｒａｔｉｏｎｏｆｍｕｌｔｉ－ａｓｐｅｃｔｓｐａｔｉａｌｒｅｌａｔｉｏｎｍｏｄｅｌｓｉｓｓｕｐｐｏｒｔｅｄｂｙｔｈｅｋｎｏｗｌｅｄｇｅｂａｓｅ．Ａｌｌｔｈｅ ｐｒｅｖｉｏｕｓｍｅｔｈｏｄｓａｒｅｕｎｄｅｃｉｄａｂｌｅ．Ｔｈｅｏｒｅｔｉｃａｌａｎａｌｙｓｉｓ，ｃａｓｅａｐｐｌｉｃａｔｉｏｎａｎｄｃｏｍｐａｒｉｓｏｎｗｉｔｈｒｅｌａｔｅｄ ｗｏｒｋｓａｌｌｓｈｏｗｔｈａｔｔｈｉｓｍｅｔｈｏｄｃａｎｓｏｌｖｅｔｈｅｋｅｙｐｒｏｂｌｅｍｏｆｓｐａｔｉａｌｓｅｍａｎｔｉｃｋｎｏｗｌｅｄｇｅｂａｓｅ，ａｎｄｉｔ ｐｏｓｓｅｓｓｅｓｔｈｅｏｒｅｔｉｃａｌａｎｄｐｒａｃｔｉｃａｌｖａｌｕｅｓ． Ｋｅｙ ｗｏｒｄｓ：ａｒｔｉｆｉｃａｉａｌｉｎｔｅｌｌｉｇｅｎｃｅ； ｑｕａｌｉｔａｔｉｖｅ ｓｐａｔｉａｌ ｒｅａｓｏｎｉｎｇ； ｄｅｓｃｒｉｐｔｉｏｎ ｌｏｇｉｃ； ｃｏｎｓｔｒａｉｎｔｓ ｓａｔｉｓｆａｃｔｉｏｎｐｒｏｂｌｅｍ；ｒｅｇｉｏｎｃｏｎｎｅｃｔｉｏｎｃａｌｃｕｌｕｓ 一 方 面 ，定 性 空 间 信 息 由 于 处 理 效 率 高 、通 讯 量 小 、符 合 人 类 认 知 习 惯 等 原 因 越 来 越 引 起 重 视 ； 另 一 方 面 ，从 信 息 共 享 和 融 合 等 角 度 出 发 ，空 间 信 息 对 语 义 处理的需求十分强烈 。 目 前 ，将 这 两 方 收 稿 日 期 ：２００９－０９－２３． 基 金 项 目 ：国家自然科学基金项目 ；中央高校基本科研业务费 专 项 基 金 项 目 ；吉林大学学科前沿与交叉 学 科 创 新 项 目 （２００９０３１７８）；吉林大学平台 基 地 建 设 项 目 （９３Ｋ－１７－２００９－Ｚ０６