PP-2005-03: Minimality, Non-Determinism, and Absent Information in Multi-Context Systems

PP-2005-03: Roelofsen, Floris (2005) Minimality, Non-Determinism, and Absent Information in Multi-Context Systems. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (249kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (1kB)


Multi-context systems (MCS) can be used to represent contextual
information flow. We show that the semantics of an MCS is completely
determined by the information that is obtained when simulating the
MCS, in such a way that a _minimal_ amount of information is deduced
at each step of the simulation.

The MCS framework implicitly presupposes that information flow is
_deterministic_. In many natural situations, this is not a valid
assumption. We propose an extension of the framework to account for
non-determinism and provide an algorithm to efficiently compute the
meaning of non-deterministic systems.

In MCS, the acquisition of new information is based on the _presence_
of other information only. We give a generalized account to model
situations in which information is obtained as a result of the
_absence_ of other information.

Item Type: Report
Report Nr: PP-2005-03
Series Name: Prepublication (PP) Series
Year: 2005
Uncontrolled Keywords: Multi-Context Systems, Information Flow, Logic Programming
Depositing User: froelofs
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/148

Actions (login required)

View Item View Item