M. Bhatt∗ and F. Dylla∗
Ambient intelligence, qualitative spatial reasoning, reasoning aboutaction and change
Ambient intelligence environments necessitate representing and rea- soning about dynamic spatial scenes and configurations. The ability to perform predictive and explanatory analyses of spatial scenes is crucial towards serving a useful intelligent function within such environments. We present a formal qualitative model that combines existing qualitative theories about space with a formal logic-based calculus suited to modelling dynamic environments, or reasoning about action and change in general. With this approach, it is possible to represent and reason about arbitrary dynamic spatial environments within a unified framework. We clarify and elaborate on our ideas with examples grounded in a smart environment.
Important Links:
Go Back
