DeepAI AI Chat
Log In Sign Up

Preferential Multi-Context Systems

by   Kedian Mu, et al.

Multi-context systems (MCS) presented by Brewka and Eiter can be considered as a promising way to interlink decentralized and heterogeneous knowledge contexts. In this paper, we propose preferential multi-context systems (PMCS), which provide a framework for incorporating a total preorder relation over contexts in a multi-context system. In a given PMCS, its contexts are divided into several parts according to the total preorder relation over them, moreover, only information flows from a context to ones of the same part or less preferred parts are allowed to occur. As such, the first l preferred parts of an PMCS always fully capture the information exchange between contexts of these parts, and then compose another meaningful PMCS, termed the l-section of that PMCS. We generalize the equilibrium semantics for an MCS to the (maximal) l_≤-equilibrium which represents belief states at least acceptable for the l-section of an PMCS. We also investigate inconsistency analysis in PMCS and related computational complexity issues.


page 1

page 2

page 3

page 4


On the cost-complexity of multi-context systems

Multi-context systems provide a powerful framework for modelling informa...

The Produoidal Algebra of Process Decomposition

We introduce the normal produoidal category of monoidal contexts over an...

Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments

Managed multi-context systems (mMCSs) allow for the integration of heter...

Advancing Multi-Context Systems by Inconsistency Management

Multi-Context Systems are an expressive formalism to model (possibly) no...

Quantum Cognitive Triad. Semantic geometry of context representation

The paper describes an algorithm for cognitive representation of triples...

Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments")

Multi-Context Systems (MCS) model in Computational Logic distributed sys...

Towards Efficient Evolving Multi-Context Systems (Preliminary Report)

Managed Multi-Context Systems (mMCSs) provide a general framework for in...