Abstract
Developing ambient intelligence for a smart home is a complex task. We present how to define intelligent system behavior through processes on an adequate level of abstraction with the SHIP-tool. Based on the representation of the environment in a formal logical description, communication with the environment is realized via updates of the logical description. Processes are built from basic actions to update the current logical descriptions and include means to monitor the evolution of the environment in a temporal logic formalism. The SHIP-tool implements the process language and serves both for simulation and execution. The paper describes two examples of assisting services in a real smart home living lab, one for light and door control in emergency situations, and one for the scheduling of two parallel wheelchair transports.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Autexier, S., Hutter, D.: Constructive dl update and reasoning for modeling and executing the orchestration of heterogeneous processes. In: Krötzsch, M., Eiter, T. (eds.) Proceedings 2013 Intl. Workshop on Description Logics (DL 2013), Ulm, Germany, July 23-26. CEUR-WS.org (2013)
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The description logic handbook: theory, implementation, and applications. Cambridge University Press, New York (2003)
Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. ACM Transactions on Computational Logic (2012)
Baader, F., Lippmann, M., Liu, H.: Using causal relationships to deal with the ramification problem in action formalisms based on description logics. In: Fermüller, C.G., Voronkov, A. (eds.) LPAR-17. LNCS, vol. 6397, pp. 82–96. Springer, Heidelberg (2010)
Bauer, A., Falcone, Y.: Decentralised LTL monitoring. In: Giannakopoulou, D., Méry, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 85–100. Springer, Heidelberg (2012)
Chang, L., Lin, F., Shi, Z.: A Dynamic Description Logic for Representation and Reasoning About Actions. In: Zhang, Z., Siekmann, J.H. (eds.) KSEM 2007. LNCS (LNAI), vol. 4798, pp. 115–127. Springer, Heidelberg (2007)
Chang, L., Shi, Z., Gu, T., Zhao, L.: A family of dynamic description logics for representing and reasoning about actions. J. Autom. Reasoning 49(1), 1–52 (2012)
Frey, J., Bergweiler, S., Alexandersson, J., Gholamsaghaee, E., Reithinger, N., Stahl, C.: Smartcase: A smart home environment in a suitcase. In: Intelligent Environments, pp. 378–381. IEEE (2011)
Laue, T., Stahl, C.: Modeling and simulating ambient assisted living environments – A case study. In: Augusto, J.C., Corchado, J.M., Novais, P., Analide, C. (eds.) ISAmI 2010. AISC, vol. 72, pp. 217–220. Springer, Heidelberg (2010)
Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating description logic aboxes. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proceedings of the 10th Int. Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, pp. 46–56. AAAI Press (2006)
Pnueli, A.: The temporal logic of programs. In: FOCS, pp. 46–57. IEEE Computer Society (1977)
Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical owl-dl reasoner. J. Web Sem. 5(2), 51–53 (2007)
Springer, T., Turhan, A.-Y.: Employing description logics in ambient intelligence for modeling and reasoning about complex situations. Journal of Ambient Intelligence and Smart Environments 1(3), 235–259 (2009)
Stahl, C., Frey, J., Alexandersson, J., Brandherm, B.: Synchronized realities. JAISE 3(1), 13–25 (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer International Publishing Switzerland
About this paper
Cite this paper
Autexier, S., Hutter, D., Stahl, C. (2013). An Implementation, Execution and Simulation Platform for Processes in Heterogeneous Smart Environments. In: Augusto, J.C., Wichert, R., Collier, R., Keyson, D., Salah, A.A., Tan, AH. (eds) Ambient Intelligence. AmI 2013. Lecture Notes in Computer Science, vol 8309. Springer, Cham. https://doi.org/10.1007/978-3-319-03647-2_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-03647-2_1
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-03646-5
Online ISBN: 978-3-319-03647-2
eBook Packages: Computer ScienceComputer Science (R0)
