Sciweavers

Share
CONTEXT
2005
Springer

Minimality and Non-determinism in Multi-context Systems

9 years 5 days ago
Minimality and Non-determinism in Multi-context Systems
Multi-context systems can be used to represent contextual information and inter-contextual information flow. We show that the local model semantics of a multi-context system is completely determined by the information that is obtained when simulating the information flow specified by the system, in such a way that a minimal amount of information is deduced at each step of the simulation. The multi-context system 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.
Floris Roelofsen, Luciano Serafini
Added 13 Oct 2010
Updated 13 Oct 2010
Type Conference
Year 2005
Where CONTEXT
Authors Floris Roelofsen, Luciano Serafini
Comments (0)
books