In this article we address the problem of realizing a service-providing reasoning infrastructure for pro-active humanassistance in intelligent environments. We propose SAM, an architecture which leverages temporal knowledge represented asrelations in Allen’s interval algebra and constraint-based temporal planning techniques. SAM provides two key capabilities forcontextualized service provision: human activity recognition and planning for controlling pervasive actuation devices. Whiledrawing inspiration from several state-of-the-art approaches, SAM provides a unique feature which has thus far not been addressed in the literature, namely the seamless integration of these two key capabilities. It does so by leveraging a constraint-basedreasoning paradigm whereby both requirements for recognition and for planning/execution are represented as constraints andreasoned upon continuously.

In this article we address the problem of realizing a service-providing reasoning infrastructure for pro-active humanassistance in intelligent environments. We propose SAM, an architecture which leverages temporal knowledge represented asrelations in Allen’s interval algebra and constraint-based temporal planning techniques. SAM provides two key capabilities forcontextualized service provision: human activity recognition and planning for controlling pervasive actuation devices. Whiledrawing inspiration from several state-of-the-art approaches, SAM provides a unique feature which has thus far not been addressed in the literature, namely the seamless integration of these two key capabilities. It does so by leveraging a constraint-basedreasoning paradigm whereby both requirements for recognition and for planning/execution are represented as constraints andreasoned upon continuously.

In this article we address the problem of realizing a service-providing reasoning infrastructure for pro-active humanassistance in intelligent environments. We propose SAM, an architecture which leverages temporal knowledge represented asrelations in Allen’s interval algebra and constraint-based temporal planning techniques. SAM provides two key capabilities forcontextualized service provision: human activity recognition and planning for controlling pervasive actuation devices. Whiledrawing inspiration from several state-of-the-art approaches, SAM provides a unique feature which has thus far not been addressed in the literature, namely the seamless integration of these two key capabilities. It does so by leveraging a constraint-basedreasoning paradigm whereby both requirements for recognition and for planning/execution are represented as constraints andreasoned upon continuously.

In this article we address the problem of realizing a service-providing reasoning infrastructure for pro-active humanassistance in intelligent environments. We propose SAM, an architecture which leverages temporal knowledge represented asrelations in Allen’s interval algebra and constraint-based temporal planning techniques. SAM provides two key capabilities forcontextualized service provision: human activity recognition and planning for controlling pervasive actuation devices. Whiledrawing inspiration from several state-of-the-art approaches, SAM provides a unique feature which has thus far not been addressed in the literature, namely the seamless integration of these two key capabilities. It does so by leveraging a constraint-basedreasoning paradigm whereby both requirements for recognition and for planning/execution are represented as constraints andreasoned upon continuously.

In this article we address the problem of realizing a service-providing reasoning infrastructure for pro-active humanassistance in intelligent environments. We propose SAM, an architecture which leverages temporal knowledge represented asrelations in Allen’s interval algebra and constraint-based temporal planning techniques. SAM provides two key capabilities forcontextualized service provision: human activity recognition and planning for controlling pervasive actuation devices. Whiledrawing inspiration from several state-of-the-art approaches, SAM provides a unique feature which has thus far not been addressed in the literature, namely the seamless integration of these two key capabilities. It does so by leveraging a constraint-basedreasoning paradigm whereby both requirements for recognition and for planning/execution are represented as constraints andreasoned upon continuously.

In this article we address the problem of realizing a service-providing reasoning infrastructure for pro-active humanassistance in intelligent environments. We propose SAM, an architecture which leverages temporal knowledge represented asrelations in Allen’s interval algebra and constraint-based temporal planning techniques. SAM provides two key capabilities forcontextualized service provision: human activity recognition and planning for controlling pervasive actuation devices. Whiledrawing inspiration from several state-of-the-art approaches, SAM provides a unique feature which has thus far not been addressed in the literature, namely the seamless integration of these two key capabilities. It does so by leveraging a constraint-basedreasoning paradigm whereby both requirements for recognition and for planning/execution are represented as constraints andreasoned upon continuously.

In this article we address the problem of realizing a service-providing reasoning infrastructure for pro-active humanassistance in intelligent environments. We propose SAM, an architecture which leverages temporal knowledge represented asrelations in Allen’s interval algebra and constraint-based temporal planning techniques. SAM provides two key capabilities forcontextualized service provision: human activity recognition and planning for controlling pervasive actuation devices. Whiledrawing inspiration from several state-of-the-art approaches, SAM provides a unique feature which has thus far not been addressed in the literature, namely the seamless integration of these two key capabilities. It does so by leveraging a constraint-basedreasoning paradigm whereby both requirements for recognition and for planning/execution are represented as constraints andreasoned upon continuously.

In this article we address the problem of realizing a service-providing reasoning infrastructure for pro-active humanassistance in intelligent environments. We propose SAM, an architecture which leverages temporal knowledge represented asrelations in Allen’s interval algebra and constraint-based temporal planning techniques. SAM provides two key capabilities forcontextualized service provision: human activity recognition and planning for controlling pervasive actuation devices. Whiledrawing inspiration from several state-of-the-art approaches, SAM provides a unique feature which has thus far not been addressed in the literature, namely the seamless integration of these two key capabilities. It does so by leveraging a constraint-basedreasoning paradigm whereby both requirements for recognition and for planning/execution are represented as constraints andreasoned upon continuously.

In this paper, we suggest marrying Dempster-Shafer (DS) theory with Knowledge Representation (KR). Born out of this marriage is the definition of "Dempster-Shafer Belief Bases", abstract data types representing uncertain knowledge that use DS theory for representing strength of belief about our knowledge, and the linguistic structures of an arbitrary KR system for representing the knowledge itself. A formal result guarantees that both the properties of the given KR system and of DS theory are preserved. The general model is exemplified by defining DS Belief Bases where First Order Logic and (an extension of) KRYPTON are used as KR systems. The implementation problem is also touched upon.

We propose an approach to configuration planning for robotic systems in which plans are represented as constraint networks and planning is defined as search in the space of such networks. The approach supports reasoning about time, resources, and information dependencies between actions. In addition, the system can leverage the flexibility of such networks at execution time to support dynamic goal posting and re-planning.