Multi-Context Systems (MCSs) are able to formally 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 use. In particular, we introduce and discuss some formal extensions of MCSs aimed to their practical application in dynamic environments, and we provide guidelines for implementations.
Multi-context systems in dynamic environments
Formisano A.
2019
Abstract
Multi-Context Systems (MCSs) are able to formally 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 use. In particular, we introduce and discuss some formal extensions of MCSs aimed to their practical application in dynamic environments, and we provide guidelines for implementations.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
