Abstract
We have introduced the notion of temporal granularity in a planning system based on a temporal model. The use of different time scales together with the semantic effect of unit time change allows the planning of actions defined at different levels of abstractions. The advantage of a hierarchical planner consists in the fact that it can work, at each moment, at a granularity level as coarse as required, thus reducing the complexity of the problem we are addressing.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
J.F. Allen: “Mantaining Knowledge about Temporal Intervals”, Communications of the ACM, number 11, volume 26, November 1983.
J.F. Allen: “Towards a general theory of action and time”, Artificial Intelligence 23, pgg. 123–154, 1984.
J.F. Allen, H.A. Kautz, R.N. Pelavin, J.D. Tenenberg: “Reasoning about plans”, Morgan Kaufmann, San Mateo, Calif., 1991.
J.F. Allen, G.Ferguson: “Actions and events in interval temporal logic”, submitted, 1993.
S.Badaloni, E.Pagello, L.Stocchiero, A.Zanardi: “Making an autonomous robot plan temporally constrained maintenance operations”, in P.Torasso (ed.) “Advances in artificial Intelligence”, Lectures Notes in Artificial Intelligence n.728, pg. 290–301, Springer Verlag, 1993.
S.Badaloni, E.Pagello, L.Stocchiero, A.Zanardi: “Planning temporally qualified robot actions”, Proc. of the Int. Conf. on Advanced Robotics ICAR'93, Tokyo, Japan, November 1993.
S.Badaloni, M.Berati: “Decomposition and refinement of actions”, In A.Cesta, S.Gaglio (Eds) Proc. of the Italian Planning Workshop 1993 (IPW'93), Roma, Italy, September 1993.
E.Corsetti, E.Crivelli, D.Mandrioli, A.Montanari, A.Morzenti, P.San Pietro, E.Ratto: “Dealing with different time scales in formal specification”, Proc. 6th Int. Workshop on Software Specification and design, Italy, 1991.
C.Freksa: “Temporal Reasoning based on Semi-Intervals”, Artificial Intelligence vol.54, pgg. 199–227, 1992.
A.Galton “A critical examination of Allen's theory of action an time”, Artificial Intelligence, 42 (2–3), pgg. 159–188, 1990.
J. Hobbs: “Granularity”, Proc. of the 9th IJCAI, Los Angeles, USA, 1985.
J. Hobbs: “Sketch of a proposed ontology that underlies the way we talk about the world”, Proc. Workshop on Formal Ontology, Padua, 1993.
J.Jaffar, S.Michaylov: “Methodology and implementation of a CLP system”, Proc. of the 4th International Conference on Logic Programming, Melbourne, pgg. 196–218, 1987.
A. Montanari, E. Maim, E. Ciapessoni, E. Ratto: “Dealing with Time granularity in the Event Calculus”, Proc. of the International Conference on Fifth Generation Computer System, Tokyo, Japan, June 1992.
J.Tenenberg: “Planning with abstraction”, Proc. AAAI-86, Philadelphia, 1986.
A.Trudel: “A formal specification of Allen's processes”, Proc. of the Second Symposium on Logical Formalization of Commonsense Reasoning, Austin, Texas, 1993.
P. van Beek, Robin Cohen: “Exact and approximate reasoning about temporal relations”, Comput. Intelligence 6, pgg. 132–144, 1990.
P. van Beek: “Reasoning about qualitative temporal information”, Artificial Intelligence 58, pg 297–326, 1992.
M. Vilain, H. Kautz, P. van Beek, “Constraint propagation algorithms for temporal reasoning: a revised report”, Readings in qualitative Reasoning about physical objects, pgg. 373–381, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Badaloni, S., Berati, M. (1994). Dealing with time granularity in a temporal planning system. In: Gabbay, D.M., Ohlbach, H.J. (eds) Temporal Logic. ICTL 1994. Lecture Notes in Computer Science, vol 827. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013983
Download citation
DOI: https://doi.org/10.1007/BFb0013983
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58241-0
Online ISBN: 978-3-540-48585-8
eBook Packages: Springer Book Archive