| 演題番号 | 1P2-8in |
|---|---|
| 題目 | 統合議論環境IAEの実装 |
| 著者 | 丹内 学(新潟大学院自然科学研究科電気情報工学専攻) |
| 時間 | 06月01日(Wed) 18:10〜20:10 |
| 概要 | 研究室で統合議論環境IAE というシステムを開発している。IAE開発は議論の準備、実行、分析の３つ全てをサポートすることが目的である。議論の議題が受理されるか否かの判定はDungの意味論のGE（Grounded Extension）に基づく。IAEはGEを求める手続きとして提案された対話的証明論を基に議論を対話木として表示する。本研究は拡張として勝利対話木を表示する機能をIAEに実装した。 |
| 論文 | PDFファイル |