Temporal Granularity and Indeterminacy in Reasoning About Actions and Change: An Approach Based on the Event Calculus

Abstract

In many real-world applications, temporal information is often imprecise about the temporal location of events (i>indeterminacy) and comes at different granularities. Formalisms for reasoning about events and change, such as the Event Calculus (EC) and the Situation Calculus, do not usually provide mechanisms for handling such information, and very little research has been devoted to the goal of extending them with these capabilities. In this paper, we propose TGIC (Temporal Granularity and Indeterminacy event Calculus), an approach based on the EC ontology to represent events with imprecise location and to deal with them on different timelines.