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 context
2000
File 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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11582/76
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact