To Örebro University

oru.seÖrebro University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Qualitative Spatial Reasoning with Topological Relations in the Situation Calculus
Department of Computer Science, La Trobe University, Melbourne, Australia. (AASS)ORCID iD: 0000-0002-6290-5492
Department of Computer Science, La Trobe University, Melbourne, Australia.
Air-Operations Division, DSTO, Melbourne, Australia.
2006 (English)In: Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, Melbourne Beach, Florida, USA, May 11-13, 2006, AAAI Press , 2006, p. 713-718Conference paper, Published paper (Refereed)
Abstract [en]

We use a qualitative theory of spatial change and illustrate some of the key representational aspects of specifying such a theory using a formalism to reason about action & change; an effort that we regard to be essential toward a general integration of qualitative spatial reasoning with reasoning about the dynamic, causal aspects of spatial change. A topological theory of space, namely the region connection calculus, is used as the spatial metaphor in this work; the reason here primarily being that topological distinctions are inherently qualitative in nature and also because a relational approach as general as the RCC is representative of a similar class of relational techniques in the QSR domain. As such, our results can be easily generalised over a wide range of calculi, encompassing other aspects of space, that are based on similar semantics. The main aim of this paper is to illustrate first ideas on how a causal perspective to qualitative spatial reasoning may be provided using the situation calculus, which is a formalism to reason about dynamically changing domains, The minimalist notions of space and/or spatial dynamics in this paper are based on the hypothesis that it is imperative to approach the problem of the said integration at a elementary level before a higher-level abstraction involving complex actions & events is developed.

Place, publisher, year, edition, pages
AAAI Press , 2006. p. 713-718
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:oru:diva-64275Scopus ID: 2-s2.0-33746032956ISBN: 9781577352617 (print)OAI: oai:DiVA.org:oru-64275DiVA, id: diva2:1174441
Conference
19th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2006), Melbourne Beach, FL, United States, May 11-13, 2006
Available from: 2018-01-15 Created: 2018-01-15 Last updated: 2022-08-05Bibliographically approved

Open Access in DiVA

No full text in DiVA

Scopus

Authority records

Bhatt, Mehul

Search in DiVA

By author/editor
Bhatt, Mehul
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 285 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf