On the difference between bridge rules and lifting axioms

Authors:
Paolo Bouquet;Luciano Serafini
Affiliations:
Department of Information and Communication Technologies, University of Trento, Trento, Italy and ITC, Istituto per la Ricerca Scientifica e Tecnologica, Trento, Italy;ITC, Istituto per la Ricerca Scientifica e Tecnologica, Trento, Italy
Venue:
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Year:
2003

Citing 6
Cited 1

Multilanguage hierarchical logics, or: how we can do without modal logics

Artificial Intelligence
Local models semantics, or contextual reasoning = locality + compatibility

Artificial Intelligence
Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context

CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Notes on formalizing context

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Metamathematics Of Contexts

Fundamenta Informaticae
Reasoning About Theory Adequacy. A New Solution To The Qualification Problem

Fundamenta Informaticae

Technologies for data semantic modelling

International Journal of Metadata, Semantics and Ontologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 finite and homogeneous propositional languages), MCS can be embedded in PLC with generic axioms. To prove this theorem, we prove that MCS cannot be embedded in PLC using only lifting axioms to encode bridge rules. This is an important result for a general theory of context and contextual reasoning, as it proves that lifting axioms and entering context are not enough to capture all forms of contextual reasoning that can be captured via bridge rules in LMS/MCS.