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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Benerecetti, P. Bouquet, and M. Bonifacio. Distributed context-aware applications. Human Computer Interaction, 16:213–228, 2001. Special issue on Context-aware computing.
M. Benerecetti, P. Bouquet, and C. Ghidini. Contextual reasoning distilled. Journal of Theoretical and Experimental Artificial Intelligence, 2000.
Sačsa Buvačc, Vanja Buvačc, and Ian A. Mason. The semantics of propositional contexts. In Proceedings of the Eight International Symposium on Methodologies for Intelligent Systems, volume 869 of Lecture Notes in Artificial Intelligence. Springer Verlag, 1994.
Sačsa Buvačc, Vanja Buvačc, and Ian A. Mason. Metamathematics of context. Fundamenta Informaticae, 23(3), 1995.
T. Costello and A. Patterson. Quantifiers over contexts. In KR & R, 1998.
C. Dichev. Theory relations and context dependencies. In Proceedings of the 6th Australian Joint Conference on Artificial Intelligence (AI-93), pages 266–272, Melbourne, 1993.
Dov Gabbay and Rolf Nossum. Structured contexts with fibred semantics. In P. Bonzon, M. Cavalcanti, and R. Nossum, editors, Formal Aspects of Context. Applied Logic Series, Kluwer, 2000.
Chiara Ghidini. A Semantics for Contextual Reasoning: Theory and Two Relevant Applications. Ph.d. dissertation, Dipartimento di Informatica e Studî Aziendali, Università degli Studî di Roma “La Sapienza”, Roma, 1998.
Fausto Giunchiglia. Contextual reasoning. Epistemologia, special issue on I Lin-guaggi e le Macchine(XVI):345–364, 1993. IRST Technical Report 9211-20, IRST,Trento, Italy.
Fausto Giunchiglia and Luciano Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29–70, 1994.
Ramanathan Guha and Douglas Lenat. Language, representation and contexts. Journal of Information Processing, 15(3):340–349, 1992.
Ramanathan V. Guha. Contexts: A Formalization and Some Applications. PhD thesis, Stanford University, 1991.
David Kaplan. Demonstratives: an essay on the semantics, logic, metaphysics, and epistemology of demonstratives and other indexicals. In Joseph Almog, John Perry, and Howard Wettstein, editors, Themes from Kaplan, pages 481–563. Oxford University Press, Oxford, 1989.
J. McCarthy and S. Buvačc. Formalising context, (expanded notes). In A. Aliseda, R. van Glabbeek, and D. Westerståhl, editors, Computing Natural Language, volume 81 of CSLI Lecture Notes, pages 13–50. Stanford University, Center for the Study of Language and Information, 1998.
Rolf Nossum. A uniform quantificational logic for algebraic notions of context. Skriftserien 82, Agder University College, N-4604 Kristiansand, Dec 2001. ISBN 82-7117-448-7.
John Perry. Indexicals, contexts, and unarticulated constituents. In Atocha Aliseda, Rob van Glabbeek, and Dag Westerståhl, editors, Computing Natural Language, pages 1–11. CSLI Publications, Stanford, California, 1998.
Luciano Serafini and Chiara Ghidini. Context-based semantics for information integration. In Pierre Bonzon, Marcos Cavalcanti, and Rolf Nossum, editors, Formal Aspects of Context, pages 175–192. Kluwer Academic Publishers, Dordrecht, 2000.
Luciano Serafini and Fausto Giunchiglia. ML systems: A proof theory for contexts. Journal of Logic, Language and Information, July 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nossum, R., Serafini, L. (2002). Multicontext Logic for Semigroups of Contexts. In: Calmet, J., Benhamou, B., Caprotti, O., Henocque, L., Sorge, V. (eds) Artificial Intelligence, Automated Reasoning, and Symbolic Computation. AISC Calculemus 2002 2002. Lecture Notes in Computer Science(), vol 2385. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45470-5_11
Download citation
DOI: https://doi.org/10.1007/3-540-45470-5_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43865-6
Online ISBN: 978-3-540-45470-0
eBook Packages: Springer Book Archive