• Corpus ID: 45537139

Towards a Synergy of Qualitative Spatio-Temporal Reasoning and Smart Environments for Assisting the Elderly at Home∗

@inproceedings{Sioutis2017TowardsAS,
  title={Towards a Synergy of Qualitative Spatio-Temporal Reasoning and Smart Environments for Assisting the Elderly at Home∗},
  author={Michael Sioutis and Marjan Alirezaie and Jennifer Renoux and Amy Loutfi},
  year={2017}
}
Applications of smart environments are ever-increasing due to their possibilities of contributing towards an independent and active lifestyle for different user groups. An example of such an application can be found in health-care, where an elderly can be unobtrusively monitored and cared for in their own home. In this paper, we give a description of how qualitative spatio-temporal reasoning can be used to create services for the inhabitants of a sensorized home, with an emphasis on elderly… 

Figures from this paper

Efficient Dynamic Methods for Qualitative Constraint-based Spatial and Temporal Reasoning (Position Paper)

A research roadmap for going beyond the state of the art in Qualitative Spatial and Temporal Reasoning is described, and dynamic algorithms pertaining to these consistencies that can allow for efficient reasoning over streams of spatio-temporal information are defined.

Just-In-Time Constraint-Based Inference for Qualitative Spatial and Temporal Reasoning

A research roadmap for going beyond the state of the art in qualitative spatial and temporal reasoning (QSTR) via defining tools for tackling dynamic variants of the fundamental reasoning problems in this discipline, i.e., problems stated in terms of changing input data.

Seeking Prevention of Cognitive Decline in Elders via Activity Suggestion by A Virtual Caregiver

It is shown how the user experience can be enriched with an adaptive configuration encouraging socialization and cognitive training in an autonomous agent residing in the cloud and generating interventions based on users' data.

Ontology of behavior pattern as Web controller from the cloud for energy saving in Smart Home

It is concluded that the applied Ontology manages to anticipate the preferences of the inhabitants in a domotized department by means of inference rules and produces a 17.43% energy saving.

Allen's Interval Algebra Makes the Difference

This paper presents a novel encoding of Interval Algebra using answer-set programming (ASP) extended by difference constraints, i.e., the fragment abbreviated as ASP(DL), and suggests that analogous encodings can be devised for other point-based calculi, too.

A I ] 3 S ep 2 01 9 Allen ’ s Interval Algebra Makes the Difference

This paper presents a novel encoding of Interval Algebra using answer-set programming (ASP) extended by difference constraints, i.e., the fragment abbreviated as ASP(DL), and suggests that analogous encodings can be devised for other point-based calculi, too.

An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks

This article proposes an incremental \(\mathrm {SAT}\)-based approach for providing a framework that reasons about the RCC language in a counterexample-guided manner and restricts ourselves to QCNs that, when satisfiable, are realizable with rectangles.

Tractable Fragments of Temporal Sequences of Topological Information

It is shown that there is no Cartesian subclass containing all the basic relations and the universal relation for which the algebraic closure decides satisfiability, and some tractable subclasses are identified by giving up the relations containing the non-tangential proper part relation and not containing the tangential proper parts relation.

Minimality of Combined Qualitative Constraint Networks

It is proved that the topological temporal sequences of constant-size regions over the subclass SRCC8 check this property, and the complexity of the satisfiability decision of relations as well as the enumeration of satisfiable basic relations is studied.

References

SHOWING 1-10 OF 44 REFERENCES

A pattern language for smart home applications

The proposed SmartHome ontology is described in terms of its modules representing different aspects including physical and conceptual aspects of a smart environment, and the use of the Ontology Design Pattern (ODP) paradigm in order to modularize the solution.

A Framework for Merging Qualitative Constraints Networks

This paper proposes a merging operator which, starting from a set of possibly conflicting qualitative constraints networks, returns a consistent set of spatial or temporal information representing the result of merging.

An Algebra of Granular Temporal Relations for Qualitative Reasoning

This paper extends the algebra of Euzenat and overcomes its major limitations, allowing one to reason about relations between points and intervals, and enables the modeling of imprecise, gradual, or intuitive relations.

Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework

This paper shows that the problem of ordering a sequence of qualitative spatial configurations to meet certain transition constraints is \(\mathcal{NP}\)-complete for the well known languages of RCC-8, Interval Algebra, and Block Algebra.

Transition Constraints: A Study on the Computational Complexity of Qualitative Change

This paper discusses the reasoning task of finding a solution to a temporal sequence of static reasoning problems where this sequence is subject to additional transition constraints, and shows how such transitions can be defined as relations and expressed within qualitative constraint formalisms.

Qualitative Spatial and Temporal Reasoning: Emerging Applications, Trends, and Directions

The field of Qualitative Spatial and Temporal Representation and Reasoning (QSTR) has evolved as a specialised discipline within Artificial Intelligence as well as other communities concerned with the development of formalisms and algorithms for modelling and reasoning about spatial information.

Recognizing daily activities with RFID-based sensors

A dense sensing approach that uses RFID sensor network technology to recognize human activities in a model apartment concludes that RFid sensor networks are a promising approach for indoor activity monitoring.

Efficiently Reasoning about Qualitative Constraints through Variable Elimination

A novel algorithm is introduced, study, and evaluate, that is based on the idea of variable elimination, a simple and general exact inference approach in probabilistic graphical models, that enforces a particular directional local consistency on N, which is denote by ←-consistency.

An Efficient Approach for the Generation of Allen Relations

This paper presents AEGLE, a novel approach for the efficient computation of links between events according to Allen’s interval algebra, and presents an efficient algorithm with a complexity of O(n logn) for computing these eight relations.