LETTER A Temporal Data Maintenance Method in an ATMS
Abstract:
System) has been widely used for maintaining the truth of an information by detecting and solving the contradictions in rule-based systems. However, the ATMS cannot 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, we propose the extended ATMS that can maintain the truth of the information in the knowledge-based system using information changing over time or temporal relations of events. To maintain the contexts generated by relations of events, we modify the label representation method, the disjunction and conjunction simplification method in the label-propagation procedure and the nogood handling method of the conventional ATMS. key words: ATMS, expert system, temporal reasoning, truth
Citations
| 694 | Towards a general theory of action and time – Allen - 1984 |
| 547 | A truth maintenance system – Doyle - 1979 |
| 260 | Foundations of assumption-based truth maintenance systems: a preliminary report – Reiter, Kleer - 1987 |
| 22 | Temporal database management – Dean, McDermott - 1987 |
| 8 | A multivalued logic ATMS – Castro, Zurita - 1996 |
| 4 | A generic ATMS – Castro, Zurita - 1996 |
| 1 | Assumption-based truth maintenance system," The Norwegian University – Wen - 1993 |
| 1 | Using truth maintenance systems – Stanojevic, Vranes, et al. - 1994 |
