| 講演名 | 1997/3/18 Information Flow Graphを用いたATMSの解析 菊池 慎司, 外山 勝彦, 稲垣 康善, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | ATMSは多重文脈機能を提供する真理維持システムとして広く利用されている.しかし,ATMSにおける推論プロセスは複雑であり,その性質を解析することは容易ではない.本稿では, ATMSの推論プロセスを状況理論に基づくInformation Flow Graph(IFG)で表現することにより,推論プロセスを視覚的かつ直観的に理解できる状況推論体系I-ATMSを構築する.さらに,I-ATMSの推論プロセスの性質を調ベることにより,ATMSの推論プロセスの性質を解析する。また,I-ATMSとATMSの比較を基に,IFGを用いた推論体系の構成についても考察を与える. |
| 抄録(英) | Although ATMS is widely used as a truth maintenance system which offers multiple contexts, the inference process in ATMS is so complicated that analysis of its properties is difficult. In this paper, describing inference process in ATMS in terms of Information Flow Graph(IFG)based on situation theory, we design an inference system I-ATMS which illustrate the process visually and intuitively. And we analyze the inference process in ATMS by examination of the one in I-ATMS. Finally, we give some considerations about the design of inference system based on IFG by comparison I-ATMS with ATMS. |
| キーワード(和) | 真理維持 / ATMS / Information Flow Graph / 状況理論 / インフォン代数 / 視覚化 |
| キーワード(英) | truth maintenance / ATMS / lnformation Flow Graph / situation theory / infon algebra,visualization |
| 資料番号 | AI96-46,KBSE96-36 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 1997/3/18(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | Information Flow Graphを用いたATMSの解析 |
| サブタイトル（和） | |
| タイトル（英） | Analysis of ATMS with Information Flow Graph |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 真理維持 / truth maintenance |
| キーワード(2)（和/英） | ATMS / ATMS |
| キーワード(3)（和/英） | Information Flow Graph / lnformation Flow Graph |
| キーワード(4)（和/英） | 状況理論 / situation theory |
| キーワード(5)（和/英） | インフォン代数 / infon algebra,visualization |
| キーワード(6)（和/英） | 視覚化 |
| 第 1 著者 氏名（和/英） | 菊池 慎司 / Shinji Kikuchi |
| 第 1 著者 所属（和/英） | 名古屋大学工学部 School of Engineering,Nagoya University |
| 第 2 著者 氏名（和/英） | 外山 勝彦 / Katsuhiko Toyama |
| 第 2 著者 所属（和/英） | 中京大学情報科学部 School of Computer and Cognitive Sciences,Chukyo University |
| 第 3 著者 氏名（和/英） | 稲垣 康善 / Yasuyoshi Inagaki |
| 第 3 著者 所属（和/英） | 名古屋大学工学部 School of Engineering,Nagoya University |
| 発表年月日 | 1997/3/18 |
| 資料番号 | AI96-46,KBSE96-36 |
| 巻番号（vol） | vol.96 |
| 号番号（no） | 595 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |