oru.sePublications
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: 2018-01-22Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

ScopusQualitative Spatial Reasoning with Topological Relations in the Situation Calculus

Authority records BETA

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: 28 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