/ 戻る / プログラム / 発表一覧 / 著者一覧 / JSAI2003 ホーム /
| 演題番号 | 2D3-02 |
|---|---|
| 題目 | 準無矛盾論理に基づく議論フレームワーク |
| 著者 | 梅田 勇一 (新潟大学大学院自然科学研究科) 高橋 武久 (新潟大学大学院自然科学研究科) 澤村 一 (新潟大学工学部情報工学科) |
| 時間 | 6月26日(木) 13:20〜13:40 |
| セッション | エージェント・分散人工知能 (1) （13:00〜15:00 D 中会議室3） |
| 概要 | 本研究では、古典論理 上で矛盾となる命題を 扱うことができる準無 矛盾論理を知識表現言 語とした議論フレーム ワークを提案する。こ のフレームワークは真 理値の差異による反論 と２種類の議論比較基 準を特徴とし、健全で 完全な対話的証明手続 きを持つ。 |
| 論文 | PDFファイル, PDFファイル(会場ローカル) |
/ 戻る / プログラム / 発表一覧 / 著者一覧 / JSAI2003 ホーム /