SwePub
Sök i LIBRIS databas

  Utökad sökning

onr:"swepub:oai:DiVA.org:oru-64275"
 

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
  • Konferensbidrag (refereegranskat)
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

Hitta mer i SwePub

Av författaren/redakt...
Bhatt, Mehul, Pr ...
Rahayu, Wenny
Sterling, Gerald
Om ämnet
NATURVETENSKAP
NATURVETENSKAP
och Data och informa ...
och Datavetenskap
Artiklar i publikationen
Proceedings of t ...
Av lärosätet
Örebro universitet

Sök utanför SwePub

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy