Electronic Resource

A Causal Perspective to Qualitative Spatial Reasoning in the Situation Calculus

التفاصيل البيبلوغرافية
العنوان: A Causal Perspective to Qualitative Spatial Reasoning in the Situation Calculus
المؤلفون: Bhatt, Mehul, Rahayu, Wenny, Sterling, Gerald
بيانات النشر: Department of Computer Science, La Trobe University Melbourne, Australia Department of Computer Science, La Trobe University Melbourne, Australia Air-Operations Division, Defence Science Technology Organisation, Melbourne, Australia Springer 2006
نوع الوثيقة: Electronic Resource
مستخلص: 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.
مصطلحات الفهرس: Computer Sciences, Datavetenskap (datalogi), Conference paper, info:eu-repo/semantics/conferenceObject, text
DOI: 10.1007.11874850_47
URL: http://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-64276
Lecture Notes in Computer Science, 0302-9743 ; 4140
Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 : 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23-27, 2006, Proceedings, p. 430-440
الاتاحة: Open access content. Open access content
info:eu-repo/semantics/restrictedAccess
ملاحظة: English
Other Numbers: UPE oai:DiVA.org:oru-64276
0000-0002-6290-5492
urn:isbn:978-3-540-45462-5
urn:isbn:978-3-540-45464-9
doi:10.1007/11874850_47
ISI:000242128100047
Scopus 2-s2.0-33751357708
1233823347
المصدر المساهم: UPPSALA UNIV LIBR
From OAIster®, provided by the OCLC Cooperative.
رقم الانضمام: edsoai.on1233823347
قاعدة البيانات: OAIster