Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/99471
Title: A path removing technique for detecting trigger termination
Authors: Lee, S.Y. 
Ling, T.W. 
Issue Date: 1998
Citation: Lee, S.Y.,Ling, T.W. (1998). A path removing technique for detecting trigger termination. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1377 LNCS : 341-355. ScholarBank@NUS Repository.
Abstract: Termination decision in trigger systems is to ensure that any rule execution does not result in an infinite loop. Generally, this is an undecidable task. Several recent works have been proposed to prove termination under certain situations. However, most of these existing methods make use of the trigger conditions only in a limited way. In particular, overall conditions of long trigger sequences are not fully used to decide termination. In this paper, we will introduce the activation formula, which considers the overall conditions of long trigger sequences and hence covers many previous works. With this extension, traditional trigger edge elimination methods are no longer sufficient. We will then present a path elimination method called the node splitting method. Using this new approach, more termination situations than existing works can be detected.
Source Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
URI: http://scholarbank.nus.edu.sg/handle/10635/99471
ISBN: 3540642641
ISSN: 03029743
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

44
checked on Nov 9, 2018

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.