Presentation | 1997/3/18 Analysis of ATMS with Information Flow Graph Shinji Kikuchi, Katsuhiko Toyama, Yasuyoshi Inagaki, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | 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. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | truth maintenance / ATMS / lnformation Flow Graph / situation theory / infon algebra,visualization |
Paper # | AI96-46,KBSE96-36 |
Date of Issue |
Conference Information | |
Committee | AI |
---|---|
Conference Date | 1997/3/18(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Artificial Intelligence and Knowledge-Based Processing (AI) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Analysis of ATMS with Information Flow Graph |
Sub Title (in English) | |
Keyword(1) | truth maintenance |
Keyword(2) | ATMS |
Keyword(3) | lnformation Flow Graph |
Keyword(4) | situation theory |
Keyword(5) | infon algebra,visualization |
1st Author's Name | Shinji Kikuchi |
1st Author's Affiliation | School of Engineering,Nagoya University() |
2nd Author's Name | Katsuhiko Toyama |
2nd Author's Affiliation | School of Computer and Cognitive Sciences,Chukyo University |
3rd Author's Name | Yasuyoshi Inagaki |
3rd Author's Affiliation | School of Engineering,Nagoya University |
Date | 1997/3/18 |
Paper # | AI96-46,KBSE96-36 |
Volume (vol) | vol.96 |
Number (no) | 594 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |