Abstract
We present asynchronous multi-context systems (aMCSs), a framework for loosely coupling different knowledge representation formalisms that allows for online reasoning in a dynamic environment. An aMCS interacts with the outside world via input and output streams and may therefore react to a continuous flow of external information. In contrast to recent proposals, contexts in an aMCS communicate with each other in an asynchronous way which fits the needs of many application domains and is beneficial for scalability. The federal semantics of aMCSs renders our framework an integration approach rather than a knowledge representation formalism itself. We illustrate the introduced concepts by means of an example scenario dealing with rescue services. In addition, we compare aMCSs to reactive multi-context systems and describe how to simulate the latter with our novel approach.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This work has been partially supported by the German Research Foundation (DFG) under grants BR-1817/7-1 and FOR 1513. An earlier version of this paper appeared in the proceedings of ReactKnow 2014 [11].
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
Alferes, J.J., Brogi, A., Leite, J., Moniz Pereira, L.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 50–61. Springer, Heidelberg (2002)
Alvaro, P., Marczak, W.R., Conway, N., Hellerstein, J.M., Maier, D., Sears, R.: Dedalus: Datalog in time and space. In: Proc. Datalog 2.0., pp. 262–281 (2011)
Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: AAAI 2007, pp. 385–390 (2007)
Brewka, G., Eiter, T., Fink, M.: Nonmonotonic multi-context systems: A flexible approach for integrating heterogeneous knowledge sources. In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS, vol. 6565, pp. 233–258. Springer, Heidelberg (2011)
Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: IJCAI 2011, pp. 786–791 (2011)
Brewka, G., Ellmauthaler, S., Pührer, J.: Multi-context systems for reactive reasoning in dynamic environments. In: Proc. ECAI 2014, pp. 159–164 (2014)
Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Logical Foundations of Peer-To-Peer Data Integration. In: Beeri, C., Deutsch, A. (eds.) Proc. PODS 2004, pp. 241–251. ACM (2004)
Cheng, F.L., Eiter, T., Robinson, N., Sattar, A., Wang, K.: Lpforget: A system of forgetting in answer set programming. In: Proc. AUSAI 2006, pp. 1101–1105 (2006)
Dispatch Magazine On-Line: Computer-Aided Dispatch Resources (2014), https://www.911dispatch.com/computer-aided-dispatch-resources/
Ellmauthaler, S.: Generalizing multi-context systems for reactive stream reasoning applications. In: Proc. ICCSW 2013, pp. 17–24 (2013)
Ellmauthaler, S., Pührer, J.: Asynchronous Multi-Context Systems. In: Proc. ReactKnow 2014, pp. 31–37 (2014)
Gebser, M., Grote, T., Kaminski, R., Obermeier, P., Sabuncu, O., Schaub, T.: Stream reasoning with answer set programming: Preliminary report. In: Proc. KR 2012 (2012)
Gonçalves, R., Knorr, M., Leite, J.: Evolving multi-context systems. In: Proc. ECAI 2014, pp. 375–380 (2014)
Lang, J., Marquis, P.: Reasoning under inconsistency: A forgetting-based approach. Artif. Intell. 174, 799–823 (2010)
Le-Phuoc, D., Parreira, J.X., Hauswirth, M.: Linked stream data processing. In: Proc. RW 2012, pp. 245–289 (2012)
Wooldridge, M.J.: An Introduction to MultiAgent Systems (2nd edn.). Wiley (2009)
Zaniolo, C.: Logical foundations of continuous query languages for data streams. In: Proc. Datalog 2.0., pp. 177–189 (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Ellmauthaler, S., Pührer, J. (2015). Asynchronous Multi-Context Systems. In: Eiter, T., Strass, H., Truszczyński, M., Woltran, S. (eds) Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. Lecture Notes in Computer Science(), vol 9060. Springer, Cham. https://doi.org/10.1007/978-3-319-14726-0_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-14726-0_10
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-14725-3
Online ISBN: 978-3-319-14726-0
eBook Packages: Computer ScienceComputer Science (R0)