We investigate the relationship between two well known formalizations of context: Propositional Logic of Context} (PLC) by S. Buvac and Local Models Semantics (LMS) by Ghidini and Giunchiglia. We start with a summary of the desiderata for a logic of context, mainly inspired by McCarthy`s paper on generality in AI and his notes on formalizing context. We briefly present LMS, and its axiomatization using MultiContext Systems (MCS) by Giunchiglia and Serafini. Then we present a revised (and simplified) version of PLC, and we show that local vocabularies are inessential in the semantics of PLC. The central part of the paper is the definition of a class of LMS (and its axiomatization in MCS, called MMCC), which is provably equivalent to the axiomatization of PLC. Finally, we go back to the general desiderata and discuss in detail how the two formalisms fulfill (or do not fulfill) each of them
Two formalizations of context: a comparison
Bouquet, Paolo;Serafini, Luciano
2001-01-01
Abstract
We investigate the relationship between two well known formalizations of context: Propositional Logic of Context} (PLC) by S. Buvac and Local Models Semantics (LMS) by Ghidini and Giunchiglia. We start with a summary of the desiderata for a logic of context, mainly inspired by McCarthy`s paper on generality in AI and his notes on formalizing context. We briefly present LMS, and its axiomatization using MultiContext Systems (MCS) by Giunchiglia and Serafini. Then we present a revised (and simplified) version of PLC, and we show that local vocabularies are inessential in the semantics of PLC. The central part of the paper is the definition of a class of LMS (and its axiomatization in MCS, called MMCC), which is provably equivalent to the axiomatization of PLC. Finally, we go back to the general desiderata and discuss in detail how the two formalisms fulfill (or do not fulfill) each of themI documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
