iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://doi.org/10.1007/978-3-319-09764-0_4
Evolving Bridge Rules in Evolving Multi-Context Systems | SpringerLink
Skip to main content
Springer Nature Link
Log in

Evolving Bridge Rules in Evolving Multi-Context Systems

  • Conference paper
Computational Logic in Multi-Agent Systems (CLIMA 2014)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8624))

Included in the following conference series:

Abstract

In open environments, agents need to reason with knowledge from various sources, represented in different languages. Managed Multi-Context Systems (mMCSs) allow for the integration of knowledge from different heterogeneous sources in an effective and modular way, where so-called bridge rules express how information flows between the contexts. The problem is that mMCSs are essentially static as they were not designed to run in a dynamic scenario. Some recent approaches, among them evolving Multi-Context Systems (eMCSs), extend mMCSs by allowing not only the ability to integrate knowledge represented in heterogeneous KR formalisms, but at the same time to both react to, and reason in the presence of commonly temporary dynamic observations, and evolve by incorporating new knowledge. These approaches, however, only consider the dynamics of the knowledge bases, whereas the dynamics of the bridge rules, i.e., the dynamics of how the information flows, is neglected. In this paper, we fill this gap by building upon the framework of eMCSs by further extending it with the ability to update the bridge rules of each context taking into account an incoming stream of observed bridge rules. We show that several desirable properties are satisfied in our framework, and that the important problem of consistency management can be dealt with in our framework.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Alberti, M., Gomes, A.S., Gonçalves, R., Leite, J., Slota, M.: Normative systems represented as hybrid knowledge bases. In: Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol. 6814, pp. 330–346. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

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

    Chapter  Google Scholar 

  3. Alferes, J., Leite, J., Pereira, L., Przymusinska, H., Przymusinski, T.: Dynamic logic programming. In: Cohn, A., Schubert, L., Shapiro, S. (eds.) KR, pp. 98–111. Morgan Kaufmann (1998)

    Google Scholar 

  4. Anicic, D., Rudolph, S., Fodor, P., Stojanovic, N.: Stream reasoning and complex event processing in ETALIS. Semantic Web 3(4), 397–407 (2012)

    Google Scholar 

  5. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)

    Google Scholar 

  6. Barbieri, D., Braga, D., Ceri, S., Valle, E., Grossniklaus, M.: C-SPARQL: a continuous query language for RDF data streams. Int. J. Semantic Computing 4(1), 3–25 (2010)

    Article  MATH  Google Scholar 

  7. Benerecetti, M., Giunchiglia, F., Serafini, L.: Model checking multiagent systems. J. Log. Comput. 8(3), 401–423 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  8. Brewka, G.: Towards reactive multi-context systems. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol. 8148, pp. 1–10. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  9. Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: AAAI, pp. 385–390. AAAI Press (2007)

    Google Scholar 

  10. Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: Walsh, T. (ed.) IJCAI, pp. 786–791. IJCAI/AAAI (2011)

    Google Scholar 

  11. Brewka, G., Ellmauthaler, S., Pührer, J.: Multi-context systems for reactive reasoning in dynamic environments. In: Schaub, T., Friedrich, G., O’Sullivan, B. (eds.) ECAI. IOS Press (to appear, 2014)

    Google Scholar 

  12. Dragoni, A., Giorgini, P., Serafini, L.: Mental states recognition from communication. J. Log. Comput. 12(1), 119–136 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  13. Eiter, T., Fink, M., Schüller, P., Weinzierl, A.: Finding explanations of inconsistency in multi-context systems. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) KR. AAAI Press (2010)

    Google Scholar 

  14. Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artif. Intell. 172(12-13), 1495–1539 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  15. Ellmauthaler, S.: Generalizing multi-context systems for reactive stream reasoning applications. In: Jones, A.V., Ng, N. (eds.) ICCSW. OASICS, vol. 35, pp. 19–26. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2013)

    Google Scholar 

  16. Gebser, M., Grote, T., Kaminski, R., Obermeier, P., Sabuncu, O., Schaub, T.: Stream reasoning with answer set programming: Preliminary report. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) KR. AAAI Press (2012)

    Google Scholar 

  17. Gebser, M., Grote, T., Kaminski, R., Schaub, T.: Reactive answer set programming. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 54–66. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  18. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gen. Comput. 9(3/4), 365–386 (1991)

    Article  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  20. Gonçalves, R., Alferes, J.J.: Parametrized logic programming. In: Janhunen, T., Niemelä, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 182–194. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  21. Gonçalves, R., Knorr, M., Leite, J.: Evolving multi-context systems. In: Schaub, T., Friedrich, G., O’Sullivan, B. (eds.) ECAI. IOS Press (to appear, 2014)

    Google Scholar 

  22. Homola, M., Knorr, M., Leite, J., Slota, M.: MKNF knowledge bases in multi-context systems. In: Fisher, M., van der Torre, L., Dastani, M., Governatori, G. (eds.) CLIMA XIII 2012. LNCS, vol. 7486, pp. 146–162. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  23. Ivanov, V., Knorr, M., Leite, J.: A query tool for \(\mathcal{EL}\) with non-monotonic rules. In: Alani, H., et al. (eds.) ISWC 2013, Part I. LNCS, vol. 8218, pp. 216–231. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  24. Knorr, M., Alferes, J., Hitzler, P.: Local closed world reasoning with description logics under the well-founded semantics. Artif. Intell. 175(9-10), 1528–1554 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  25. Knorr, M., Slota, M., Leite, J., Homola, M.: What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems. J. Log. Comput. (2013)

    Google Scholar 

  26. Lécué, F., Pan, J.: Predicting knowledge in an ontology stream. In: Rossi, F. (ed.) IJCAI. IJCAI/AAAI (2013)

    Google Scholar 

  27. Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM 57(5) (2010)

    Google Scholar 

  28. Roelofsen, F., Serafini, L.: Minimal and absent information in contexts. In: Kaelbling, L., Saffiotti, A. (eds.) IJCAI, pp. 558–563. Professional Book Center (2005)

    Google Scholar 

  29. Sabater, J., Sierra, C., Parsons, S., Jennings, N.R.: Engineering executable agents using multi-context systems. J. Log. Comput. 12(3), 413–442 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  30. Slota, M., Leite, J.: On semantic update operators for answer-set programs. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) ECAI. Frontiers in Artificial Intelligence and Applications, vol. 215, pp. 957–962. IOS Press (2010)

    Google Scholar 

  31. Slota, M., Leite, J.: Robust equivalence models for semantic updates of answer-set programs. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) KR. AAAI Press (2012)

    Google Scholar 

  32. Slota, M., Leite, J.: A unifying perspective on knowledge updates. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol. 7519, pp. 372–384. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  33. Slota, M., Leite, J.: The rise and fall of semantic rule updates based on SE-models. TPLP (to appear, 2014)

    Google Scholar 

  34. Wang, Y., Zhuang, Z., Wang, K.: Belief change in nonmonotonic multi-context systems. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol. 8148, pp. 543–555. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CENTRIA & Departamento de Informática, Faculdade Ciências e Tecnologia Universidade Nova de Lisboa, Portugal

    Ricardo Gonçalves, Matthias Knorr & João Leite

Authors
  1. Ricardo Gonçalves
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Matthias Knorr
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. João Leite
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Clausthal University of Technology, Adolph-Römer-Strasse 2A, 38678, Clausthal-Zellerfeld, Germany

    Nils Bulling

  2. University of Luxembourg, Campus Kirchberg, 6, rue Richard Doudenhove-Kalergi, 1359, Luxembourg, Luxembourg

    Leendert van der Torre

  3. Inria Sophia Antipolis-Méditerranée, 2004, route des Lucioles - BP 93, 06902, Sophia Antipolis, France

    Serena Villata

  4. University of Luxembourg, Computer Science and Communication Research Unit, Interdisciplinary Centre of Security, Reliability and Trust, Campus Kirchberg, 6, rue Richard Coudenhove-Kalergi, 1359, Luxembourg, Luxembourg

    Wojtek Jamroga

  5. Department of Computing Science, University of Aberdeen, Meston Building, Room 232, Old Aberdeen, AB24 3UE, Aberdeen, UK

    Wamberto Vasconcelos

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Gonçalves, R., Knorr, M., Leite, J. (2014). Evolving Bridge Rules in Evolving Multi-Context Systems. In: Bulling, N., van der Torre, L., Villata, S., Jamroga, W., Vasconcelos, W. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2014. Lecture Notes in Computer Science(), vol 8624. Springer, Cham. https://doi.org/10.1007/978-3-319-09764-0_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-09764-0_4

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-09763-3

  • Online ISBN: 978-3-319-09764-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation