Abstract
We present the concept of the deductive temporal data base MTMM, that corrects and extends Dean’s [85] TMM in a number of aspects, allowing complete and consistent temporal inferences from a temporal model that may be given in a quantitative or qualitative way. The user is allowed to incorporate a certain form of inconsistency in the time map; we will demonstrate that this is a useful feature. Moreover, the user may withdraw any information at any time. The expressiveness of the temporal logic of the MTMM is equivalent to convex subsets of Allen’s relations.
We present the basics of the MTMM, going into the concepts of persistence, persistence clipping, and validity in a bit more detail.
Work partly done in the joint project TASSO, supported by Fed. Min. for Research and Technology, grant no. ITW 8900 A7. TASSO is also part of the GMD “Leitvorhaben” Assisting Computer (AC)
Hans Vo\ co-authored a companion paper [Materne/Hertzberg/Vo\ 90] that shares some amount of work with this one. Thanks to Tom Gordon and Hans Werner Güsgen for reading earlier versions of this paper.
Preview
Unable to display preview. Download preview PDF.
References
Allen, J.F.: Maintaining Knowledge about Temporal Intervals. C.acm, 26 (1983), 832
Allen, J.F./ Hayes, P.: Short Time Periods. Proc. IJCAI-87, 981
Dean, T.L.: Temporal imagery: An approach to reasoning about time for planning and problem solving. Tech. Report 433, Comp. Sci. Dept., Yale Univ., New Haven CT, 1985
Dean, T.L./ Boddy, M.: Incremental Causal Reasoning. Proc. AAAI-87, 196
Dean, T.L./ McDermott, D.V.: Temporal Data Base Management J. Art. Int., 32 (1987), 1
Doyle, J.: A Truth Maintenance System. Art. Int, 12 (1979), 231
Drabble, B.: Planning and Reasoning with Processes. AIAI-TR-56, Artificial Intelligence Applications Institute, Univ. of Edinburgh, Nov. 1988
Fikes, R.E./ Nilsson, N.J.: STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Art. Int., 2, 189 (1971)
Forbus, K.D.: Qualitative Process Theory. J. Art. Int., 24 (1984), 85
Ginsberg, M.L./ Smith, D.E.: Reasoning About Action I: A Possible Worlds Approach. J. Art. Int., 35 (1988), 165
Güsgen, H.W./ Hertzberg, J.: Some Fundamental Properties of Local Constraint Propagation. in: J. Artificial Intelligence, 36, 237 (1988)
Hanks, S./ McDermott D.: Temporal Reasoning and Default Logics. YALEU/CSD/RR#430, Yale Univ., Dept. of Computer Science, Oct 1985
deKleer, J./ Brown, J.S.: A Qualitative Physics Based on Confluences. J. Art. Int., 24 (1984), 7
Materne, S.: MTMM — Ein System zur Verwaltung von ZeitverhÄltnissen. Diploma Thesis, Computer Science Dept., Bonn University, June 1990 (in German). To be published as GMD-Bericht, München (Oldenbourg Verlag) 1991
Materne, S./ Hertzberg, J./ Vo\, H.: On Clipping Persistence (Or Whatever Must Be Clipped) in Time Maps. Submitted paper.
McCarthy, J./ Hayes, P.J.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. Mach. Int., 4 (1969)
Nökel, K.: Convex Relations Between Time Intervals. Proc. öGAI-89, (Berlin (Springer) 1989), 298
Shoham, Y./ McDermott, D.V.: Problems in Formal Temporal Reasoning. Art. Int., 36 (1988), 49
Vere, S.A.: Planning in Time: Windows and Durations for Activities and Goals. IEEE Trans. PAMI-5, 246 (1983)
Vo\, H./ Linster, M.: Interval-based Envisioning in HIQUAL. Applied Art. Int., 3 (1989), 17
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Materne, S., Hertzberg, J. (1991). MTMM — Correcting and extending time map management. In: Hertzberg, J. (eds) European Workshop on Planning. EWSP 1991. Lecture Notes in Computer Science, vol 522. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0052952
Download citation
DOI: https://doi.org/10.1007/BFb0052952
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54364-0
Online ISBN: 978-3-540-47584-2
eBook Packages: Springer Book Archive