SAT based Enforcement of Domotic Effects in Smart Environments

The emergence of economically viable and efficient sensor technology provided impetus to the development of smart devices (or appliances). Modern smart environments are equipped with a multitude of smart devices and sensors, aimed at delivering intelligent services to the users of smart environments. The presence of these diverse smart devices has raised a major problem of managing environments. A rising solution to the problem is the modeling of user goals and intentions, and then interacting with the environments using user defined goals. `Domotic Effects' is a user goal modeling framework, which provides Ambient Intelligence (AmI) designers and integrators with an abstract layer that enables the definition of generic goals in a smart environment, in a declarative way, which can be used to design and develop intelligent applications. The high-level nature of domotic effects also allows the residents to program their personal space as they see fit: they can define different achievement criteria for a particular generic goal, e.g., by defining a combination of devices having some particular states, by using domain-specific custom operators. This paper describes an approach for the automatic enforcement of domotic effects in case of the Boolean application domain, suitable for intelligent monitoring and control in domotic environments. Effect enforcement is the ability to determine device configurations that can achieve a set of generic goals (domotic effects). The paper also presents an architecture to implement the enforcement of Boolean domotic effects, and results obtained from carried out experiments prove the feasibility of the proposed approach and highlight the responsiveness of the implemented effect enforcement architectur

Real-Time Monitoring of High-Level States in Smart Environments

Modern smart environments are equipped with a multitude of devices and sensors aimed at intelligent services. The presence of these diverse devices has raised a major problem of managing complex environments. A rising solution to the problem is the modeling of user goals and intentions, and then interacting with the respective smart environments using user defined goals. Generally, the solution advocates that the user goal(s) can be represented by combining devices (smart appliances and sensor/actuators) in particular states. `Domotic Effects' is a high level modeling approach, which provides Ambient Intelligence (AmI) designers and integrators with a high level abstract layer that enables the definition of user goals in a smart environment, in a declarative way, which can be used to design and develop intelligent applications. This paper describes an approach for the automatic evaluation of domotic effects combined through Boolean expressions, that can provide efficient and intelligent monitoring of the domotic structure of the environment. ``Effects Evaluation'' addresses the problem of finding the new values of all the domotic effects defined for the environment when one or more devices change their state or one or more sensor value is recorded in the environment, hence determining a new overall state of the environment. The paper also presents an architecture to implement the evaluation of domotic effects. Results obtained from carried out experiments prove the feasibility of the approach and highlight responsiveness of the implemented effect evaluation