Multicontext Logic for Semigroups of Contexts

Authors:
Rolf Nossum;Luciano Serafini
Affiliations:
-;-
Venue:
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Year:
2002

Citing 7
Cited 2

Contexts: a formalization and some applications

Contexts: a formalization and some applications
Language, representation and contexts

Journal of Information Processing
Multilanguage hierarchical logics, or: how we can do without modal logics

Artificial Intelligence
ML Systems: A Proof Theory for Contexts

Journal of Logic, Language and Information
The Semantics of Propositional Contexts

ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems
Distributed context-aware systems

Human-Computer Interaction
Metamathematics Of Contexts

Fundamenta Informaticae

A decidable multi-modal logic of context

Journal of Applied Logic
A contextual approach to the logic of fiction

CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context

Quantified Score

Hi-index	0.00

Visualization

Abstract

A multicontext logic with algebraic structure is proposed, where contexts are either primitive or composed from other contexts. Composition of two contexts can support various intuitions: sequence concatenation, set union, multiset union, etc.A local models semantics for algebraic context composition is defined, with a corresponding deductive calculus containing multilanguage bridge rules. Soundness and completeness results are proved for the case of semigroups of contexts, i.e. where context composition is an associative operation. Other properties of context composition, besides associativity, are defined by additional algebraic equations.