可判定的术语知识表示系统中的推理
人工智能
2014-11-17 v1
摘要
术语知识表示系统（TKRSs）是用于设计和使用知识库的工具，这些知识库利用术语语言（或概念语言）。我们从理论角度分析了一个 TKRS，其能力超越了当前可用的 TKRSs。本文研究的新特性，常常需要在实际应用中，概括为三个主要方面。首先，我们考虑一种高度可表达的术语语言，称为 ALCNR，包含概念的一般补语、数限制和角色联合。其次，我们允许在一般概念之间表达包含语句，术语循环作为一种特殊情况。第三，我们通过一种 sound、complete且终止的计算方法，证明了许多理想的 TKRS 推理服务（如可满足性、子sumption和实例检查）在 ALCNR 知识库中的可判定性。我们的计算方法扩展了约束系统的一般技术。作为该证明的副产品，我们也获得了如果采用描述语义，ALCNR 中的包含语句可以被术语循环模拟的结论。
引用
@article{arxiv.cs/9312101,
title = {Decidable Reasoning in Terminological Knowledge Representation Systems},
author = {M. Buchheit and F. M. Donini and A. Schaerf},
journal= {arXiv preprint arXiv:cs/9312101},
year = {2014}
}
备注
See http://www.jair.org/ for any accompanying files