Please use this identifier to cite or link to this item:
|Title:||A path removing technique for detecting trigger termination||Authors:||Lee, S.Y.
|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.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.