On the difference between bridge rules and lifting axioms

  title={On the difference between bridge rules and lifting axioms},
  author={Paolo Bouquet and Luciano Serafini},
In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context (PLC) and Local Models Semantics/MultiContext Systems (LMS/MCS). The result was that LMS/MCS is at least as general as PLC, as it can be embedded into a particular class of MCS, called MPLC. In this paper we go beyond that result, and prove that, under some important restrictions (including the hypothesis that each context has… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 13 references

Modeling and Using Context, volume 2116 of Lecture Notes in Artificial Intelligence

  • V. Akman, P. Bouquet, R. Thomason, R. A. Young, editors
  • Proceedings of CONTEXT’2001 – Third International…
  • 2001

Contextual reasoning. Epistemologia, special issue on I

  • F. Giunchiglia
  • Linguaggi e le Macchine,
  • 1993
1 Excerpt

Mason . Propositional logic of context

  • S. Buvač, A. Ian
  • 1993

Similar Papers

Loading similar papers…