Minimality and non-determinism in multi-context systems

Minimality and non-determinism in multi-context systems. Roelofsen, F. & Serafini, L. In International and Interdisciplinary Conference on Modeling and Using Context, pages 424–435, 2005. Springer.

Paper doi abstract bibtex 4 downloads

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.

@inproceedings{roelofsen2005minimality,
	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.},
	author = {Roelofsen, Floris and Serafini, Luciano},
	booktitle = {International and Interdisciplinary Conference on Modeling and Using Context},
	date-added = {2019-05-09 08:58:25 +0200},
	date-modified = {2019-05-09 09:04:10 +0200},
	doi = {10.1007/11508373_32},
	keywords = {artificial intelligence,logic},
	organization = {Springer},
	pages = {424--435},
	title = {Minimality and non-determinism in multi-context systems},
	url = {https://link.springer.com/chapter/10.1007/11508373_32},
	year = {2005},
	Bdsk-Url-1 = {https://link.springer.com/chapter/10.1007/11508373_32},
	Bdsk-Url-2 = {https://doi.org/10.1007/11508373_32}}

Downloads: 4