A Calculus of Macro-Events: Progress Report
Abstract
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 2000
- Accession Number
- ADA465072
Entities
People
- Angelo Montanari
- Iliano Cervesato