# 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…

## 13 Citations

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

- Computer Science
- 2018

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

- Computer ScienceKI - Künstliche Intelligenz
- 2020

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

- Computer ScienceAAMAS
- 2018

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

- Computer ScienceSCIÉNDO
- 2018

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.

### On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning

- Computer ScienceInf. Comput.
- 2021

### Allen's Interval Algebra Makes the Difference

- Computer ScienceDECLARE
- 2019

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

- Computer Science
- 2019

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

- Computer ScienceCP
- 2018

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

- Computer ScienceCP
- 2020

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

- Mathematics, Computer ScienceECAI
- 2020

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

- Computer Science
- 2017

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

- Computer ScienceFLAIRS
- 2008

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

- Computer ScienceIJCAI
- 2015

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

- Computer ScienceAIAI
- 2015

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

- Computer ScienceIJCAI
- 2013

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

- Environmental ScienceSpatial Cogn. Comput.
- 2011

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

- Computer ScienceUbiComp
- 2009

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

- Computer ScienceSETN
- 2016

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

- Computer ScienceECAI
- 2016

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.