Abstract
An ATMS (Assumption-based Truth Maintenance 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.
| Original language | English |
|---|---|
| Pages (from-to) | 295-298 |
| Number of pages | 4 |
| Journal | IEICE Transactions on Information and Systems |
| Volume | E83-D |
| Issue number | 2 |
| Publication status | Published - 2000 Jan 1 |
Fingerprint
All Science Journal Classification (ASJC) codes
- Software
- Hardware and Architecture
- Computer Vision and Pattern Recognition
- Artificial Intelligence
- Electrical and Electronic Engineering
Cite this
}
A temporal data maintenance method in an ATMS. / Lee, Min Suk; Park, Yeung Gyu; Park, Choong Shik; Kim, Jaihie.
In: IEICE Transactions on Information and Systems, Vol. E83-D, No. 2, 01.01.2000, p. 295-298.Research output: Contribution to journal › Article
TY - JOUR
T1 - A temporal data maintenance method in an ATMS
AU - Lee, Min Suk
AU - Park, Yeung Gyu
AU - Park, Choong Shik
AU - Kim, Jaihie
PY - 2000/1/1
Y1 - 2000/1/1
N2 - An ATMS (Assumption-based Truth Maintenance 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.
AB - An ATMS (Assumption-based Truth Maintenance 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.
UR - http://www.scopus.com/inward/record.url?scp=0033877676&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0033877676&partnerID=8YFLogxK
M3 - Article
AN - SCOPUS:0033877676
VL - E83-D
SP - 295
EP - 298
JO - IEICE Transactions on Information and Systems
JF - IEICE Transactions on Information and Systems
SN - 0916-8532
IS - 2
ER -