LLM2D
面向命题式 KLM 风格的可辩驳立场逻辑
Towards Propositional KLM-Style Defeasible Standpoint Logics
作者: Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
发布日期: 10/8/2024
arXiv ID: oai:arXiv.org:2410.04245v1

摘要

KLM 方法将弱化形式的蕴涵引入经典逻辑中,用于可辩驳推理。这使得人们能够将对一般规则的例外纳入逻辑系统,并且在学习到新的矛盾信息时撤回旧的结论。立场逻辑是一组逻辑,在过去五年中被引入知识表示领域,允许将多个观点集成到同一个本体中,即使某些观点可能持有相互矛盾的信念。本文旨在将立场整合到 KLM 命题逻辑中,在一个受限的环境中。我们介绍了可辩驳受限立场逻辑 (DRSL) 的逻辑系统,并定义了其语法和语义。具体来说,我们将排名的解释和立场结构(分别为命题 KLM 和命题立场逻辑提供语义)集成在一起,以引入 DRSL 的排名立场结构。此外,我们将理性闭包的非单调蕴涵关系从命题 KLM 情况扩展到 DRSL 情况。本文的主要贡献是通过算法和语义两种方式描述 DRSL 的理性闭包,表明理性闭包可以通过单个代表性的排名立场结构来描述。最后,我们得出结论,理性闭包的语义和算法描述是等价的,并且 DRSL 下理性闭包的蕴涵检查与命题 KLM 的蕴涵检查处于同一复杂度类。