Weighted Constraint Satisfaction for Smart Home Automation and Optimization

Nuo Wi Noel Tay, János Botzheim, N. Kubota
{"title":"Weighted Constraint Satisfaction for Smart Home Automation and Optimization","authors":"Nuo Wi Noel Tay, János Botzheim, N. Kubota","doi":"10.1155/2016/2959508","DOIUrl":null,"url":null,"abstract":"Automation of the smart home binds together services of hardware and software to provide support for its human inhabitants. The rise of web technologies offers applicable concepts and technologies for service composition that can be exploited for automated planning of the smart home, which can be further enhanced by implementation based on service oriented architecture SOA. SOA supports loose coupling and late binding of devices, enabling a more declarative approach in defining services and simplifying home configurations. One such declarative approach is to represent and solve automated planning through constraint satisfaction problem CSP, which has the advantage of handling larger domains of home states. But CSP uses hard constraints and thus cannot perform optimization and handle contradictory goals and partial goal fulfillment, which are practical issues smart environments will face if humans are involved. This paper extends this approach to Weighted Constraint Satisfaction Problem WCSP. Branch and bound depth first search is used, where its lower bound is estimated by bacterial memetic algorithm BMA on a relaxed version of the original optimization problem. Experiments up to 16-step planning of home services demonstrate the applicability and practicality of the approach, with the inclusion of local search for trivial service combinations in BMA that produces performance enhancements. Besides, this work aims to set the groundwork for further research in the field.","PeriodicalId":7253,"journal":{"name":"Adv. Artif. Intell.","volume":"18 1","pages":"2959508:1-2959508:15"},"PeriodicalIF":0.0000,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Adv. Artif. Intell.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1155/2016/2959508","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2

Abstract

Automation of the smart home binds together services of hardware and software to provide support for its human inhabitants. The rise of web technologies offers applicable concepts and technologies for service composition that can be exploited for automated planning of the smart home, which can be further enhanced by implementation based on service oriented architecture SOA. SOA supports loose coupling and late binding of devices, enabling a more declarative approach in defining services and simplifying home configurations. One such declarative approach is to represent and solve automated planning through constraint satisfaction problem CSP, which has the advantage of handling larger domains of home states. But CSP uses hard constraints and thus cannot perform optimization and handle contradictory goals and partial goal fulfillment, which are practical issues smart environments will face if humans are involved. This paper extends this approach to Weighted Constraint Satisfaction Problem WCSP. Branch and bound depth first search is used, where its lower bound is estimated by bacterial memetic algorithm BMA on a relaxed version of the original optimization problem. Experiments up to 16-step planning of home services demonstrate the applicability and practicality of the approach, with the inclusion of local search for trivial service combinations in BMA that produces performance enhancements. Besides, this work aims to set the groundwork for further research in the field.
智能家居自动化与优化的加权约束满足
智能家居的自动化将硬件和软件服务结合在一起,为其居民提供支持。web技术的兴起为服务组合提供了可应用的概念和技术,这些概念和技术可以用于智能家居的自动化规划,并且可以通过基于面向服务的体系结构SOA的实现来进一步增强。SOA支持松散耦合和设备的后期绑定,从而支持在定义服务和简化主配置时采用更具声明性的方法。一种这样的声明性方法是通过约束满足问题CSP来表示和解决自动规划,它具有处理更大的本地状态域的优势。但CSP使用硬约束,无法进行优化,无法处理矛盾的目标和部分目标的实现,这是人类参与智能环境将面临的现实问题。本文将此方法推广到加权约束满足问题。采用分支和界深度优先搜索,其下界由细菌模因算法BMA在原优化问题的松弛版上估计。多达16步的家庭服务规划实验证明了该方法的适用性和实用性,在BMA中包含了对琐碎服务组合的本地搜索,从而提高了性能。此外,本工作旨在为该领域的进一步研究奠定基础。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信