SAT based enforcement of domotic effects in smart environments
SAT based enforcement of domotic effects in smart environments
复制标题
智能环境中基于 SAT 的家庭自动化效应实施
DOI：
10.1007/s12652-013-0183-x
复制
发表时间：
2013
影响因子：
--
通讯作者：
Faisal Razzak
中科院分区：
文献类型：
--
作者：
Fulvio Corno;Faisal Razzak
经济上可行和高效的传感器技术的出现为智能设备(或电器)的发展提供了动力。现代智能环境配备了大量的智能设备和传感器，旨在为智能环境的用户提供智能服务。这些多种多样的智能设备的出现引发了环境管理的重大问题。一个正在兴起的问题解决方案是对用户目标和意图进行建模，然后使用用户定义的目标与环境进行交互。“领域效应”是一个用户目标建模框架，它为环境智能(Ami)设计者和集成商提供了一个抽象层，该抽象层允许以声明性方式在智能环境中定义通用目标，可用于设计和开发智能应用程序。域名效应的高级别性质还允许居民按照他们认为合适的方式规划他们的个人空间：他们可以为特定的通用目标定义不同的实现标准，例如，通过使用特定于域的定制操作符来定义具有某些特定状态的设备的组合。本文描述了一种在布尔应用领域的情况下自动执行领域效果的方法，适用于领域环境中的智能监测和控制。实施效果是确定能够实现一组通用目标(区域效果)的设备配置的能力。文中还提出了一种实现布尔域效应增强的体系结构，实验结果证明了该方法的可行性，并突出了所实现的效应增强体系结构的响应性。
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 architecture.