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.
[1]
Sasa Buvac.
Quantificational Logic of Context
,
1996,
AAAI/IAAI, Vol. 1.
[2]
R. Guha.
Contexts: a formalization and some applications
,
1992
.
[3]
John McCarthy,et al.
Generality in artificial intelligence
,
1987,
Resonance.
[4]
Fausto Giunchiglia,et al.
Multilanguage hierarchical logics (or: how we can do without modal logics)
,
1994,
CNKBS.
[5]
Christo Dichev.
Multicontext Systems with Importing Contexts
,
1998,
AIMSA.
[6]
Christo Dichev.
Contexts as Communicating Theories
,
1997,
AI Commun..
[7]
Luciano Serafini,et al.
A Context-Based Logic for Distributed Knowledge Representation and Reasoning
,
1999,
CONTEXT.