Skip to main content
SpringerLink
Log in

Multi-context systems in dynamic environments

  • Published:
Annals of Mathematics and Artificial Intelligence Aims and scope Submit manuscript

Abstract

Multi-Context Systems (MCSs) are able to formally 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 in bridge-rules definition and use. In particular, we introduce and discuss some formal extensions of MCSs aimed to their practical application in dynamic environments, and we provide guidelines for implementations.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. 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.) Proceedings of A-HEALTH at PAAMS 2016., Comm. in Computer and Inf. Sci. Springer (2016)

  2. Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Evolving Logic Programs. In: Logics in Artificial Intelligence, Proceedings of the 8Th Europ. Conf., JELIA 2002, LNAI 2424, pp. 50–61. Springer, Berlin (2002)

  3. Apt, K.R., Bol, R.N.: Logic programming and negation: a survey. J. Log. Programm. 19-20, 9–71 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  4. Barilaro, R., Fink, M., Ricca, F., Terracina, G.: Proceedings of LPNMR 2013, LNCS. In: Cabalar, P., Son, T.C. (eds.) , vol. 8148, pp. 168–173. Springer (2013)

  5. Beck, H., Eiter, T.: LARS: A logic-based framework for analytic reasoning over streams. Artif. Intell. 261, 16–70 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  6. Bienvenu, M., Lang, J., Wilson, N.: From Preference Logics to Preference Languages, and Back. In: Proceedings of the Twelfth Intl. Conf. on the Principles of Knowledge Repr. and Reasoning (KR 2010), pp. 414–424 (2010)

  7. Boutilier, C., Brafman, R.I., Domshlak, C., Hoos, H.H., Poole, D.: Cp-nets: A tool for representing and reasoning with conditional ceteris paribus preference statements. J. Artif. Intell. Res. 21, 135–191 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  8. Brewka, G., Eiter, T.: Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. In: Proceedings of the 22Nd AAAI Conf. on Artificial Intelligence, pp. 385–390. AAAI Press (2007)

  9. Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming: Special issue. AI Magazine 37(3), 5–6 (2016)

    Article  Google Scholar 

  10. Brewka, G., Eiter, T., Fink, M.: Nonmonotonic Multi-Context Systems. In: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, LNCS, vol. 6565, pp. 233–258. Springer (2011)

  11. Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed Multi-Context Systems. In: Proceedings of IJCAI 2011, pp. 786–791. AAAI (2011)

  12. Brewka, G., Ellmauthaler, S., Pührer, J.: Multi-Context Systems for Reactive Reasoning in Dynamic Environments. In: Schaub, T. (ed.) Proceedings of ECAI 2014. AAAI (2014)

  13. Brewka, G., Niemelä, I., Truszczyński, M.: Preferences and nonmonotonic reasoning. AI Magazine 29(4), 69–78 (2008)

    Article  Google Scholar 

  14. Cabalar, P., Costantini, S., Formisano, A.: Multi-context systems: Dynamics and evolution. In: Bogaerts, B., Harrison, A. (eds.) Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017., CEUR Workshop Proceedings, vol. 1868. CEUR-WS.org. http://ceur-ws.org/Vol-1868 (2017)

  15. Costantini, S.: ACE: a Flexible Environment for Complex Event Processing in Logical Agents. In: EMAS 2015, Revised Selected Papers, LNCS, vol. 9318. Springer (2015)

  16. Costantini, S.: Knowledge Acquisition via Non-Monotonic Reasoning in Distributed Heterogeneous Environments. In: Truszczyṅski, M., Ianni, G., Calimeri, F. (eds.) Proceedings of LPNMR 2013, LNCS, vol. 9345. Springer (2015)

  17. 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.) RuleMLChallenge track, Proceedings, CEUR Workshop Proceedings. CEUR-WS.org (2015)

  18. Costantini, S., Formisano, A.: Modeling preferences and conditional preferences on resource consumption and production in ASP. Journal of Algorithms in Cognition Informatics and Logic 64(1), 3–15 (2009)

    MathSciNet  MATH  Google Scholar 

  19. Costantini, S., Formisano, A.: Augmenting Weight Constraints with Complex Preferences. In: Logical Formalizations of Commonsense Reasoning, Papers from The 2011 AAAI Spring Symposium, pp. –. AAAI Press, USA (2011)

  20. Costantini, S., Formisano, A.: Weight Constraints with Preferences in ASP. In: Proceedings of the 11Th Intl. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR2011), Lecture Notes in Computer Science. Springer (2011)

  21. Costantini, S., Formisano, A.: Augmenting Agent Computational Environments with Quantitative Reasoning Modules and Customizable Bridge Rules. In: Osman, N., Sierra, C. (eds.) Autonomous Agents and Multiagent Systems - AAMAS 2016 Workshops, - Visionary Papers, Revised Selected Papers, Lecture Notes in Computer Science, vol. 10003, pp. 104–121 (2016)

  22. Costantini, S., Formisano, A.: Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules. In: Baldoni, M., Müller, J.P., Nunes, I., Zalila-Wenkstern, R. (eds.) Proceedings of EMAS 2016, Lecture Notes in Computer Science, vol. 10093, pp. 192–209. Springer. Also in [21] (2016)

  23. Costantini, S., Gasperis, G.D.: Bridge Rules for Reasoning in Component-Based Heterogeneous Environments. In: Alferes, J.J., Bertossi, L.E., Governatori, G., Fodor, P., Roman, D. (eds.) Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016. Proceedings, Lecture Notes in Computer Science, vol. 9718, pp. 97–112. Springer (2016)

  24. Costantini, S., Gasperis, G.D., Olivieri, R.: Digital forensics evidence analysis: An answer set programming approach for generating investigation hypotheses. In: Francesco, M.T., Ianni, C.G. (eds.) Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Proceedings, Lecture Notes in Computer Science, vol. 9345, pp. 228–241. Springer. Long version in CEUR Workshop Proceedings of CILC 2015, 30th Italian Conference of Computational Logic (2015)

  25. Dao-Tran, M., Eiter, T.: Streaming multi-context systems. In: Sierra, C. (ed.) Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, pp. 1000–1007. ijcai.org (2017)

  26. Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Distributed evaluation of nonmonotonic multi-context systems. J. Artif. Intell. Res. 52, 543–600 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  27. Eiter, T., Fink, M., Schu̇ller, P., Weinzierl, A.: Finding Explanations of Inconsistency in Multi-Context Systems. In: Lin, F., Sattler, U., Truszczyṅski, M. (eds.) Proceedings of KR 2010. AAAI (2010)

  28. Eiter, T., Weinzierl, A.: Preference-based inconsistency management in multi-context systems. J. Artif. Intell. Res. 60, 347–424 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  29. Erdem, E., Gelfond, M., Leone, N.: Applications of answer set programming. AI Mag. 37(3), 53–68 (2016)

    Article  Google Scholar 

  30. Fink, M., Ghionna, L., Weinzierl, A.: Relational Information Exchange and Aggregation in Multi-Context Systems. In: Proceedings Of LPNMR 2011, LNCS, vol. 6645, pp. 120–133 (2011)

  31. Gelfond, M.: Answer Sets. In: Handbook of Knowledge Representation, Chap. 7. Elsevier (2007)

  32. Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Kowalski, R., Bowen, K. (eds.) Proceedings of the 5th Intl. Conf. and Symposium on Logic Programming (ICLP/SLP’88), pp. 1070–1080. The MIT Press (1988)

  33. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. N. Gener. Comput. 9, 365–385 (1991)

    Article  MATH  Google Scholar 

  34. Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics or: How we can do without modal logics. Artif. Intell. 65(1), 29–70 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  35. Glascock, A., Kutzik, D.: Essential Lessons for the Success of Telehomecare: Why It’s Not Plug and Play. Assistive technology research series. IOS Press (2012)

  36. Gonċalves, R., Knorr, M., Leite, J.: Evolving Bridge Rules in Evolving Multi-Context Systems. In: Proceedings Of CLIMA 2014, LNCS, vol. 8624, pp. 52–69. Springer (2014)

  37. Gonċalves, R., Knorr, M., Leite, J.: Evolving Multi-Context Systems. In: Proceedings Of ECAI 2014, pp. 375–380. IOS (2014)

  38. Le, T., Son, T.C., Pontelli, E.: Multi-context systems with preferences. Fundam. Inform. 158(1-3), 171–216 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  39. Lloyd, J.W.: Foundations of logic programming. Springer, Berlin (1987)

    Book  MATH  Google Scholar 

  40. Marek, V.W., Truszczyński, M.: Stable Logic Programming - An Alternative Logic Programming Paradigm. In: 25 Years of Logic Programming Paradigm, pp. 375–398. Springer (1999)

  41. Olivieri, R.: Digital Forensics Meets Complexity Theory and Artificial Intelligence: Towards Automated Generation of Investigation Hypothesis. Ph.D. Thesis, Ph.D. Program in Information and Communication Technology, University of L’Aquila, Italy (2016)

  42. Roelofsen, F., Serafini, L., Cimatti, A.: Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems. In: Lȯpez De Mȧntaras, R., Saitta, L. (eds.) Proceedings of ECAI 2004, pp. 58–62. IOS Press (2004)

Download references

Acknowledgments

This work is partially supported by INdAM-GNCS-17 DECORE project, by project B.I.M.–2018.0419.021, by Univ.of Perugia (projects “ricerca-di-base-2016”, YASMIN, CLTP and RACRA), by Xunta de Galicia, Spain (projects GPC ED431B 2016/035 and 2016-2019 ED431G/01 for CITIC center) and by the European Regional Development Fund (ERDF). MINECO, Spain (project TIN2017-84453-P).

Author information

Authors and Affiliations

  1. University of Corunna, A Coruña, Spain

    Pedro Cabalar

  2. Università degli Studi dell’Aquila, L’Aquila, Italy

    Stefania Costantini & Giovanni De Gasperis

  3. Università di Perugia, Perugia, Italy

    Andrea Formisano

  4. GNCS-INdAM, Roma, Italy

    Andrea Formisano

Authors
  1. Pedro Cabalar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stefania Costantini
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Giovanni De Gasperis
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Andrea Formisano
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Pedro Cabalar or Andrea Formisano.

Additional information

Publisher’s note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Cabalar, P., Costantini, S., De Gasperis, G. et al. Multi-context systems in dynamic environments. Ann Math Artif Intell 86, 87–120 (2019). https://doi.org/10.1007/s10472-019-09622-0

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10472-019-09622-0

Keywords

Mathematics Subject Classification (2010)

Search

Navigation