Table of Contents
Advances in Artificial Intelligence
Volume 2016 (2016), Article ID 2959508, 15 pages
http://dx.doi.org/10.1155/2016/2959508
Research Article

Weighted Constraint Satisfaction for Smart Home Automation and Optimization

Graduate School of System Design, Tokyo Metropolitan University, 6-6 Asahigaoka, Hino, Tokyo 191-0065, Japan

Received 7 April 2016; Accepted 5 October 2016

Academic Editor: Roman Bartak

Copyright © 2016 Noel Nuo Wi Tay et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. S. Chernbumroong, S. Cang, A. Atkins, and H. Yu, “Elderly activities recognition and classification for applications in assisted living,” Expert Systems with Applications, vol. 40, no. 5, pp. 1662–1674, 2013. View at Publisher · View at Google Scholar · View at Scopus
  2. J. Broekens, M. Heerink, and H. Rosendal, “Assistive social robots in elderly care: a review,” Gerontechnology, vol. 8, no. 2, pp. 94–103, 2009. View at Publisher · View at Google Scholar
  3. M. P. Papazoglou and W.-J. Van Den Heuvel, “Service oriented architectures: approaches, technologies and research issues,” The VLDB Journal, vol. 16, no. 3, pp. 389–415, 2007. View at Publisher · View at Google Scholar · View at Scopus
  4. E. Kaldeli, E. U. Warriach, A. Lazovik, and M. Aiello, “Coordinating the web of services for a smart home,” ACM Transactions on the Web, vol. 7, no. 2, article 10, 2013. View at Publisher · View at Google Scholar · View at Scopus
  5. S. N. Han, G. M. Lee, and N. Crespi, “Semantic context-aware service composition for building automation system,” IEEE Transactions on Industrial Informatics, vol. 10, no. 1, pp. 252–261, 2014. View at Publisher · View at Google Scholar · View at Scopus
  6. D. Tang, B. Yusuf, J. Botzheim, N. Kubota, and C. S. Chan, “A novel multimodal communication framework using robot partner for aging population,” Expert Systems with Applications, vol. 42, no. 9, pp. 4540–4555, 2015. View at Publisher · View at Google Scholar · View at Scopus
  7. J. E. Gallardo, C. Cotta, and A. J. Fernández, “Solving weighted constraint satisfaction problems with memetic/exact hybrid algorithms,” Journal of Artificial Intelligence Research, vol. 35, pp. 533–555, 2009. View at Google Scholar · View at MathSciNet
  8. M. B. Alaya, Y. Banouar, T. Monteil, C. Chassot, and K. Drira, “OM2M: extensible etsi-compliant M2M service platform with self-configuration capability,” Procedia Computer Science, vol. 32, pp. 1079–1086, 2014. View at Publisher · View at Google Scholar
  9. N. N. W. Tay, A. A. Saputra, J. Botzheim, and N. Kubota, “Service robot planning via solving constraint satisfaction problem,” ROBOMECH Journal, vol. 3, no. 1, pp. 1–17, 2016. View at Publisher · View at Google Scholar
  10. D. Bonino and F. Corno, “Rule-based intelligence for domotic environments,” Automation in Construction, vol. 19, no. 2, pp. 183–196, 2010. View at Publisher · View at Google Scholar · View at Scopus
  11. D. Bonino and F. Corno, “DogOnt—ontology modeling for intelligent domotic environments,” in The Semantic Webt—ISWC 2008, A. Sheth, S. Staab, M. Dean et al., Eds., vol. 5318 of Lecture Notes in Computer Science, pp. 790–803, Springer, Berlin, Germany, 2008. View at Publisher · View at Google Scholar
  12. M. Ruta, F. Scioscia, E. Di Sciascio, and G. Loseto, “Semantic-based enhancement of ISO/IEC 14543-3 EIB/KNX standard for building automation,” IEEE Transactions on Industrial Informatics, vol. 7, no. 4, pp. 731–739, 2011. View at Publisher · View at Google Scholar · View at Scopus
  13. T. Di Noia, E. Di Sciascio, and F. M. Donini, “Semantic matchmaking as non-monotonic reasoning: a description logic approach,” Journal of Artificial Intelligence Research, vol. 29, pp. 269–307, 2007. View at Google Scholar · View at Scopus
  14. G. Loseto, F. Scioscia, M. Ruta, and E. Di Sciascio, “Semantic-based smart homes: a multi-agent approach,” in Proceedings of the 13th Workshop on Objects and Agents (WOA '12), vol. 892, pp. 49–55, Milano, Italy, September 2012.
  15. E. Kaldeli, E. Warriach, J. Bresser, A. Lazovik, and M. Aiello, “Interoperation, composition and simulation of services at home,” in Service-Oriented Computing, P. Maglio, M. Weske, J. Yang, and M. Fantinato, Eds., vol. 6470 of Lecture Notes in Computer Science, pp. 167–181, 2010. View at Publisher · View at Google Scholar
  16. Q. Z. Sheng, X. Qiao, A. V. Vasilakos, C. Szabo, S. Bourne, and X. Xu, “Web services composition: a decade's overview,” Information Sciences, vol. 280, pp. 218–238, 2014. View at Publisher · View at Google Scholar · View at Scopus
  17. M. Klusch, A. Gerber, and M. Schmidt, “Semantic Web service composition planning with OWLS-Xplan,” in Proceedings of the 2005 AAAI Fall Symposium on Semantic Web and Agents, pp. 55–62, Arlington, Va, USA, November 2005. View at Scopus
  18. O. Hatzi, D. Vrakas, N. Bassiliades, D. Anagnostopoulos, and I. Vlahavas, “Semantic awareness in automated web service composition through planning,” in Artificial Intelligence: Theories, Models and Applications, vol. 6040 of Lecture Notes in Computer Science, pp. 123–132, Springer, 2010. View at Publisher · View at Google Scholar
  19. O. Hatzi, D. Vrakas, M. Nikolaidou, N. Bassiliades, D. Anagnostopoulos, and I. Vlahavas, “An integrated approach to automated semantic web service composition through planning,” IEEE Transactions on Services Computing, vol. 5, no. 3, pp. 319–332, 2012. View at Publisher · View at Google Scholar · View at Scopus
  20. I. Georgievski and M. Aiello, “An overview of hierarchical task network planning,” https://arxiv.org/abs/1403.7426.
  21. E. Sirin, B. Parsia, D. Wu, J. Handler, and D. Nau, “HTN planning for web service composition using SHOP2,” Web Semantics: Science, Services and Agents on the World Wide Web, vol. 1, no. 4, pp. 377–396, 2004. View at Publisher · View at Google Scholar · View at Scopus
  22. T. Au, U. Kuter, and D. Nau, “Web service composition with volatile information,” in The Semantic Web ISWC 2005, Y. Gil, E. Motta, V. Benjamins, and M. Musen, Eds., vol. 3729 of Lecture Notes in Computer Science, pp. 52–66, Springer, Berlin, Germany, 2005. View at Publisher · View at Google Scholar
  23. E. Kaldeli, A. Lazovik, and M. Aiello, “Continual planning with sensing for web service composition,” in Proceedings of the 25th AAAI Conference on Artificial Intelligence, San Francisco, Calif, USA, August 2011.
  24. M. Helmert, “Concise finite-domain representations for PDDL planning tasks,” Artificial Intelligence, vol. 173, no. 5-6, pp. 503–535, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  25. S. Richter and M. Westphal, “The LAMA planner: guiding cost-based anytime planning with landmarks,” Journal of Artificial Intelligence Research, vol. 39, no. 1, pp. 127–177, 2010. View at Publisher · View at Google Scholar · View at Scopus
  26. J. Hoffmann, I. Weber, and F. Kraft, “Sap speaks PDDL,” in Proceedings of the 24th National Conference of the American Association for Artificial Intelligence, Atlanta, Ga, USA, July 2010.
  27. J. R. Bitner and E. M. Reingold, “Backtrack programming techniques,” Communications of the ACM, vol. 18, no. 11, pp. 651–656, 1975. View at Publisher · View at Google Scholar · View at Scopus
  28. E. Kaldeli, A. Lazovik, and M. Aiello, “Extended goals for composing services,” in Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS '09), 2009.
  29. V. Degeler and A. Lazovik, “Dynamic constraint reasoning in smart environments,” in Proceedings of the IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI '13), pp. 167–174, November 2013. View at Publisher · View at Google Scholar · View at Scopus
  30. F. Corno and F. Razzak, “Real-time monitoring of high-level states in smart environments,” Journal of Ambient Intelligence and Smart Environments, vol. 7, no. 2, pp. 133–153, 2015. View at Publisher · View at Google Scholar · View at Scopus
  31. L. De Moura and N. Bjørner, “Z3: an efficient SMT solver,” in Tools and Algorithms for the Construction and Analysis of Systems, pp. 337–340, Springer, Berlin, Germany, 2008. View at Google Scholar
  32. S. Bistarelli, U. Montanari, and F. Rossi, “Semiring-based constraint satisfaction and optimization,” Journal of the ACM, vol. 44, no. 2, pp. 201–236, 1997. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  33. J. Larrosa, E. Morancho, and D. Niso, “On the practical use of variable elimination in constraint optimization problems: ‘still-life’ as a case study,” Journal of Artificial Intelligence Research, vol. 23, pp. 421–440, 2005. View at Publisher · View at Google Scholar · View at Scopus
  34. J. H. Moreno-Scott, J. C. Ortiz-Bayliss, H. Terashima-Marín, and S. E. Conant-Pablos, “Experimental matching of instances to heuristics for constraint satisfaction problems,” Computational Intelligence and Neuroscience, vol. 2016, Article ID 7349070, 15 pages, 2016. View at Publisher · View at Google Scholar
  35. R. Dechter, “Bucket elimination: a unifying framework for reasoning,” Artificial Intelligence, vol. 113, no. 1-2, pp. 41–85, 1999. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  36. J. Botzheim, C. Cabrita, L. T. Kóczy, and A. E. Ruano, “Fuzzy rule extraction by bacterial memetic algorithms,” International Journal of Intelligent Systems, vol. 24, no. 3, pp. 312–339, 2009. View at Publisher · View at Google Scholar · View at Scopus
  37. J. Botzheim, Y. Toda, and N. Kubota, “Bacterial memetic algorithm for offline path planning of mobile robots,” Memetic Computing, vol. 4, no. 1, pp. 73–86, 2012. View at Publisher · View at Google Scholar · View at Scopus
  38. J. Larrosa and R. Dechter, “Boosting search with variable elimination in constraint optimization and constraint satisfaction problems,” Constraints, vol. 8, no. 3, pp. 303–326, 2003. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  39. G. Leitner, “The future home is wise, not smart,” in The Future Home is Wise, Not Smart, R. Harper, Ed., Computer Supported Cooperative Work, 2015. View at Google Scholar