An Integrated Framework For Temporal Aggregation And Omission In The Event Calculus
Free (open access)
L. Chittaro, A. Montanari & E. Peressi
An integrated framework for temporal aggregation and omission in the Event Calculus L. Chittaro, A. Montanari, E. Peressi Dipartimento di Matematica e Informatica, Universitd di Udine, 206, jJ700 1 Introduction Temporal reasoning is a major requirement in many intelligent system ap- plications such as planning and scheduling. These applications need the ability to store information about past, current, and future states of the considered domain , as well as the ability to manage temporal informa- tion not only to retrieve it as it was stored in the database, but also to automatically derive further data by means of temporal projection [4, 5]. In this paper, we consider two key temporal reasoning mechanisms: ag- gregation and omission. Temporal aggregation is essentially an abstraction mechanism that allows one to disregard negligible phenomena. Temporal omission exploits domain knowledge to limit temporal projection in the case of incomplete information.