Sökning: onr:"swepub:oai:DiVA.org:oru-64275" >
Qualitative Spatial...
Qualitative Spatial Reasoning with Topological Relations in the Situation Calculus
-
- Bhatt, Mehul, Professor, 1980- (författare)
- Department of Computer Science, La Trobe University, Melbourne, Australia,AASS
-
- Rahayu, Wenny (författare)
- Department of Computer Science, La Trobe University, Melbourne, Australia
-
- Sterling, Gerald (författare)
- Air-Operations Division, DSTO, Melbourne, Australia
-
(creator_code:org_t)
- AAAI Press, 2006
- 2006
- Engelska.
-
Ingår i: Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, Melbourne Beach, Florida, USA, May 11-13, 2006. - : AAAI Press. - 9781577352617 ; , s. 713-718
- Relaterad länk:
-
https://urn.kb.se/re...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas