/ 戻る / プログラム / 発表一覧 / 著者一覧 / JSAI2003 ホーム /

2D3-02 準無矛盾論理に基づく議論フレームワーク

6月26日(木) 13:20〜13:40 D 中会議室3

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




/ 戻る / プログラム / 発表一覧 / 著者一覧 / JSAI2003 ホーム /

システム管理者 (jsai2003-admin@nii.ac.jp)