An Extended Assumption-based Truth Maintenance Method for Time Varying Situations

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.