Advertisement

Multi-context systems in dynamic environments

  • Pedro CabalarEmail author
  • Stefania Costantini
  • Giovanni De Gasperis
  • Andrea FormisanoEmail author
Article

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.

Keywords

Automated reasoning Multi-context systems Heterogeneous distributed systems 

Mathematics Subject Classification (2010)

68T42 68T30 68T35 68T27 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Notes

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).

References

  1. 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)Google Scholar
  2. 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)Google Scholar
  3. 3.
    Apt, K.R., Bol, R.N.: Logic programming and negation: a survey. J. Log. Programm. 19-20, 9–71 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 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)Google Scholar
  5. 5.
    Beck, H., Eiter, T.: LARS: A logic-based framework for analytic reasoning over streams. Artif. Intell. 261, 16–70 (2018)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 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)Google Scholar
  7. 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)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 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)Google Scholar
  9. 9.
    Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming: Special issue. AI Magazine 37(3), 5–6 (2016)CrossRefGoogle Scholar
  10. 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)Google Scholar
  11. 11.
    Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed Multi-Context Systems. In: Proceedings of IJCAI 2011, pp. 786–791. AAAI (2011)Google Scholar
  12. 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)Google Scholar
  13. 13.
    Brewka, G., Niemelä, I., Truszczyński, M.: Preferences and nonmonotonic reasoning. AI Magazine 29(4), 69–78 (2008)CrossRefGoogle Scholar
  14. 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. 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)Google Scholar
  16. 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)Google Scholar
  17. 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)Google Scholar
  18. 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)MathSciNetzbMATHGoogle Scholar
  19. 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)Google Scholar
  20. 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)Google Scholar
  21. 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)Google Scholar
  22. 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)Google Scholar
  23. 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)Google Scholar
  24. 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)Google Scholar
  25. 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)Google Scholar
  26. 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)MathSciNetCrossRefzbMATHGoogle Scholar
  27. 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)Google Scholar
  28. 28.
    Eiter, T., Weinzierl, A.: Preference-based inconsistency management in multi-context systems. J. Artif. Intell. Res. 60, 347–424 (2017)MathSciNetCrossRefzbMATHGoogle Scholar
  29. 29.
    Erdem, E., Gelfond, M., Leone, N.: Applications of answer set programming. AI Mag. 37(3), 53–68 (2016)CrossRefGoogle Scholar
  30. 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)Google Scholar
  31. 31.
    Gelfond, M.: Answer Sets. In: Handbook of Knowledge Representation, Chap. 7. Elsevier (2007)Google Scholar
  32. 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)Google Scholar
  33. 33.
    Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. N. Gener. Comput. 9, 365–385 (1991)CrossRefzbMATHGoogle Scholar
  34. 34.
    Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics or: How we can do without modal logics. Artif. Intell. 65(1), 29–70 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  35. 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)Google Scholar
  36. 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)Google Scholar
  37. 37.
    Gonċalves, R., Knorr, M., Leite, J.: Evolving Multi-Context Systems. In: Proceedings Of ECAI 2014, pp. 375–380. IOS (2014)Google Scholar
  38. 38.
    Le, T., Son, T.C., Pontelli, E.: Multi-context systems with preferences. Fundam. Inform. 158(1-3), 171–216 (2018)MathSciNetCrossRefzbMATHGoogle Scholar
  39. 39.
    Lloyd, J.W.: Foundations of logic programming. Springer, Berlin (1987)CrossRefzbMATHGoogle Scholar
  40. 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)Google Scholar
  41. 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)Google Scholar
  42. 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)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.University of CorunnaA CoruñaSpain
  2. 2.Università degli Studi dell’AquilaL’AquilaItaly
  3. 3.Università di PerugiaPerugiaItaly
  4. 4.GNCS-INdAMRomaItaly

Personalised recommendations