如何求同存异：基于立场逻辑管理本体论视角
人工智能
2022-08-02 v2
摘要
在处理知识时，考虑个体化的、潜在冲突的视角的重要性已得到广泛认可。许多现有的本体管理方法有将知识视角完全合并，这可能需要弱化以维持一致性；另一些则以完全分离的方式表示不同视图。作为替代方案，我们提出立场逻辑（Standpoint Logic），这是一种简单但通用的多模态逻辑“附加组件”，用于现有知识表示语言，旨在相对多样且可能冲突的立场对领域知识进行集成表示，这些立场可分层组织、组合并相互关联。从一阶立场逻辑（FOSL）的通用框架出发，我们随后将注意力集中于句子公式的片段，为此我们提供了到无立场版本的多项式时间翻译。该结果为一阶逻辑中多种高度表达的可判定片段带来了可判定性及良好的复杂度。利用一些精巧的编码技巧，我们随后为 OWL 2 DL 本体语言底层极具表达力的描述逻辑 SROIQb_s 建立了类似的翻译。凭借该结果，现有的高度优化的 OWL 推理机可用于为经立场建模扩展的本体语言提供实用的推理支持。
引用
@article{arxiv.2206.06793,
title = {How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic},
author = {Lucía Gómez Álvarez and Sebastian Rudolph and Hannes Strass},
journal= {arXiv preprint arXiv:2206.06793},
year = {2022}
}