Skip to main content
SpringerLink
Log in

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

  • Published:
Annals of Mathematics and Artificial Intelligence Aims and scope Submit manuscript

Abstract

In many real-world applications, temporal information is often imprecise about the temporal location of events (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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. C. Bettini, C.E. Dyreson, W.S. Evans, R.T. Snodgrass and X.S. Wang, A glossary of time granularity concepts, in: Temporal Databases-Research and Practice, eds. O. Etzion, S. Jajodia and S. Sripada, Lecture Notes in Computer Science, Vol. 1399 (Springer, Berlin, 1998) pp. 406-413.

    Google Scholar 

  2. C. Bettini, X.S. Wang and S. Jajodia, A general framework for time granularity and its application to temporal reasoning, Annals of Mathematics and Artificial Intelligence 22 (1998) 29-58.

    Google Scholar 

  3. C. Bettini, X.S. Wang and S. Jajodia, Time Granularities in Databases, Data Mining, and Temporal Reasoning (Springer, Berlin, 2000).

    Google Scholar 

  4. I. Cervesato, M. Franceschet and A. Montanari, A guided tour through some extensions of the Event Calculus, Computational Intelligence 16 (2000) 307-347.

    Google Scholar 

  5. L. Chittaro, C. Combi, E. Cervesato, R. Cervesato, F. Antonini-Canterin, G.L. Nicolosi and D. Zanuttini, Specifying and representing temporal abstractions of clinical data by a query language based on the Event Calculus, in: Proceedings of the 24th Annual Conference on Computers in Cardiology (IEEE Press, 1997) pp. 633-636.

  6. L. Chittaro and C. Combi, Temporal indeterminacy in deductive databases: an approach based on the Event Calculus, in: Active, Real-time and Temporal Database Systems (ARTDB), Lecture Notes in Computer Science, Vol. 1553 (Springer, Berlin, 1998) pp. 212-227.

    Google Scholar 

  7. L. Chittaro and C. Combi, Reasoning about events with imprecise location and multiple granularities, in: Proceedings of the 10th International Conference on Database and Expert Systems Applications (DEXA), Lecture Notes in Computer Science, Vol. 1677 (Springer, Berlin, 1999) pp. 1006-1017.

    Google Scholar 

  8. L. Chittaro and M. Dojat, Using a general theory of time and change in patient monitoring: experiment and evaluation, Computers in Biology and Medicine 27 (1997) 435-452. Special issue on time-oriented systems.

    Google Scholar 

  9. L. Chittaro and A. Montanari, Efficient temporal reasoning in the Cached Event Calculus, Computational Intelligence 12 (1996) 359-382.

    Google Scholar 

  10. L. Chittaro and A. Montanari, Temporal representation and reasoning in artificial intelligence: issues and approaches, Annals of Mathematics and Artificial Intelligence 28 (2000) 47-106.

    Google Scholar 

  11. J. Clifford and A. Rao, A simple, general structure for temporal domains, in: Temporal Aspects in Information Systems, eds. C. Rolland, F. Bodart and M. Leonard (Elsevier, Amsterdam, 1988) pp. 17-28.

    Google Scholar 

  12. C. Combi and L. Chittaro, Abstraction on clinical data sequences: an object-oriented data model and a query language based on the Event Calculus, Artificial Intelligence in Medicine 17 (1999) 271-301.

    Google Scholar 

  13. C. Combi and L. Chittaro, Extending the Event Calculus with temporal granularity and indeterminacy, in: AAAI Workshop on Spatial and Temporal Granularity, eds. C. Bettini and A. Montanari, Technical Report WS-00-08 (AAAI Press, 2000) pp. 53-59.

  14. C. Combi and G. Pozzi, HMAP-A temporal data model managing intervals with different granularities and indeterminacy from natural language sentences, The VLDB Journal 9 (2001) 294-311.

    Google Scholar 

  15. T. Dean and M. Boddy, Reasoning about partially ordered events, Artificial Intelligence 36 (1988) 375-399.

    Google Scholar 

  16. R. Dechter, I. Meiri and J. Pearl, Temporal constraint networks, Artificial Intelligence 49 (1991) 61-5.

    Google Scholar 

  17. C.E. Dyreson and R.T. Snodgrass, Supporting valid-time indeterminacy, ACM Transactions on Database Systems 23 (1998) 1-57.

    Google Scholar 

  18. J. Euzenat, An algebraic approach to granularity in qualitative time and space representation, in: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI) (Morgan Kaufmann, San Mateo, CA, 1995) pp. 894-900.

    Google Scholar 

  19. I.A. Goralwalla, Y. Leontiev, M.T. Ozsu, D. Szafron and C. Combi, Temporal granularity for unanchored temporal data, in: Proceedings of the 1998 ACM International Conference on Information and Knowledge Management (CIKM), eds. G. Gardarin, J.C. French, N. Pissinou, K. Makki and L. Bouganim (ACM Press, 1998) pp. 414-423.

  20. H. Kautz and P. Ladkin, Integrating metric and qualitative temporal reasoning, in: Proceedings of the 9th National Conference of the American Association for Artificial Intelligence (AAAI) (AAAI Press/MIT Press, 1991) pp. 241-246.

  21. R. Kowalski and M. Sergot, A logic-based calculus of events, New Generation Computing 4 (1986) 67-95.

    Google Scholar 

  22. J. McCarthy and P. Hayes, Some philosophical problems from the standpoint of artificial intelligence, Machine Intelligence 4 (1969) 463-502.

    Google Scholar 

  23. I. Meiri, Combining qualitative and quantitative constraints in temporal reasoning, Artificial Intelligence 87 (1996) 343-385.

    Google Scholar 

  24. A. Montanari, E. Maim, E. Ciapessoni and E. Ratto, Dealing with time granularity in the Event Calculus, in: Proceedings of the International Conference of Fifth Generation Computer Systems (FGCS) (IOS Press, 1992) pp. 702-712.

  25. C. Papadimitriou, Computational Complexity (Addison-Wesley, 1994).

  26. F. Sadri and R.A. Kowalski, Variants of the Event Calculus, in: Proceedings of the 12th International Conference on Logic Programming (ICLP) (MIT Press, Cambridge, MA, 1995) pp. 67-81.

    Google Scholar 

  27. Y. Shahar, A framework for knowledge-based temporal abstraction, Artificial Intelligence 90 (1995) 79-133.

    Google Scholar 

  28. R.T. Snodgrass (ed.), The TSQL2 Temporal Query Language (Kluwer, Dordrecht, 1995).

    Google Scholar 

  29. S. Staab and U. Hahn, Scalable temporal reasoning, in: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI) (Morgan Kaufmann, San Mateo, CA, 1999) pp. 1247-1252.

    Google Scholar 

  30. P. van Beek and R. Cohen, Exact and approximate reasoning about temporal relations, Computational Intelligence 6 (1990) 132-144.

    Google Scholar 

  31. T. Vidal and M. Ghallab, Dealing with uncertain durations in temporal constraint networks dedicated to planning, in: Proceedings of the 12th European Conference of Artificial Intelligence (ECAI) (Wiley, New York, 1996) pp. 48-52.

    Google Scholar 

  32. R. Wetprasit and A. Sattar, Temporal reasoning with qualitative and quantitative information about points and durations, in: Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference (AAAI-IAAI) (MIT Press, Cambridge, MA, 1998) pp. 656-663.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, University of Udine, via delle Scienze 206, 33100, Udine, Italy

    Luca Chittaro

  2. Department of Computer Science, University of Verona, Ca', Vignal 2 strada le Grazie 15, 37134, Verona, Italy

    Carlo Combi

Authors
  1. Luca Chittaro
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Carlo Combi
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Chittaro, L., Combi, C. Temporal Granularity and Indeterminacy in Reasoning About Actions and Change: An Approach Based on the Event Calculus. Annals of Mathematics and Artificial Intelligence 36, 81–119 (2002). https://doi.org/10.1023/A:1015851820698

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1015851820698

Search

Navigation