A temporal data maintenance method in an ATMS

Min Suk Lee, Yeung Gyu Park, Choong Shik Park, Jaihie Kim

Research output: Contribution to journalArticle

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 languageEnglish
Pages (from-to)295-298
Number of pages4
JournalIEICE Transactions on Information and Systems
VolumeE83-D
Issue number2
Publication statusPublished - 2000 Jan 1

Fingerprint

Knowledge based systems
Labels

All Science Journal Classification (ASJC) codes

  • Software
  • Hardware and Architecture
  • Computer Vision and Pattern Recognition
  • Artificial Intelligence
  • Electrical and Electronic Engineering

Cite this

Lee, M. S., Park, Y. G., Park, C. S., & Kim, J. (2000). A temporal data maintenance method in an ATMS. IEICE Transactions on Information and Systems, E83-D(2), 295-298.
Lee, Min Suk ; Park, Yeung Gyu ; Park, Choong Shik ; Kim, Jaihie. / A temporal data maintenance method in an ATMS. In: IEICE Transactions on Information and Systems. 2000 ; Vol. E83-D, No. 2. pp. 295-298.
@article{6f530d0a0577435bb81f506574b101e7,
title = "A temporal data maintenance method in an ATMS",
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.",
author = "Lee, {Min Suk} and Park, {Yeung Gyu} and Park, {Choong Shik} and Jaihie Kim",
year = "2000",
month = "1",
day = "1",
language = "English",
volume = "E83-D",
pages = "295--298",
journal = "IEICE Transactions on Information and Systems",
issn = "0916-8532",
publisher = "Maruzen Co., Ltd/Maruzen Kabushikikaisha",
number = "2",

}

Lee, MS, Park, YG, Park, CS & Kim, J 2000, 'A temporal data maintenance method in an ATMS', IEICE Transactions on Information and Systems, vol. E83-D, no. 2, pp. 295-298.

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 journalArticle

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 -