English(EN) Standpoint Logics with Defeasible Beliefs

新逻辑框架将可废止信念与多视角相结合

作者 PulseAugur 编辑部 · [2 个来源] · 2026-06-07 08:05

研究人员将可废止逻辑与立场逻辑相结合，创建了可废止受限立场逻辑（DRSL）。该框架允许正式表达考虑多个、可能冲突的视角，每个视角都持有可被覆盖的信念的知识。该论文为DRSL语义提供了基础性结果，并将命题逻辑的蕴含关系扩展到这个新的、增强了立场的语境中，包括理性闭包和字典序闭包。 AI

影响引入了一个形式逻辑框架，用于表示具有多个、可能冲突的视角的知识，这对于先进的AI推理系统具有重要意义。

排序理由该集群包含一篇详细介绍新逻辑框架的学术论文。

AI 生成摘要 · Google Gemini · 来自 2 个来源。我们如何撰写摘要 →

报道来源 [2]

arXiv cs.AI TIER_1 English(EN) · Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph · 2026-06-09 04:00

具有可撤销信念的立场逻辑

arXiv:2606.08503v1 Announce Type: new Abstract: In this paper, we integrate the defeasible logic of Kraus, Lehmann and Magidor (KLM) with the standpoint logic framework of G\'omez \'Alvarez and Rudolph. This is done with the goal of formally expressing knowledge taking into accou…
arXiv cs.AI TIER_1 English(EN) · Sebastian Rudolph · 2026-06-07 08:05

具有可废止信念的立场逻辑

In this paper, we integrate the defeasible logic of Kraus, Lehmann and Magidor (KLM) with the standpoint logic framework of Gómez Álvarez and Rudolph. This is done with the goal of formally expressing knowledge taking into account multiple (possibly contradicting) viewpoints, whi…