Skip to main content
SpringerLink
Log in
Book cover

International Conference on Applications of Natural Language to Information Systems

NLDB 2016: Natural Language Processing and Information Systems pp 459–464Cite as

Spatial-Temporal Representation and Reasoning About Objects and Regions

  • Conference paper
  • First Online:

  • 2110 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 9612))

Abstract

There are many Artificial Intelligence application that require reasoning involving spatial and temporal concepts. We propose a spatio-temporal formalism to represent the relationship between objects and regions. The formalism is based on a first order language augmented with operators which main aim is to facilitate the representation of spatial-temporal objects positions. This temporal logic allows to study the evolution of relative positions between entities during time. The trajectory of an object in areas is represented by equivalence classes of objects positions in present, past and future.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Galton, A.: A critical examination of Allen’s theory of action and time. J. Artif. Intell. 42(2–3), 159–188 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  2. Galton, A.: On the notions of specification and implementation. R. Inst. Philos. Suppl. 34, 111–136 (1993)

    Article  Google Scholar 

  3. Allen, J.: Towards a general theory of actions and time. J. Artif. Intell. 23, 123–154 (1984)

    Article  MATH  Google Scholar 

  4. Mamache, F.: A temporal logic for reasoning about actions. Int. J. Open Probl. Comput. Sci. Math. 4(1), 97–112 (2011)

    MathSciNet  Google Scholar 

  5. Aider, A., Mamache, F.: Objects, regions and spatio-temporal logic. Asian J. Math. Comput. Res. 9(1), 77–91 (2016)

    Google Scholar 

  6. McDermott, D.: A temporal logic for reasoning about processes and plans. Process Cogn. Sci. 6, 101–155 (1989)

    Article  Google Scholar 

  7. Galton, A.: Spatial and temporal knowledge representation. Earth Sci. Inf. 2(3), 169–187 (2009)

    Article  Google Scholar 

  8. Birstouge, H., Ligozat, G.: Outils logiques pour le traitement du temps de la linguistique l’intelligence Artificielle. Masson, Paris (1989)

    MATH  Google Scholar 

  9. Knight, B., My, J., Peng, T.: Representing temporal relationships between events and their ef-fects. In: Proceedings of the International Fourth Temporal Workshop one Representation and Reasoning, pp. 148–152. IEEE Computer Society Press (1997)

    Google Scholar 

  10. Kayser, D., Mokhtari, A.: Time in a causal theory. Ann. Math. Artif. Intell. 22(1–2), 117–138 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  11. Kleene, S.C.: Mathematical logic. Collection U (1971)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire RIIMA, Département d’Informatique, Faculté d’Electronique et d’Informatique, USTHB, BP 32 El Alia, Bab-Ezouar, Alger, Algeria

    Aldjia Aider & Fatiha Mamache

  2. LMA Laboratoire de Mathématiques et Applications, Département de Mathématiques, Faculté de Sciences, Université Hassiba Benbouali Chlef, Chlef, Algeria

    Fatma-Zohra Belkredim

Authors
  1. Aldjia Aider
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fatiha Mamache
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Fatma-Zohra Belkredim
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Aldjia Aider .

Editor information

Editors and Affiliations

  1. ConservatoireNational desArts et Métiers, Paris, France

    Elisabeth Métais

  2. University of Salford, Salford, United Kingdom

    Farid Meziane

  3. University of Salford, Salford, United Kingdom

    Mohamad Saraee

  4. Oakland University, Rochester, Michigan, USA

    Vijayan Sugumaran

  5. University of Salford, Salford, United Kingdom

    Sunil Vadera

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Aider, A., Mamache, F., Belkredim, FZ. (2016). Spatial-Temporal Representation and Reasoning About Objects and Regions. In: Métais, E., Meziane, F., Saraee, M., Sugumaran, V., Vadera, S. (eds) Natural Language Processing and Information Systems. NLDB 2016. Lecture Notes in Computer Science(), vol 9612. Springer, Cham. https://doi.org/10.1007/978-3-319-41754-7_49

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-41754-7_49

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-41753-0

  • Online ISBN: 978-3-319-41754-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation