命題論理システムへの高次論証フレームワークのエンコーディング

本論文は、既存の高次論証フレームワーク（HAF）の限界に対処し、より柔軟な相互作用（攻撃とサポート）を可能にする新しいフレームワーク（HAFS）を導入し、3値およびファジーセマンティクスを含む一連のセマンティクスを定義しています。主な貢献は、HAFSを命題論理システムに変換するための標準的なエンコーディング方法論であり、軽量ソルバーの使用と不確実性の均一な処理を可能にします。これは、複雑な論証フレームワークと、より容易に利用可能な計算ツールとの間のギャップを埋めるため、重要です。