This paper presents an algorithm for termination static analysis of active rules with priorities. Active rules termination is an undecidable problem. Several recent works have suggested proving termination by using the concept of triggering graph. We propose here a refinement of these works, exploiting the priorities defined between rules. We introduce the notions of path set and destabilizing set. We show how to determine the priority of a path set. The triggering graph can then be reduced thanks to considerations about priorities of the path sets. Much more termination situations can be detected, since priorities are exploited. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Couchot, A. (2003). Termination analysis of active rules with priorities. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2736, 846–855. https://doi.org/10.1007/978-3-540-45227-0_82
Mendeley helps you to discover research relevant for your work.