構造化された論争体系における理路的性公理の充足：演繓的支援による技術報告

arXiv:2604.21515v1 Announce Type: new 要約：ASPIC スタイルの構造化された論争枠組みは、内部の論争構造と抽象的な論争演繓を組み合わせて、人工知能における論理推論の形式基盤を提供します。これらの枠組みにおける重要な課題は、閉合性、直接の一貫性、間接の一貫性、非介入、およびクラッシュ耐性という 5 つの臨界の理路的性公理の準拠を確保することです。最近のアプローチ、例えば ASPIC$^{\ullet}$ と Deductive ASPIC$-$ は重要な進歩を遂げましたが、欠損論駁が存在する条件下で信頼論的演繓（例：優先的）において、すべての公理を同時に満たすことはできていません。本論文では、ASPIC$^{\ullet}$ から生み出された再駁反論（gen-rebuttals）と Deductive ASPIC$-$ の Joint Support Bipolar Argumentation Frameworks (JSBAFs) を組み、優先度を付与した新たな枠組みである Deductive ASPIC$^{\ullet}$ を導入します。我々は、Deductive ASPIC$^{\ullet}$ が、優先的演繓のバージョンにおいて上記の 5 つの理路的性公理をすべて満たすことを示します。本作業は、堅固で論理的に整合性のある構造化された論争システムのさらなる研究において新しい道を開きます。

arXiv:2604.21515v1 Announce Type: new Abstract: 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.