Calculus of Macro-Events: Progress Report

摘要

The need of constraining the temporal relationships among sets of related events arises in several temporal reasoning tasks, including monitoring, plan validation, planning, and diagnosis. Process constructors provide an effective way of packaging up related events into individual conceptual chunks, called macro-events. In this paper, we present a first attempt at defining a Calculus of Macro-Events that extends Kowalski and Sergot's Event Calculus with process constructors to express effects triggered by complex combinations of event occurrences. We apply this language to model the operations of a simple gas heater, and present a Prolog implementation.