講演名 | 2003/3/6 論理プログラムにおける説明推論過程の視覚化システムの実装(<特集>「アクティブマイニング」及び一般) 吉田 聡, 笹倉 万里子, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 本論文では拡張論理プログラムにおける説明推論過程を視覚化する方法を提案する.説明推論で推移するゴールと導出を呼び出す関係を記憶し,その視覚化を行う.その記憶する処理を従来の説明推論手続き[1]に加えたものが,本論文で述べる視覚化機能付き説明推論手続きである.導出は木構造で呼び出すので,それぞれの導出のゴール履歴を紙のようなものに表現し,それを3次元上に配置する.この方法で視覚化を行うシステムの実装を行う. |
抄録(英) | In this paper, we propose a procedure that visualizes a reasoning process for an extended logic program. The procedure is an extension of the abductive procedure[1]. We record histories of goals and derivation calls in the procedure, then visualize them. Since derivation calls forms a tree, we display it in 3-dimension of which a node is represented as a paper that shows a history of goals in each derivation. |
キーワード(和) | 視覚化 / 推論 |
キーワード(英) | visualization / reasoning |
資料番号 | AI2002-62 |
発行日 |
研究会情報 | |
研究会 | AI |
---|---|
開催期間 | 2003/3/6(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
---|---|
本文の言語 | JPN |
タイトル(和) | 論理プログラムにおける説明推論過程の視覚化システムの実装(<特集>「アクティブマイニング」及び一般) |
サブタイトル(和) | |
タイトル(英) | A visualization of reasoning procedures for a logic program and its implementation |
サブタイトル(和) | |
キーワード(1)(和/英) | 視覚化 / visualization |
キーワード(2)(和/英) | 推論 / reasoning |
第 1 著者 氏名(和/英) | 吉田 聡 / Satoshi YOSHIDA |
第 1 著者 所属(和/英) | 岡山大学大学院自然科学研究科 Graduate School of Natural Science and Technology, Okayama University |
第 2 著者 氏名(和/英) | 笹倉 万里子 / Mariko SASAKURA |
第 2 著者 所属(和/英) | 岡山大学工学部 Faculty of Engineering, Okayama University |
発表年月日 | 2003/3/6 |
資料番号 | AI2002-62 |
巻番号(vol) | vol.102 |
号番号(no) | 709 |
ページ範囲 | pp.- |
ページ数 | 6 |
発行日 |