Abstract
Multi-Context Systems (MCS) model in Computational Logic distributed systems composed of heterogeneous sources, or “contexts”, interacting via special rules called “bridge rules”. In this paper we consider how to enhance flexibility and generality of such systems; in particular, we discuss aspects that might be improved to increase practical applicability.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
We introduce mMCSs in a simplified form with respect to [6]: in fact, they generalize from a logic to a “logic suite”, where one can select the desired semantics among a set of possibilities, while we define mMCS simply over logics.
References
Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: Proceedings of 22nd AAAI Conference on Artificial Intelligence, pp. 385–390. AAAI Press (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: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. LNCS, vol. 6565, pp. 233–258. Springer, Heidelberg (2011)
Brewka, G., Ellmauthaler, S., Pührer, J.: Multi-context systems for reactive reasoning in dynamic environments. In: Schaub, T. (ed.) Proceedings of 21st European Conference on Artificial Intelligence, ECAI 2014. IJCAI/AAAI (2014)
Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)
Apt, K.R., Bol, R.N.: Logic programming and negation: a survey. J. Log. Program. 19–20, 9–71 (1994)
Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: Walsh, T. (ed.) Proceedings of 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011, pp. 786–791. IJCAI/AAAI (2011)
Costantini, S.: Knowledge acquisition via non-monotonic reasoning in distributed heterogeneous environments. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS, vol. 9345, pp. 228–241. Springer, Heidelberg (2015)
Costantini, S., De Gasperis, G.: Exchanging data and ontological definitions in multi-agent-contexts systems. In: Paschke, A., Fodor, P., Giurca, A., Kliegr, T. (eds.) Proceedings of RuleMLChallenge Track, CEUR Workshop Proceedings. CEUR-WS.org (2015)
Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics or: how we can do without modal logics. Artif. Intell. 65(1), 29–70 (1994)
Fink, M., Ghionna, L., Weinzierl, A.: Relational information exchange and aggregation in multi-context systems. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 120–133. Springer, Heidelberg (2011)
Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Distributed evaluation of nonmonotonic multi-context systems. J. Artif. Int. Res. (JAIR) 52, 543–600 (2015)
Eiter, T., Šimkus, M.: Linking open-world knowledge bases using nonmonotonic rules. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS, vol. 9345, pp. 294–308. Springer, Heidelberg (2015)
Aielli, F., Ancona, D., Caianiello, P., Costantini, S., De Gasperis, G., Di Marco, A., Ferrando, A., Mascardi, V.: FRIENDLY & KIND with your health: human-friendly knowledge-INtensive dynamic systems for the e-Health domain. In: Hallenborg, K., Giroux, S. (eds.) International Workshop on Agents and Multi-agent Systems for AAL and e-HEALTH (A-HEALTH) at PAAMS 2016, Proceedings of Communications in Computer and Information Science. Springer (2016)
Gelfond, M.: Answer sets. In: Handbook of Knowledge Representation. Elsevier, Amsterdam (2007)
Barilaro, R., Fink, M., Ricca, F., Terracina, G.: Towards query answering in relational multi-context systems. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol. 8148, pp. 168–173. Springer, Heidelberg (2013)
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)
Bienvenu, M., Lang, J., Wilson, N.: From preference logics to preference languages, and back. In: Proceedings of 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), pp. 414–424 (2010)
Brewka, G., Niemelä, I., Truszczyński, M.: Preferences and nonmonotonic reasoning. AI Mag. 29(4), 69 (2008)
Costantini, S., Formisano, A.: Modeling preferences and conditional preferences on resource consumption and production in ASP. J. Algorithms Cogn. Inform. Log. 64(1), 3–15 (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Costantini, S., De Gasperis, G. (2016). Bridge Rules for Reasoning in Component-Based Heterogeneous Environments. In: Alferes, J., Bertossi, L., Governatori, G., Fodor, P., Roman, D. (eds) Rule Technologies. Research, Tools, and Applications. RuleML 2016. Lecture Notes in Computer Science(), vol 9718. Springer, Cham. https://doi.org/10.1007/978-3-319-42019-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-42019-6_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-42018-9
Online ISBN: 978-3-319-42019-6
eBook Packages: Computer ScienceComputer Science (R0)