統合議論環境IAEの実装

抄録

研究室で統合議論環境IAE というシステムを開発している。IAE開発は議論の準備、実行、分析の３つ全てをサポートすることが目的である。議論の議題が受理されるか否かの判定はDungの意味論のGE（Grounded　Extension）に基づく。IAEはGEを求める手続きとして提案された対話的証明論を基に議論を対話木として表示する。本研究は拡張として勝利対話木を表示する機能をIAEに実装した。