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]

Text (Full Text)

Download (249kB) | Preview
[img] 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