Sökning: onr:"swepub:oai:DiVA.org:oru-64276" >
A Causal Perspectiv...
A Causal Perspective to Qualitative Spatial Reasoning 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, Defence Science Technology Organisation, Melbourne, Australia
-
(creator_code:org_t)
- Berlin, Heidelberg : Springer, 2006
- 2006
- Engelska.
-
Ingår i: Advances in Artificial Intelligence - IBERAMIA-SBIA 2006. - Berlin, Heidelberg : Springer. - 9783540454625 - 9783540454649 ; , s. 430-440
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- We propose the utilisation of a general formalism to reason about action & change for reasoning about the dynamic purpose-directed aspects of spatial change. Such an approach is necessary toward the general integration of qualitative spatial reasoning with reasoning about the teleological aspects of spatial change. With this as the overall context, the main contribution of this paper is to illustrate first ideas relevant to providing a causal perspective to qualitative spatial reasoning using the situation calculus. With minimal notions about space & spatial dynamics, we perform a naive characterisation of objects based on their physical properties and investigate the key representational aspects of a topological theory of space, namely the region connection calculus, in the situation calculus. Further, ontological distinctions are made between various occurrents, i.e., actions and internal & external events, and a domain level characterisation of spatial occurrents in terms of their spatial pre-conditions & effects is performed so as to provide a causal perspective to spatial reasoning.
Ä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