Skip to main content

Reasoning about generalized intervals

  • Conference paper
  • First Online:
Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 1998)

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

Abstract

Extending previous notions of generalized intervals, this paper defines the generalized interval as a tuple of solutions of some consistent interval network. It studies the possible relations between such generalized intervals and introduces the notion of a generalized interval network. It proves the tractability of the problem of the consistency of a generalized network which constraints are preconvex.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, Volume 26, 832ā€“843, 1983.

    ArticleĀ  MATHĀ  Google ScholarĀ 

  2. J. Allen, P. HayesA common sense theory of time. A. Joshi (editor), IJCAI-85, Proceedings of the 9th International Joint Conference on Artificial Intelligence, Volume 1, 528ā€“531, Morgan Kaufmann 1985.

    Google ScholarĀ 

  3. P. Balbiani, J.-F. Condotta, L. FariƱas del Cerro.A model for reasoning about bidimensional temporal relations. A. Cohn, L. Schubert (editors), KR'98. To appear.

    Google ScholarĀ 

  4. C. BessiĆØre, A. Isli, G. Ligozat.Global consistency in interval algebra networks: tractable subclasses. W. Wahlster (editor), ECAI-96. Proceedings of the 12th European Conference on Artificial Intelligence, 3ā€“7, Wiley, 1996.

    Google ScholarĀ 

  5. P. Ladkin. Time representation: a taxonomy of interval relations. AAAI-86. Proceedings of the Fifth National Conference on Artificial Intelligence, Volume 1, 360ā€“366, 1986

    Google ScholarĀ 

  6. P. Ladkin.Models of axioms for time intervals. AAAI-87. Proceedings of the Sixth National Conference on Artificial Intelligence, Volume 1, 234ā€“239, Maurgan Kaufmann 1987.

    Google ScholarĀ 

  7. G. Ligozat.Weak representations of interval algebras. AAAI-90. Proceedings of the 8th National Conference on Artificial Intelligence, Volume Two, 715ā€“720, AAAI Press and MIT Press, 1990.

    Google ScholarĀ 

  8. G. Ligozat.On generalized interval calculi. AAAI-91. Proceedings of the Ninth National Conference on Artificial Intelligence, Volume One, 234ā€“240, AAAI Press and MIT Press, 1991.

    Google ScholarĀ 

  9. G. Ligozat.A new proof of tractability for ORD-Horn relations. AAAI-96. Proceedings of the Thirteenth National Conference on Artificial Intelligence, Volume One, 395ā€“401, AAAI Press and MIT Press, 1996.

    Google ScholarĀ 

  10. G. Ligozat, H. Bestougeff. On relations between intervals. Information Processing Letters, Volume 32, 177ā€“182, 1989.

    ArticleĀ  MATHĀ  MathSciNetĀ  Google ScholarĀ 

  11. A. MackworthConsistency in networks of relations. Artificial Intelligence, Volume 8, 99ā€“118, 1977.

    ArticleĀ  MATHĀ  Google ScholarĀ 

  12. R. Morris, W. Shoaff, L. Khatib.Path consistency in a network of non-convex intervals. IJCAI-93. Proceedings of the 13th International Joint Conference on Artificial Intelligence, Volume 1, 655ā€“660, Morgan Kaufmann, 1993.

    Google ScholarĀ 

  13. B. Nebel, H.-J. BĆ¼rckert.Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra. AAAI-94. Proceedings of the Twelfth National Conference on Artificial Intelligence, Volume One, 356ā€“361, AAAI Press and MIT Press, 1994.

    Google ScholarĀ 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Fausto Giunchiglia

Rights and permissions

Reprints and permissions

Copyright information

Ā© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Balbiani, P., Condotta, J.F., FariƱas del Cerro, L., Osmani, A. (1998). Reasoning about generalized intervals. In: Giunchiglia, F. (eds) Artificial Intelligence: Methodology, Systems, and Applications. AIMSA 1998. Lecture Notes in Computer Science, vol 1480. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0057434

Download citation

  • DOI: https://doi.org/10.1007/BFb0057434

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64993-9

  • Online ISBN: 978-3-540-49793-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics