条件論理セマンティクスを用いた抽象的論証 に関するランキングベースの意味論の提案

本研究では、Dungスタイルの論証フレームワークに対する新しいランキングベースの意味論を提案します。条件論理を活用し、フレームワークを条件文に変換することで、非単調推論システムを適用し、可能世界に対するランキングを生成します。このランキングを用いて、論証のランキングを構築し、小さな拡張を加えることで、論証に対するランキングが持つべきいくつかの望ましい特性を満たすことができます。このアプローチにより、抽象的論証のセマンティクスがより直感的かつ効率的に扱えるようになることを目指しています。