| 1. |
- Bhatt, Mehul, Professor, 1980-, et al.
(författare)
-
A Causal Perspective to Qualitative Spatial Reasoning in the Situation Calculus
- 2006
-
Ingår i: Advances in Artificial Intelligence - IBERAMIA-SBIA 2006. - Berlin, Heidelberg : Springer. - 9783540454625 - 9783540454649 ; , s. 430-440
-
Konferensbidrag (refereegranskat)abstract
- 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.
|
|
| 2. |
- Bhatt, Mehul, Professor, 1980-, et al.
(författare)
-
A General Framework Based on Dynamic Constraints for the Enrichment of a Topological Theory of Spatial Simulation
- 2005
-
Ingår i: Knowledge-Based Intelligent Information and Engineering Systems. - Berlin, Heidelberg : Springer. - 9783540288978 - 9783540319979 ; , s. 366-373
-
Konferensbidrag (refereegranskat)abstract
- Qualitative spatial representation and reasoning has emerged as a major sub-field of AI in the past decade. An important research problem within the field is that of integrated reasoning about various spatial aspects such as distance, size, topology etc - an important application here being the qualitative simulation of physical processes. Approaches based on topology alone fail to provide an explicit account of other important aspects of spatial change thereby also not utilizing dynamically available information pertaining to them. Our work in this paper is based on the idea that a general theory of spatial simulation based on topological changes alone can be enriched by the inclusion of sub-theories relevant to other aspects of spatial change. We propose a general framework consisting of dynamic constraints for the enrichment of a topological theory of spatial changes. We propose the utilisation of such dynamic constraints for the incorporation of dynamically available information relevant to various aspects of space thereby making that aspect explicit in the theory. As an example of the proposed approach, we integrate dynamically available information pertaining to motion and size with the topological theory of RCC-8 using our framework of dynamic constraints.
|
|
| 3. |
- Bhatt, Mehul, Professor, 1980-, et al.
(författare)
-
Qualitative Spatial Reasoning with Topological Relations in the Situation Calculus
- 2006
-
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
- 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.
|
|
| 4. |
- Bhatt, Mehul, Professor, 1980-, et al.
(författare)
-
Situation Awareness in Synthetic Environments : Towards a Computational Model
- 2005
-
Ingår i: Proceedings of the 2nd Indian International Conference on Artificial Intelligence, Pune, India, December 20-22, 2005. - : IICAI. - 0972741216 - 9780972741217 ; , s. 3556-3575
-
Konferensbidrag (refereegranskat)abstract
- The simulation of the behaviour of autonomous entities in space is an interesting research method to advance our understanding of the interaction of human beings with the environment. Although rather complex cognitive models of human-level Situation Awareness (SA) in dynamic environments exist, computational approaches to represent the same remain at best ad-hoc - cognitively inadequate or bearing little or no resemblance to the qualitative manner in which humans seemingly represent & reason about knowledge. The aim of our research is to investigate the computational aspects of situation awareness of autonomous entities in large-scale simulated spaces, called Synthetic Environments (SE). This is done within the scope of an understanding of situation awareness that encompasses common-sense conceptual reasoning and integrated qualitative reasoning about space, time & causality As a product of our research, we envisage to develop a logic based computational framework based on a unified representational semantics for space, time & causality - the essence of which is a process model involving abstract ontological commitments involving spatial, temporal and action event oriented concepts, alongwith a capability to handle concurrent and continuous phenomena. The framework, which is representative of our model of situation awareness, will be most beneficial for systems involving the representation of physical and/or intelligent autonomous processes. However, as an exemplar of our approach, we are interested in applying the framework for the representation of autonomous behaviour in defence Modelling & Simulation (M&S) applications.
|
|
| 5. |
- Bhatt, Mehul, Professor, 1980-, et al.
(författare)
-
Synthetic Environment Representational Semantics Using the Web Ontology Language
- 2005
-
Ingår i: Intelligent Data Engineering and Automated Learning - IDEAL 2005. - Berlin, Heidelberg : Springer. - 9783540269724 - 9783540316930 ; , s. 9-16
-
Konferensbidrag (refereegranskat)abstract
- The application of Ontologies for the definition and interoperability of complementary taxonomies has been well-recognised within the Modelling & Simulation (M&S) community. Our research pertaining to the specification of Synthetic Environment (SE) representational semantics has proposed the use of an Synthetic Environment Data Representation Ontology (sedOnto), which is modeled using W3C ' s Web Ontology Language(OWL), The vocabulary specified in sedOnto is based the SEDRIS Data Representation Model (DRM), which is a technological framework for SE data interchange and interoperability. In this paper, we present STOWL - SEDRIS To OWL Transform that automates the transformation of a SEDRIS based SE to a Web-Ontology based representation scheme in the OWL language. The target representation scheme, which shall be based on sedOnto, is in actuality an instantiation of the SE data representation terminology as specified by sedOnto. Such a transformation has many perceived advantages: It enhances SE interoperability by utilizing a Web-Ontology based approach for the specification of SE representation data, is consistent with existing industry based SE representation standards, namely SEDRIS, and that the representation scheme facilitates ontological reasoning over SE objects; a facility that is not directly supported by the SEDRIS DRM.
|
|
