Abstract
In this paper we give an overview on multi-context systems (MCS) with a special focus on their recent nonmonotonic extensions. MCS provide a flexible, principled account of integrating heterogeneous knowledge sources. By a knowledge source we mean a knowledge base formulated in any of the typical knowledge representation languages, including classical logic, description logics, modal or temporal logics, but also nonmonotonic formalisms like logic programs under answer set semantics or default logic. We will motivate the need for such systems, describe what has been achieved in this area, but we also discuss work in progress and introduce generalizations of the existing framework which we consider useful.
This work has been supported by the Austrian Science Fund (FWF) projects P20840 & P20841, the EC ICT Integrated Project Ontorule (FP7 231875), and the Vienna Science and Technology Fund (WWTF) project ICT08-020. The first author acknowledges funding from Deutsche Forschungsgemeinschaft under grant Br 1817/3.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bairakdar, S.E.-D., Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Decomposition of distributed nonmonotonic multi-context systems. In: Janhunen, T., Niemelä, I. (eds.) [39]
Bairakdar, S.E.-D., Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: The DMCS solver for distributed nonmonotonic multi-context systems. In: Janhunen, T., Niemelä, I. (eds.) [39]
Balduccini, M., Gelfond, M.: Logic programs with consistency-restoring rules. In: International Symposium on Logical Formalization of Commonsense Reasoning, AAAI 2003 Spring Symposium Series, pp. 9–18 (2003)
Bao, J., Honovar, V.: Extension to support collaborative ontology building. In: Poster & Demonstration Proceedings of the 3rd International Semantic Web Conference (ISWC 2004), page PID 37 (2004) (poster)
Bögl, M., Eiter, T., Fink, M., Schüller, P.: The MCS-IE system for explaining inconsistency in multi-context systems. In: Janhunen, T., Niemelä, I. (eds.) [39]
Bonanno, G., Delgrande, J.P., Lang, J., Rott, H.: Special issue on formal models of belief change in rational agents. J. Applied Logic 7(4), 363 (2009)
Borgida, A., Serafini, L.: Distributed description logics: Directed domain correspondences in federated information sources. In: Meersman, R., Tari, Z. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol. 2519, pp. 36–53. Springer, Heidelberg (2002)
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 (JAIR) 21, 135–191 (2004)
Brewka, G., Eiter, T.: Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. In: AAAI 2007, pp. 385–390. AAAI Press, Menlo Park (2007)
Brewka, G., Eiter, T.: Argumentation context systems: A framework for abstract group argumentation. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 44–57. Springer, Heidelberg (2009)
Brewka, G., Roelofsen, F., Serafini, L.: Contextual Default Reasoning. In: IJCAI 2007, pp. 268–273 (2007)
Buccafurri, F., Caminiti, G.: Logic programming with social features. TPLP 8(5-6), 643–690 (2008)
Buccafurri, F., Caminiti, G., Laurendi, R.: A logic language with stable model semantics for social reasoning. In: de la Banda, M.G., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 718–723. Springer, Heidelberg (2008)
Caleiro, C., Sernadas, A., Sernadas, C.: Fibring logics: Past, present and future. In: Artëmov, S.N., Barringer, H., d’Avila Garcez, A.S., Lamb, L.C., Woods, J. (eds.) We Will Show Them! (1), pp. 363–388. College Publications (2005)
Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Distributed nonmonotonic multi-context systems. In: Proceedings 12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), Toronto, Canada, May 9-13 (2010)
Dell’Acqua, P., Pereira, L.M.: Preferring and updating in logic-based agents. In: Bartenstein, O., Geske, U., Hannebauer, M., Yoshie, O. (eds.) INAP 2001. LNCS (LNAI), vol. 2543, pp. 70–85. Springer, Heidelberg (2003)
Dix, J.: A Classification-Theory of Semantics of Normal Logic Programs: II. Weak Properties. Fundamenta Informaticae XXII(3), 257–288 (1995)
Drabent, W., Eiter, T., Ianni, G., Krennwallner, T., Lukasiewicz, T., Małuszyński, J.: Hybrid reasoning with rules and ontologies. In: Bry, F., Małuszyński, J. (eds.) Semantic Techniques for the Web. LNCS, vol. 5500, pp. 1–49. Springer, Heidelberg (2009)
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321–358 (1995)
Eiter, T., Brewka, G., Dao-Tran, M., Fink, M., Ianni, G., Krennwallner, T.: Combining nonmonotonic knowledge bases with external sources. In: Ghilardi, S., Sebastiani, R. (eds.) FroCoS 2009. LNCS, vol. 5749, pp. 18–42. Springer, Heidelberg (2009)
Eiter, T., Fink, M., Schüller, P.: Approximations for explanations of inconsistency in partially known multi-context systems. In: Informal Proceedings Conference Thirty Years of Nonmonotonicty (NonMon30), Lexington, October 22-25 (2010)
Eiter, T., Fink, M., Schüller, P., Weinzierl, A.: Finding explanations of inconsistency in multi-context systems. In: Proceedings 12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), Toronto, Canada, May 9-13 (2010)
Eiter, T., Fink, M., Weinzierl, A.: Preference-based inconsistency assessment in multi-context systems. In: Janhunen, T., Niemelä, I. (eds.) [39]
Eiter, T., Gottlob, G., Veith, H.: Modular logic programming and generalized quantifiers. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 290–309. Springer, Heidelberg (1997)
Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining Answer Set Programming with Description Logics for the Semantic Web. Artificial Intelligence 172(12-13), 1495–1539 (2008); Preliminary version Tech.Rep. INFSYS RR-1843-07-04, Inst. Information Systems, TU Vienna (January 2007)
Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: International Joint Conference on Artificial Intelligence, pp. 90–96 (2005)
Faber, W., Leone, N., Pfeifer, G.: Recursive aggregates in disjunctive logic programs: Semantics and complexity. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 200–212. Springer, Heidelberg (2004)
Finin, T.W., Fritzson, R., McKay, D.P., McEntire, R.: Kqml as an agent communication language. In: CIKM, pp. 456–463. ACM, New York (1994)
Foundation for Intelligent Physical Agents (FIPA). Fipa2000 agent specification (2000), http://www.fipa.org
Gabbay, D. (ed.): Fibring Logics. Oxford University Press, Oxford (1999)
Gelfond, M.: Answer sets. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation. Foundations of Artificial Intelligence, ch. 7, pp. 285–316. Elsevier, Amsterdam (2007)
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP 1988, pp. 1070–1080. MIT Press, Cambridge (1988)
Gelfond, M., Lifschitz, V.: Classical negation in logic programs and deductive databases. New Generation Computing 9, 365–385 (1991)
Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning=locality+compatibility. Artif. Intell. 127(2), 221–259 (2001)
Giunchiglia, F.: Contextual reasoning. Epistemologia XVI, 345–364 (1993)
Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics, or: How we can do without modal logics. Artificial Intelligence 65(1), 29–70 (1994)
Hirayama, K., Yokoo, M.: The distributed breakout algorithms. Artif. Intell. 161(1-2), 89–115 (2005)
Homola, M.: Semantic Investigations in Distributed Ontologies. PhD thesis, Comenius University, Bratislava, Slovakia (April 2010)
Janhunen, T., Niemelä, I. (eds.): JELIA 2010. LNCS, vol. 6341. Springer, Heidelberg (2010)
Kutz, O., Wolter, F., Zakharyaschev, M.: Connecting abstract description systems. In: Fensel, D., Giunchiglia, F., McGuinness, D.L., Williams, M.-A. (eds.) KR, pp. 215–226. Morgan Kaufmann, San Francisco (2002)
Lifschitz, V., Turner, H.: Splitting a logic program. In: International Conference on Logic Programming (ICLP), pp. 23–37 (1994)
McCarthy, J.: Generality in artificial intelligence. Commun. ACM 30(12), 1029–1035 (1987)
Roelofsen, F., Serafini, L.: Minimal and absent information in contexts. In: Proc. IJCAI 2005 (2005)
Weiss, G. (ed.): Multiagent Systems. A Modern Approach to Distributed Artifical Intelligence. MIT-Press, Cambridge (2000) (2nd print)
Wooldridge, M.: An Introduction to MultiAgent Systems. John Wiley and Sons, Chichester (2002); 2nd edn. (2009)
Zimmermann, A.: Integrated distributed description logics. In: Calvanese, D., Franconi, E., Haarslev, V., Lembo, D., Motik, B., Turhan, A.-Y., Tessaris, S. (eds.) Description Logics. CEUR Workshop Proceedings, vol. 250, CEUR-WS.org (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Brewka, G., Eiter, T., Fink, M. (2011). 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. Lecture Notes in Computer Science(), vol 6565. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20832-4_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-20832-4_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20831-7
Online ISBN: 978-3-642-20832-4
eBook Packages: Computer ScienceComputer Science (R0)