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

TL;DR

This paper extends Multi-Context Systems to better handle dynamic environments by introducing formal enhancements to bridge-rules, aiming to improve flexibility and applicability in real-world distributed systems.

Contribution

It proposes formal extensions to MCS bridge-rules, enhancing their flexibility and generality for dynamic, heterogeneous environments.

Findings

Enhanced bridge-rules for better adaptability

Guidelines for implementing extended MCS in practice

Improved handling of dynamic information sources

Abstract

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 in bridge-rules definition and application. In particular, we introduce and discuss some formal extensions of MCSs useful for a practical use in dynamic environments, and we try to provide guidelines for implementations