The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
Um ATMS (Sistema de Manutenção da Verdade Baseado em Suposições) tem sido amplamente utilizado para manter a veracidade de uma informação, detectando e resolvendo as contradições em sistemas baseados em regras. Porém, o ATMS não pode manter corretamente a veracidade da informação caso a informação gerada seja satisfeita dentro de um intervalo de tempo ou inclua dados sobre relações temporais de eventos em situações variáveis no tempo, porque não possui mecanismo de manipulação de dados temporais. Neste artigo, propomos o ATMS estendido que pode manter a veracidade das informações no sistema baseado em conhecimento usando informações que mudam ao longo do tempo ou relações temporais de eventos. Para manter os contextos gerados pelas relações de eventos, modificamos o método de representação de rótulos, o método de simplificação de disjunção e conjunção no procedimento de propagação de rótulos e o método de tratamento nogood do ATMS convencional.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copiar
MinSuk LEE, YeungGyu PARK, ChoongShik PARK, Jaihie KIM, "A Temporal Data Maintenance Method in an ATMS" in IEICE TRANSACTIONS on Information,
vol. E83-D, no. 2, pp. 295-298, February 2000, doi: .
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.
URL: https://global.ieice.org/en_transactions/information/10.1587/e83-d_2_295/_p
Copiar
@ARTICLE{e83-d_2_295,
author={MinSuk LEE, YeungGyu PARK, ChoongShik PARK, Jaihie KIM, },
journal={IEICE TRANSACTIONS on Information},
title={A Temporal Data Maintenance Method in an ATMS},
year={2000},
volume={E83-D},
number={2},
pages={295-298},
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.},
keywords={},
doi={},
ISSN={},
month={February},}
Copiar
TY - JOUR
TI - A Temporal Data Maintenance Method in an ATMS
T2 - IEICE TRANSACTIONS on Information
SP - 295
EP - 298
AU - MinSuk LEE
AU - YeungGyu PARK
AU - ChoongShik PARK
AU - Jaihie KIM
PY - 2000
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E83-D
IS - 2
JA - IEICE TRANSACTIONS on Information
Y1 - February 2000
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.
ER -