Advertisement

Towards a qualitative theory of movement

  • Antony Galton
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 988)

Abstract

The phenomenon of movement arises whenever the same object occupies different positions in space at different times. Therefore a theory of movement must contain theories of time, space, objects, and position. We provide a theoretical basis for describing movement events in terms of the conditions for their occurrence, which refer to the holding or not holding of various positional fluents at different times. For this we need to bring together a formal model of time with a formal model of space. By attending closely to the constraints imposed by continuity on the temporal behaviour of different fluents we develop theory of dominance, which enables us to generate ab initio the perturbation relation on the full set of positional relations.

Keywords

Instantaneous Event Occurrence Condition Perturbation Relation Unique Instant Partly Outside 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Allen, J. F. (1983). Maintaining knowledge about temporal intervals, Communications of the ACM 26: 832–843.Google Scholar
  2. Allen, J. F. (1984). Towards a general theory of action and time, Artificial Intelligence 23: 123–154.Google Scholar
  3. Allen, J. F. and Hayes, P. J. (1985). A common-sense theory of time, Proceedings of the 9th International Joint Conference on Artificial Intelligence, pp. 528–531.Google Scholar
  4. Egenhofer, M. J. (1991). Reasoning about binary topological relations, in O. Günther and H.-J. Schek (eds), Advances in Spatial Databases, Springer-Verlag, pp. 143–160.Google Scholar
  5. Freksa, C. (1992). Using orientation information for qualitative spatial reasoning, in A. U. Frank, I. Campanari and U. Formentini (eds), Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, Springer, Berlin, pp. 162–178. Lecture Notes in Computer Science, Volume 639.Google Scholar
  6. Galton, A. P. (1990). A critical examination of Allen's theory of action and time, Artificial Intelligence 42: 159–188.Google Scholar
  7. Galton, A. P. (1993). Towards an integrated logic of space, time, and motion, Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence.Google Scholar
  8. Galton, A. P. (1994). Instantaneous events, in Hans Jürgen Ohlbach (ed.), Temporal Logic: Proceedings of the ICTL Workshop, Max-Planck-Institut für Informatik, Saarbrücken.Google Scholar
  9. Galton, A. P. (1995). A qualitative approach to continuity, Time, Space, and Movement: Meaning and Knowledge in the Sensible World. Working papers of TSM'95, Château de Bonas, 23–27 June 1995, Groupe ‘Langue, Raisonnement, Calcul', Toulouse.Google Scholar
  10. Hamblin, C. L. (1969). Starting and stopping, The Monist 53:410–425.Google Scholar
  11. Hamblin, C. L. (1971). Instants and intervals, Studium Generale 24:127–134.Google Scholar
  12. Randell, D. A., Cui, Z. and Cohn, A. G. (1992). A spatial logic based on regions and connection, Proceedings of the Third International Conference on Knowledge Representation and Reasoning, pp. 165–176. Cambridge, Massachusetts, October 1992.Google Scholar
  13. van Benthem, J. F. A. K. (1983). The Logic of Time, Kluwer, Dordrecht. Second Edition, 1991.Google Scholar
  14. Williams, B. C. (1990). Temporal qualitative analysis: Explaining how physical systems work, in D. S. Weld and J. de Kleer (eds), Qualitative Reasoning about Physical Systems, Morgan Kaufmann, San Mateo, California, pp. 133–177.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Antony Galton
    • 1
  1. 1.Department of Computer ScienceUniversity of ExeterExeterUK

Personalised recommendations