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