Abstract
The increasing availability of smart objects demands for flexible mechanisms to orchestrate different types of these objects to smart environments. As smart objects are typically not aware of each other, an orchestrating platform has to manage common resources, to harmonize the individual behavior of the acting objects, and to combine their activities to an intelligent team work. This paper presents a corresponding framework to implement such an orchestrating platform. It provides a concurrent programming language representing states in Description Logics and state transitions as logical updates enabling deductive support to infer non-explicitly represented knowledge. It uses temporal logic to suspend execution of a process for a particular evolution of the global state that is specified by a LTL formula. Since a process can fork into subprocesses this provides a mechanism for runtime verification by splitting a process into a subprocess executing some critical program and another parallel subprocess monitoring the first one by waiting for the desired evolution of states specified in its LTL formula.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Autexier, S., Hutter, D.: Constructive DL update and reasoning for modeling and executing the orchestration of heterogenous processes. In: 26th International Workshop on Description Logics (DL 2013). CEUR, vol. 1014 (2013)
Autexier, S., Hutter, D., Stahl, C.: 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, A.-H. (eds.) AmI 2013. LNCS, vol. 8309, pp. 3–18. Springer, Heidelberg (2013)
Baader, F.: Ontology-based monitoring of dynamic systems. In: 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014). AAAI Press (2014)
Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: first results. In: 20th National Conference on Artificial Intelligence, AAAI 2005. AAAI Press (2005)
Bacchus, F., Kabanza, F.: Planning for temporally extended goals. Ann. Math. Artif. Intell. 22, 5–27 (1998)
Bauer, A., Falcone, Y.: Decentralised LTL monitoring. Arxiv preprint arXiv:1111.5133 (2012)
Doherty, P., Kvarnström, J., Heintz, F.: A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems. Auton. Agents Multi-Agent Syst. 19(3), 332–377 (2009)
Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Knowledge Representation, KR 2006. AAAI Press (2006)
Lamine, K.B., Kabanza, F.: History checking of temporal fuzzy logic formulas for monitoring behavioral-based mobile robots. In: IEEE International Conference on Tools with Artificial Intelligence (2000)
Levesque, H.J., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.B.: GOLOG: a logic programming language for dynamic domains. The Journal of Logic Programming 31(1–3), 59–83 (1997)
Nakajima, T.: Case study of middleware infrastructure for ambient intelligence environments. In: Nakashima, H., Aghajan, H., Augusto, J.C. (eds.) Handbook of Ambient Intelligence and Smart Environments, pp. 229–256. Springer, Heidelberg (2010)
Pettersson, O.: Execution monitoring in robotics: a survey. Robot. Auton. Syst. 53, 73–88 (2005)
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. J. Ambient Intell. Smart Environ. 1(3), 235–259 (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Autexier, S., Hutter, D. (2015). SHIP - A Logic-Based Language and Tool to Program Smart Environments. In: Falaschi, M. (eds) Logic-Based Program Synthesis and Transformation. LOPSTR 2015. Lecture Notes in Computer Science(), vol 9527. Springer, Cham. https://doi.org/10.1007/978-3-319-27436-2_19
Download citation
DOI: https://doi.org/10.1007/978-3-319-27436-2_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-27435-5
Online ISBN: 978-3-319-27436-2
eBook Packages: Computer ScienceComputer Science (R0)