Proceedings of the Korea Inteligent Information System Society Conference (한국지능정보시스템학회:학술대회논문집)
- 2001.06a
- /
- Pages.377-381
- /
- 2001
An Extended Assumption-based Truth Maintenance Method for Time Varying Situations
- Youngwoon Woo (Dept. of Computer Eng., Dongeui Univ.) ;
- Han, Soo-Whan (Dept. of Computer Eng., Dongeui Univ.) ;
- Lee, Minsuk (Senior Member of Research Staff / Ph.D. NetCODEC Co.)
- Published : 2001.06.01
Abstract
An ATMS(Assumption-based Truth Maintenance System) has been widely used for maintaining the truth of information by detecting and solving contradictions in nile-based systems. But the ATMS can not correctly maintain the truth of the information in case that the generated information is satisfied within a time interval or includes data about temporal relations of events in time varying situations, because it has no mechanism manipulating temporal data. In this paper, The extended ATMS method is proposed, which can maintain the truth of the information in the inference system using information changing over time or temporal relations of events. In order to maintain contexts generated by relations of events, the label representation method is modified, the disjunction, conjunction simplification method in the label-propagation procedure and nogood handling method of the conventional ATMS are modified, too.
Keywords