この研究では、形式的な論証における定性的な不確実性をモデル化することの重要性を探求します。従来の研究が抽象的な不確実性のモデルに焦点を当てている中、本研究はこれらのモデルを実際にどのように具体化するかに挑戦します。特に、論証の構成要素に基づいた不確実性を捉え、ルールと前提に整理するアプローチを採用します。主な技術的貢献として、抽象的および構造的な形式主義を扱う表現力の新しい概念の導入と、抽象モデルと構造モデルの比較による異なる表現力の結果の提示があります。これにより、抽象的な論証フレームワークの不完全性や依存関係との拡張が考慮され、ASPIC+の構造的モデルが分析されます。