MC Logics and McCarty Context Logic The problem of context has a long tradition in different areas of artificial intelligence (AI). However, the issue of formalizing context has become a widely discussed issue only since the late 80s. Since then, two main formalizations have been proposed in AI: Propositional Logic of Context(PLC) and Local Models Semantics/MultiContext Systems(LMS/MCS). We propose the first in depth comparison between these two formalizations, both from a technical and a conceptual point of view. The main technical result described in the above papers are the following: PLC can be embedded into a particular class of MCS, which is an instance of a Hierarchical meta-logics MCS/LMS cannot be embedded in PLC using only lifting axioms to encode bridge rules. under some important restrictions (including the hypothesis that each context has finite and homogeneous propositional languages), MCS/LMS can be embedded in PLC with generic axioms. We also provide a comparison of the epistemological adequacy of PLC and MCS/LMS for the representation of the most important issues about contexts.

Relevant Publications P. Bouquet and L. Serafini Comparing Formal Theories of Context in AI January 2002. (pdf)

 

Web mastering: Alessandro Tomasi
Last Update: Ferbuary 2003