Generality in artificial intelligence
Communications of the ACM
Contexts: a formalization and some applications
Contexts: a formalization and some applications
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
A Context-Based Logic for Distributed Knowledge Representation and Reasoning
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Contexts as communicating theories
AI Communications
Quantificational logic of context
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
A number of formalizations of contexts has been proposed since the seminal paper of J. McCarthy on contexts [8]. Despite considerable research efforts over the last two decades aimed at formalizing contexts, there are still a number of important aspects from a formal point of view that have not been sufficiently studied. This paper is a part of a more general study of several classes of multicontext systems aimed at characterizing them with respect to their languages. The present paper addresses the simplest multicontext systems, with propositional languages. Hilbert-style syntax is introduced as well as a context version of modal Kripke semantics. Correctness and completeness of the propositional multicontext systems are proved as well as their decidability.