A hierarchy of modal event calculi: Expressiveness and complexity (1997) [14 citations — 10 self]
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Cervesato97ahierarchy,author = {Iliano Cervesato and Massimo Franceschet and Angelo Montanari},
title = {A hierarchy of modal event calculi: Expressiveness and complexity},
booktitle = {Proceedings of the Second International Conference on Temporal Logic --- ICTL'97},
year = {1997},
pages = {1--17},
publisher = {Kluwer}
}
Years of Citing Articles
Abstract:
Abstract. We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergot’s Event Calculus (EC): given a set of event occurrences, EC allows the derivation of the maximal validity intervals (MVIs) over which properties initiated or terminated by those events hold. The formalisms we analyze extend EC with operators from modal logic. They range from the basic Modal Event Calculus (MEC), that computes the set of all current MVIs (MVIs computed by EC) as well as the sets of MVIs that are true in some/every refinement of the current partial ordering of events (✸-/✷-MVIs), to the Generalized Modal Event Calculus (GMEC), that extends MEC by allowing a free mix of boolean connectives and modal operators. We analyze and compare the expressive power and the complexity of the proposed calculi, focusing on intermediate systems between MEC and GMEC. We motivate the discussion by using a fault diagnosis problem as a case study. 1
