Minimality and non-determinism in multi-context systems

Authors:
Floris Roelofsen;Luciano Serafini
Affiliations:
Institute for Logic, Language, and Computation, Amsterdam, Netherlands;Instituto per la Ricerca Scientifica e Tecnologica, Trento, Italy
Venue:
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
Year:
2005

Citing 4
Cited 0

Multilanguage hierarchical logics, or: how we can do without modal logics

Artificial Intelligence
Local models semantics, or contextual reasoning = locality + compatibility

Artificial Intelligence
Comparing formal theories of context in AI

Artificial Intelligence
Notes on formalizing context

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.