提出新框架，让逻辑论证系统更自洽可靠。
Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report
- 融合两种方法，用推理支持解决论证冲突
- 在偏好语义下满足全部五条理性准则
- 适合研究可信逻辑推理的学者参考
ASPIC风格的结构化论证框架为人工智能推理提供了形式化基础，结合内部论证结构与抽象论证语义。其核心挑战在于确保满足五个关键理性准则：闭包性、直接一致性、间接一致性、非干扰性及抗崩溃性。现有方法如ASPIC$^{ ominal}$和Deductive ASPIC$-$虽有进展，但在存在反驳（undercuts）时，无法在宽容语义（如首选语义）下同时满足所有准则。本文提出Deductive ASPIC$^{ ominal}$，将ASPIC$^{ ominal}$的生成反驳机制与Deductive ASPIC$-$的联合支持双极论证框架（JSBAFs）结合，并引入偏好关系。证明该框架在一种改进的首选语义下可满足全部五项理性准则。本工作为构建鲁棒且逻辑严谨的结构化论证系统开辟了新路径。
原文摘要 · Abstract (English)
ASPIC-style structured argumentation frameworks provide a formal basis for reasoning in artificial intelligence by combining internal argument structure with abstract argumentation semantics. A key challenge in these frameworks is ensuring compliance with five critical rationality postulates: closure, direct consistency, indirect consistency, non-interference, and crash-resistance. Recent approaches, including ASPIC$^{\ominus}$ and Deductive ASPIC$-$, have made significant progress but fall short of meeting all postulates simultaneously under a credulous semantics (e.g. preferred) in the presence of undercuts. This paper introduces Deductive ASPIC$^{\ominus}$, a novel framework that integrates gen-rebuttals from ASPIC$^{\ominus}$ with the Joint Support Bipolar Argumentation Frameworks (JSBAFs) of Deductive ASPIC$-$, incorporating preferences. We show that Deductive ASPIC$^{\ominus}$ satisfies all five rationality postulates under a version of preferred semantics. This work opens new avenues for further research on robust and logically sound structured argumentation systems.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。