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