A Temporal Data Maintenance Method in an ATMS

スポンサーリンク

概要

• 論文の詳細を見る

• 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. Houever, 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 manitain 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 handing method of the conventional ATMS.

• 社団法人電子情報通信学会の論文
• 2000-02-25

著者

• Kim Jaihie

  The Department Of Electrical And Computer Eng. Yonsei University

• LEE MinSuk

  VR Research Center, ETRI

• PARK YeungGyu

  The Department of Electrical and Computer Eng., Yonsei University

• PARK ChoongShik

  The Department of Computer Engineering, Youngdong University

• Lee Minsuk

  Vr Research Center Etri

• Park Yeunggyu

  The Department Of Electrical And Computer Eng. Yonsei University

• Park Choongshik

  The Department Of Computer Engineering Youngdong University

関連論文

• A Global Optimization Method for Remeshing Polygonal Surface of Arbitrary Topological Type(Algorithms)
• A Global Optimization Method for Remeshing Polygonal Surface of Arbitrary Topological Type
• A Temporal Data Maintenance Method in an ATMS

スポンサーリンク