Bridge Rules for Reasoning in Component-Based Heterogeneous Environments

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.

[1]  Thomas Eiter,et al.  Linking Open-World Knowledge Bases Using Nonmonotonic Rules , 2015, LPNMR.

[2]  Thomas Eiter,et al.  Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources , 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning.

[3]  José Júlio Alferes,et al.  Evolving Logic Programs , 2002, JELIA.

[4]  autoepistemic Zogic.  Logic programming and negation : a survey , 2001 .

[5]  Antonius Weinzierl,et al.  Managed Multi-Context Systems , 2011, IJCAI.

[6]  Stefania Costantini,et al.  Modeling preferences and conditional preferences on resource consumption and production in ASP , 2009, J. Algorithms.

[7]  Thomas Eiter,et al.  Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems , 2007, AAAI.

[8]  Michael Gelfond,et al.  Answer Sets , 2008, Handbook of Knowledge Representation.

[9]  Fausto Giunchiglia,et al.  Multilanguage hierarchical logics (or: how we can do without modal logics) , 1994, CNKBS.

[10]  Gerhard Brewka,et al.  Multi-Context Systems for Reactive Reasoning in Dynamic Environments , 2014, ECAI.

[11]  Stefania Costantini,et al.  Exchanging Data and Ontological Definitions in Multi-Agent-Contexts Systems , 2015, Challenge+DC@RuleML.

[12]  Nic Wilson,et al.  From Preference Logics to Preference Languages, and Back , 2010, KR.

[13]  Thomas Eiter,et al.  Distributed Evaluation of Nonmonotonic Multi-context Systems , 2015, J. Artif. Intell. Res..

[14]  Angelo Ferrando,et al.  FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain , 2016, PAAMS.

[15]  Michael Fink,et al.  Towards Query Answering in Relational Multi-Context Systems , 2013, LPNMR.

[16]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[17]  Miroslaw Truszczynski,et al.  Preferences and Nonmonotonic Reasoning , 2008, AI Mag..

[18]  Antonius Weinzierl,et al.  Relational Information Exchange and Aggregation in Multi-Context Systems , 2011, LPNMR.

[19]  Stefania Costantini,et al.  Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous Environments , 2015, LPNMR.