PP-2005-03: Roelofsen, Floris (2005) Minimality, Non-Determinism, and Absent Information in Multi-Context Systems. [Report]
Preview |
Text (Full Text)
PP-2005-03.text.pdf Download (249kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2005-03.abstract.txt Download (1kB) |
Abstract
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 |
