Advertisement

A Hierarchy of Modal Event Calculi: Expressiveness and Complexity

  • Iliano Cervesato
  • Massimo Franceschet
  • Angelo Montanari
Part of the Applied Logic Series book series (APLS, volume 16)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Cervesato, I., L. Chittaro, and A. Montanari: 1995a, ‘A Modal Calculus of Partially Ordered Events in a Logic Programming Framework’. In: L. Sterling (ed.): Proceedings of the Twelfth International Conference on Logic Programming — ICLP’95. Kanagawa, Japan, pp. 299–313.Google Scholar
  2. Cervesato, I., L. Chittaro, and A. Montanari: 1995b, ‘Speeding up temporal reasoning by exploiting the notion of kernel of an ordering relation’. In: S. Goodwin and H. Hamilton (eds.): Proceedings of the Second International Workshop on Temporal Representation and Reasoning — TIME’95. Melbourne Beach, FL, pp. 73–80.Google Scholar
  3. Cervesato, I., L. Chittaro, and A. Montanari: 1996, ‘A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants’. In: W. Wahlster (ed.): Proceedings of the Twelfth European Conference on Artificial Intelligence — ECAI’96. Budapest, Hungary, pp. 33–37. Extended and revised version submitted for publication, July 1996.Google Scholar
  4. Cervesato, I., M. Franceschet, and A. Montanari: 1997, ‘Modal Event Calculi with Preconditions’. In: R. Morris and L. Khatib (eds.): Fourth International Workshop on Temporal Representation and Reasoning — TIME’97. Daytona Beach, FL, pp. 38–45.CrossRefGoogle Scholar
  5. Cervesato, I., A. Montanari, and A. Provetti: 1993, ‘On the Non-Monotonic Behavior of the Event Calculus for Deriving Maximal Time Intervals’. International Journal on Interval Computations 2, 83–119.Google Scholar
  6. D.C. Moffat, G. R.: 1990, ‘Modal Queries about Partially-ordered Plans’. Journal of Expt. Theor. Artificial Intelligence 2, 341–368.CrossRefGoogle Scholar
  7. Dean, T. and M. Boddy: 1988, ‘Reasoning about Partially Ordered Events’. Artificial Intelligence 36, 375–399.CrossRefGoogle Scholar
  8. Franceschet, M.: 1996, ‘Una Gerarchia di Calcoli Modali degli Eventi: Espressività e Complessità (in Italian)’. Tesi di Laurea in Informatica, Università di Udine, Italy. To appear as a Research Report in English.Google Scholar
  9. Garey, M. and D. Johnson: 1979, Computing and Intractability: A Guide to the Theory of NP-Completeness. Freeman & Cie.Google Scholar
  10. Kowalski, R. and M. Sergot: 1986, ‘A Logic-Based Calculus of Events’. New Generation Computing 4, 67–95.CrossRefGoogle Scholar
  11. Nökel, K.: 1991, Temporarily Distributed Symptoms in Technical Diagnosis. Springer-Verlag.Google Scholar
  12. Segerberg, K.: 1971, ‘An Essay in Classical Modal Logic’. Uppsala Filosofiska Studier.Google Scholar
  13. Stockmeyer, L.: 1987, ‘Classifying the computational complexity of problems’. Journal of Symbolic Logic 52 (1), 1–43.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2000

Authors and Affiliations

  • Iliano Cervesato
    • 1
  • Massimo Franceschet
    • 2
  • Angelo Montanari
    • 2
  1. 1.Department of Computer ScienceCarnegie Mellon UniversityPittsburghUSA
  2. 2.Dipartimento di Matematica e InformaticaUniversità di UdineUdineItaly

Personalised recommendations