关于典型性描述逻辑中的有理闭包
人工智能
2013-05-07 v1
摘要
我们在扩展了典型性算子的描述逻辑背景下定义了有理闭包的概念。我们从 ALC+T 出发，这是带有典型性算子 T 的 ALC 扩展：直观上允许表达形式为 T(C) 的概念，旨在选择概念 C 的“最正常”实例。我们考虑的语义基于有理模型。但我们进一步将语义限制为最小模型，即最小化域元素秩的模型。我们表明，这种语义精确地捕捉到了有理闭包的概念，这是对 Lehmann 和 Magidor 原始概念在描述逻辑中的自然扩展。我们还将有理闭包的概念扩展到了 Abox 部分。我们提供了一种 ExpTime 算法来计算 Abox 的有理闭包，并表明该算法相对于最小模型语义是可靠且完备的。
引用
@article{arxiv.1305.1060,
title = {On Rational Closure in Description Logics of Typicality},
author = {Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Gian Luca Pozzato},
journal= {arXiv preprint arXiv:1305.1060},
year = {2013}
}