演繹的サポートによる構造化論証の満足的な合理性公理—技術報告書

arXiv cs.AI / 2026/4/25

📰 ニュースIdeas & Deep AnalysisModels & Research

共有:

要点

ASPICスタイルの構造化論証フレームワークはAIにおける推論の形式基盤を提供する一方で、閉包性や整合性（直接・間接）、非干渉性、クラッシュ耐性といった5つの合理性公理を同時に満たすことが課題だと述べている。
既存のASPIC$^{\ominus}$やDeductive ASPIC$-$は一定の進展があるものの、アンダーカットを伴う状況でcredulous semantics（例：preferred）下では5公理を同時に満たし切れないという限界がある。
本論文では、Deductive ASPIC$^{\ominus}$という新しい枠組みを提案し、ASPIC$^{\ominus}$のgen-rebuttalsと、Deductive ASPIC$-$のJSBAFs（演繹的サポート）を統合し、選好（preferences）も組み込む。
preferred semanticsの一種の下でDeductive ASPIC$^{\ominus}$が合理性公理5つをすべて満たすことを示し、頑健で論理的に健全な構造化論証システムに向けた今後の研究の可能性を広げるとしている。