| 1. |
- Bhatt, Mehul, Professor, 1980-, et al.
(författare)
-
A Qualitative Model of Dynamic Scene Analysis and Interpretation in Ambient Intelligence Systems
- 2009
-
Ingår i: International Journal of Robotics and Automation. - : ACTA Press. - 0826-8185 .- 1925-7090. ; 24:3, s. 235-244
-
Tidskriftsartikel (refereegranskat)abstract
- Ambient intelligence environments necessitate representing and reasoning 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 it 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.
|
|
| 2. |
- Bhatt, Mehul, Professor, 1980-, et al.
(författare)
-
Modelling Functional Requirements in Spatial Design
- 2010
-
Ingår i: Conceptual Modeling - ER 2010. - Berlin, Heidelberg : Springer. - 9783642163722 - 9783642163739 ; , s. 464-470
-
Konferensbidrag (refereegranskat)abstract
- We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally specified within practical information systems, wherein heterogeneous perspectives and conceptual commitments are needed. Focussing on semantics, modularity and consistency, we argue that our formalisation serves as a synergistic interface that mediates between the two disconnected domains of human abstracted qualitative/conceptual knowledge and its quantitative/precision-oriented counterpart within systems for spatial design (assistance). Our demonstration utilises simple, yet real world examples.
|
|
| 3. |
- Bhatt, Mehul, Professor, 1980-, et al.
(författare)
-
Spatio-terminological Inference for the Design of Ambient Environments
- 2009
-
Ingår i: Spatial Information Theory. - Berlin, Heidelberg : Springer. - 9783642038310 - 9783642038327 ; , s. 371-391
-
Konferensbidrag (refereegranskat)abstract
- We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only the purely structural requirements, but also the functional requirements expected of a smart environment whilst keeping in mind the plethora of sensory and interactive devices embedded within such an environment. The approach, founded in spatio-terminological reasoning, is illustrated in the context of formal ontology modeling constructs and reasoners, industrial architecture data standards and state-of-the-art commercial design software.
|
|
| 4. |
- Dubba, Krishna Sandeep Reddy, et al.
(författare)
-
Interleaved Inductive-Abductive Reasoning for Learning Complex Event Models
- 2011
-
Ingår i: Inductive Logic Programming. - Berlin, Heidelberg : Springer. - 9783642319501 - 9783642319518 ; , s. 113-129
-
Konferensbidrag (refereegranskat)abstract
- We propose an interleaved inductive-abductive model for reasoning about complex spatio-temporal narratives. Typed Inductive Logic Programming (Typed-ILP) is used as a basis for learning the domain theory by generalising from observation data, whereas abductive reasoning is used for noisy data correction by scenario and narrative completion thereby improving the inductive learning to get semantically meaningful event models. We apply the model to an airport domain consisting of video data for 15 turn-arounds from six cameras simultaneously monitoring logistical processes concerned with aircraft arrival, docking, departure etc and a verbs data set with 20 verbs enacted out in around 2500 vignettes. Our evaluation and demonstration focusses on the synergy afforded by the inductive-abductive cycle, whereas our proposed model provides a blue-print for interfacing common-sense reasoning about space, events and dynamic spatio-temporal phenomena with quantitative techniques in activity recognition.
|
|
| 5. |
- Dubba, Krishna Sandeep Reddy, et al.
(författare)
-
Learning Relational Event Models from Video
- 2015
-
Ingår i: The journal of artificial intelligence research. - : AI Access Foundation. - 1076-9757 .- 1943-5037. ; 53, s. 41-90
-
Tidskriftsartikel (refereegranskat)abstract
- Event models obtained automatically from video can be used in applications ranging from abnormal event detection to content based video retrieval. When multiple agents are involved in the events, characterizing events naturally suggests encoding interactions as relations. Learning event models from this kind of relational spatio-temporal data using relational learning techniques such as Inductive Logic Programming (ILP) hold promise, but have not been successfully applied to very large datasets which result from video data. In this paper, we present a novel framework REMIND (Relational Event Model INDuction) for supervised relational learning of event models from large video datasets using ILP. Efficiency is achieved through the learning from interpretations setting and using a typing system that exploits the type hierarchy of objects in a domain. The use of types also helps prevent over generalization. Furthermore, we also present a type-refining operator and prove that it is optimal. The learned models can be used for recognizing events from previously unseen videos. We also present an extension to the framework by integrating an abduction step that improves the learning performance when there is noise in the input data. The experimental results on several hours of video data from two challenging real world domains (an airport domain and a physical action verbs domain) suggest that the techniques are suitable to real world scenarios.
|
|
| 6. |
- Dylla, Frank, et al.
(författare)
-
Qualitative Spatial Scene Modeling for Ambient Intelligence Environments
- 2008
-
Ingår i: Intelligent Robotics and Applications. - Berlin, Heidelberg : Springer. - 9783540885122 - 9783540885139 ; , s. 716-725
-
Konferensbidrag (refereegranskat)abstract
- In ambient intelligence systems, it is necessary to represent and reason about dynamic spatial scenes and configurations. Primarily; the ability to perform predictive and explanatory analyses on the basis of available sensory data is crucial toward serving a useful intelligent function within such environments. In this paper; we present a qualitative model for representing the relevant aspects of these environments in an adequate manner. The model is suited for reasoning about spatial configurations and dynamics in spatial environments. We clarify and elaborate on our ideas with examples grounded in a smart home environment.
|
|
| 7. |
- Eppe, Manfred, et al.
(författare)
-
Approximate Epistemic Planning with Postdiction as Answer-Set Programming
- 2013
-
Ingår i: Logic Programming and Nonmonotonic Reasoning. - Berlin, Heidelberg : Springer. - 9783642405631 - 9783642405648 ; , s. 290-303
-
Konferensbidrag (refereegranskat)abstract
- We propose a history-based approximation of the Possible Worlds Semantics (PWS) for reasoning about knowledge and action. A respective planning system is implemented by a transformation of the problem domain to an Answer-Set Program. The novelty of our approach is elaboration tolerant support for postdiction under the condition that the plan existence problem is still solvable in NP, as compared to ΣP2 for non-approximated PWS of Son and Baral [20]. We demonstrate our planner with standard problems and present its integration in a cognitive robotics framework for high-level control in a smart home.
|
|
| 8. |
- Eppe, Manfred, et al.
(författare)
-
h-approximation : History-Based Approximation of Possible World Semantics as ASP
- 2013
-
Annan publikation (övrigt vetenskapligt/konstnärligt)abstract
- We propose a history-based approximation of the Possible Worlds Semantics (PWS) for reasoning about knowledge and action. A respective planning system is implemented by a transformation of the problem domain to an Answer-Set Program. The novelty of our approach is elaboration tolerant support for postdiction under the condition that the plan existence problem is still solvable in NP, as compared to ΣP2 for non-approximated PWS of Son and Baral [19]. We demonstrate our planner with standard problems and present its integration in a cognitive robotics framework for high-level control in a smart home.
|
|
