Computational Intelligence, Volume 16, Number 2, 2000
A GUIDED TOUR THROUGH SOME EXTENSIONS OF THE EVENT CALCULUS Iliano Cervesato,† Massimo Franceschet,‡ and Angelo Montanari‡ † Department of Computer Science, Stanford University, Stanford, CA 94305-9045, USA Email: [email protected] ‡ Dipartimento di Matematica e Informatica, Universit`adi Udine, 33100 Udine, Italy Email: [email protected]; [email protected]
Kowalski and Sergot’s Event Calculus (EC ) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which properties initiated or terminated by these events hold. In this paper, we conduct a systematic analysis of EC by which we gain a better understanding of this formalism and determine ways of augmenting its expressive power. The keystone of this endeavor is the definition of an extendible formal specification of its functionalities. This formalization has the effects of casting MVIs determination as a model checking problem, of setting the ground for studying and comparing the expressiveness and complexity of various extensions of EC, and of establishing a semantic reference against which to verify the soundness and completeness of implementations. We extend the range of queries accepted by EC, which is limited to boolean combinations of MVI verification or computation requests, to support arbitrary quantification over events and modal queries. We also admit specifications based on preconditions. We demonstrate the added expressive power by encoding a number of diagnosis problems. Moreover, we provide a systematic comparison of the expressiveness and complexity of the various extended event calculi against each other. Finally, we propose a declarative encoding of these enriched event calculi in the logic programming language λProlog and prove the soundness and completeness of the resulting logic programs. Key words: Temporal Reasoning, Modal Queries, Complexity, λProlog
1. INTRODUCTION
The Event Calculus, abbreviated EC (Kowalski and Sergot, 1986) is a simple temporal formalism designed to model and reason about scenarios characterized by a set of events, whose occurrences have the effect of starting or terminating the validity of determined prop- erties. Events can be temporally qualified in several ways. We consider the case where the time at which they happen is unknown and information about the relative order of their oc- currence can be missing (Dean and Boddy, 1988). Given a (possibly incomplete) description of when these events take place and of the properties they affect, EC is able to determine the maximal validity intervals, or MVIs, over which a property holds uninterruptedly. In practice, since this formalism is usually implemented as a logic program, EC can also be used to check the truth of MVIs and process boolean combinations of MVI verification or computation requests. The range of queries that can be expressed in this way is however too limited for modeling realistic situations. Several extensions of the basic EC have been designed in order to accommodate con- structs intended to enhance its expressiveness. In particular, the addition of modal capabil- ities to EC has been addressed in (Cervesato et al., 1993; Chittaro et al., 1994; Denecker et al., 1992; Eshghi, 1988; Shanahan, 1989); primitives for dealing with continuous change, discrete processes, and concurrent actions have been proposed in (Evans, 1990; Montanari et al., 1992; Shanahan, 1990); preconditions have been incorporated in different variants of the basic EC (Cervesato et al., 1997b). However, a uniform framework that allows formally defining and contrasting the expressiveness and complexity of the various extensions to EC is still lacking. In this paper, we unify some of this previous work and carry a systematic analysis of EC .