Intent Recognition in Smart Homes with ProbLog.

Smart homes and assisted living facilities are better able to improve the lives of residents if they can perform intent recognition. If the system understands the goals of residents it can select appropriate assistive actions in advance, for example. The increasing availability of cheap sensors and smart devices provides fine grained data about residents and the ambient environment. Making full use of this data for intent recognition requires both relational and probabilistic reasoning. In this paper we present a framework for performing combined logical and probabilistic reasoning about intentions using data from simple switch sensors. We employ ProbLog, a probabilistic extension to Prolog, to infer the most probable intention given observations of the actions of the agent and sensor readings of important aspects of the environment.