本体中的例外推理:从词典闭包到怀疑闭包
人工智能
2018-07-10 v1
摘要
本体中的例外推理如今是描述逻辑学界面临的挑战之一。本文描述了一种基于理性闭包、用于处理描述逻辑中例外的优先方法。理性闭包的优点在于为带例外的推理提供了简单高效的方法,但它不允许独立处理概念的不同可废止属性的继承。在这项工作中,我们通过引入一种词典闭包的变体——称之为怀疑闭包——来概述该问题的一种可能解决方案,其需要构造单一基。我们发展了一种双优先语义来定义怀疑闭包的特征刻画。
引用
@article{arxiv.1807.02879,
title = {Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure},
author = {Laura Giordano and Valentina Gliozzi},
journal= {arXiv preprint arXiv:1807.02879},
year = {2018}
}