In this technical note we investigate the relationships between two formalizations of context: Propositional Logic of Context (PLC) [BM93], and Local Models Semantics (LMS) [GG98]. First, we summarize the two approaches. Then we prove that PLC is equivalent to a particular class of LMS (named MMCC). Finally, we discuss the consequences of the technical result from the standpoint of the general desiderata for a logic of context
Two formalizations of context: a comparison
Bouquet, Paolo;Serafini, Luciano
2000-01-01
Abstract
In this technical note we investigate the relationships between two formalizations of context: Propositional Logic of Context (PLC) [BM93], and Local Models Semantics (LMS) [GG98]. First, we summarize the two approaches. Then we prove that PLC is equivalent to a particular class of LMS (named MMCC). Finally, we discuss the consequences of the technical result from the standpoint of the general desiderata for a logic of contextFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.