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

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

• •より柔軟な相互作用能力を備えた新しい高次論証フレームワーク（HAFS）を導入。
• •3値およびファジーセマンティクスを含む、HAFSの一連のセマンティクスを定義。
• •HAFSを命題論理システムに変換するための標準的なエンコーディング方法論を開発。
• •HAFSとそのエンコードされた論理式の間のモデル等価性を証明。
• •軽量計算ソルバーとのシームレスな統合と、不確実性の均一な処理を可能にする。