Skip to main content
SpringerLink
Log in

MTMM — Correcting and extending time map management

  • Conference paper
  • First Online:
European Workshop on Planning (EWSP 1991)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 522))

Included in the following conference series:

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.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Allen, J.F.: Maintaining Knowledge about Temporal Intervals. C.acm, 26 (1983), 832

    Article  MATH  Google Scholar 

  2. Allen, J.F./ Hayes, P.: Short Time Periods. Proc. IJCAI-87, 981

    Google Scholar 

  3. 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

    Google Scholar 

  4. Dean, T.L./ Boddy, M.: Incremental Causal Reasoning. Proc. AAAI-87, 196

    Google Scholar 

  5. Dean, T.L./ McDermott, D.V.: Temporal Data Base Management J. Art. Int., 32 (1987), 1

    Article  Google Scholar 

  6. Doyle, J.: A Truth Maintenance System. Art. Int, 12 (1979), 231

    Article  MathSciNet  Google Scholar 

  7. Drabble, B.: Planning and Reasoning with Processes. AIAI-TR-56, Artificial Intelligence Applications Institute, Univ. of Edinburgh, Nov. 1988

    Google Scholar 

  8. Fikes, R.E./ Nilsson, N.J.: STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Art. Int., 2, 189 (1971)

    Article  MATH  Google Scholar 

  9. Forbus, K.D.: Qualitative Process Theory. J. Art. Int., 24 (1984), 85

    Article  Google Scholar 

  10. Ginsberg, M.L./ Smith, D.E.: Reasoning About Action I: A Possible Worlds Approach. J. Art. Int., 35 (1988), 165

    Article  MATH  MathSciNet  Google Scholar 

  11. Güsgen, H.W./ Hertzberg, J.: Some Fundamental Properties of Local Constraint Propagation. in: J. Artificial Intelligence, 36, 237 (1988)

    Article  MATH  Google Scholar 

  12. Hanks, S./ McDermott D.: Temporal Reasoning and Default Logics. YALEU/CSD/RR#430, Yale Univ., Dept. of Computer Science, Oct 1985

    Google Scholar 

  13. deKleer, J./ Brown, J.S.: A Qualitative Physics Based on Confluences. J. Art. Int., 24 (1984), 7

    Article  Google Scholar 

  14. 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

    Google Scholar 

  15. Materne, S./ Hertzberg, J./ Vo\, H.: On Clipping Persistence (Or Whatever Must Be Clipped) in Time Maps. Submitted paper.

    Google Scholar 

  16. McCarthy, J./ Hayes, P.J.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. Mach. Int., 4 (1969)

    Google Scholar 

  17. Nökel, K.: Convex Relations Between Time Intervals. Proc. öGAI-89, (Berlin (Springer) 1989), 298

    Google Scholar 

  18. Shoham, Y./ McDermott, D.V.: Problems in Formal Temporal Reasoning. Art. Int., 36 (1988), 49

    Article  MATH  Google Scholar 

  19. Vere, S.A.: Planning in Time: Windows and Durations for Activities and Goals. IEEE Trans. PAMI-5, 246 (1983)

    Google Scholar 

  20. Vo\, H./ Linster, M.: Interval-based Envisioning in HIQUAL. Applied Art. Int., 3 (1989), 17

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Schlo\ Birlinghoven, German National Research Center for Computer Science (GMD), 5205 Sankt Augustin 1, F.R.G.

    Stefan Materne & Joachim Hertzberg

Authors
  1. Stefan Materne
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Joachim Hertzberg
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Joachim Hertzberg

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation