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

2D3-01 拡張一般化注釈付き論理プログラムによる形式的議論フレームワーク

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

演題番号2D3-01
題目拡張一般化注釈付き論理プログラムによる形式的議論フレームワーク
著者高橋 武久 (新潟大学大学院自然科学研究科)
梅田 勇一 (新潟大学大学院自然科学研究科)
澤村 一 (新潟大学工学部情報工学科)
時間6月26日(木) 13:00〜13:20
セッションエージェント・分散人工知能 (1) (13:00〜15:00 D 中会議室3)
概要本研究では不完全な知識や矛盾を含む知識,仮定に基づく知識を表現できる拡張一般化注釈付き論理プログラムを用いて二種類の議論フレームワーク,BAとMAAを提案する.BAはWell-founded意味論と一致し,健全で完全な対話的証明手続きを持つ.MAAはBAのマルチエージェント環境への拡張である.
論文PDFファイル, PDFファイル(会場ローカル)




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

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