Skip to main content
SpringerLink
Log in
Book cover

International and Interdisciplinary Conference on Modeling and Using Context

CONTEXT 2001: Modeling and Using Context pp 87–101Cite as

Two Formalizations of Context: A Comparison

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2116))

Abstract

We investigate the relationship between two well known formalizations of context: Propositional Logic of Context (PLC) [4], and Local Models Semantics (LMS) [11]. We start with a summary of the desiderata for a logic of context, mainly inspired by McCarthy’s paper on generality in AI [15] and his notes on formalizing context [16]. We briefly present LMS, and its axiomatization using MultiContext Systems (MCS) [14]. Then we present a revised (and simplified) version of PLC, and we show that local vocabularies - as they defined in [4] - are inessential in the semantics of PLC. The central part of the paper is the definition of a class of LMS (and its axiomatization in MCS, called MMCC), which is provably equivalent to the axiomatization of PLC as described in [4]. Finally, we go back to the general desiderata and discuss in detail how the two formalisms fulfill (or do not fulfill) each of them.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Benerecetti, P. Bouquet, and C. Ghidini. Formalizing belief report-the approach and a case study. In F. Giunchiglia, editor, Artificial Intelligence: Methodology, Systems, and Applications (AIMSA’ 98), volume 1480 of Lecture Notes in Artificial Intelligence, pages 62–75. Springer, 1998.

    Google Scholar 

  2. M. Benerecetti, F. Giunchiglia, and L. Serafini. Model Checking Multiagent Systems. Journal of Logic and Computation, Special Issue on Computational & Logical Aspects of Multi-Agent Systems, 8(3):401–423, 1998.

    MATH  MathSciNet  Google Scholar 

  3. P. Bouquet and F. Giunchiglia. Reasoning about Theory Adequacy: A New Solution to the Qualification Problem. Fundamenta Informaticae, 23(2–4):247–262, June, July, August 1995.

    Google Scholar 

  4. S. Buvač and Ian A. Mason. Propositional logic of context. In R. Fikes and W. Lehnert, editors, Proc. of the 11th National Conference on Artificial Intelligence, pages 412–419, Menlo Park, California, 1993. AAAI Press.

    Google Scholar 

  5. Saša Buvač. Quantificational logic of context. In Proceedings of the Thirteenth National Conference on Artificial Intelligence, 1996.

    Google Scholar 

  6. A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts III: Towards the Mechanization. In P. Brezillon and S. Abu-Hakima, editors, Proc. of the IJCAI-95 Workshop on “Modelling Context in Knowledge Representation and Reasoning”, pages 35–45, 1995.

    Google Scholar 

  7. A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts: the Approach and a Case Study. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Proceedings of 1994 Workshop on Agent Theories, Architectures, and Languages, number 890 in Lecture Notes in Computer Science, pages 71–85. Springer Verlag, 1995.

    Google Scholar 

  8. A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts II: Elaboration Tolerance. In Proc. 1st Int. Conference on Multi-Agent Systems (ICMAS-95), pages 57–64, 1996.

    Google Scholar 

  9. G. Criscuolo, F. Giunchiglia, and L. Serafini. A Foundation for Metareasoning, Part I: The proof theory. Technical Report 0003-38, IRST, Trento, Italy, 2001. To appear in the Journal of Logic and Computation.

    Google Scholar 

  10. G. Criscuolo, F. Giunchiglia, and L. Serafini. A Foundation for Metareasoning, Part II: The model theory. Technical Report 0010-07, IRST, Trento, Italy, 2000. To appear in the Journal of Logic and Computation.

    Google Scholar 

  11. C. Ghidini and F. Giunchiglia. Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. Artificial Intelligence, 127(2):221–259, 2001.

    Article  MATH  MathSciNet  Google Scholar 

  12. E. Giunchiglia and F. Giunchiglia. Ideal and real belief about belief. Journal of Logic and Computation, To appear in 2000.

    Google Scholar 

  13. F. Giunchiglia. Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine, XVI:345–364, 1993. Short version in Proceedings IJCAI’93 Workshop on Using Knowledge in its Context, Chambery, France, 1993, pp. 39–49. Also IRST-Technical Report 9211-20, IRST, Trento, Italy.

    Google Scholar 

  14. F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29–70, 1994.

    Article  MATH  MathSciNet  Google Scholar 

  15. J. McCarthy. Generality in Artificial Intelligence. Communications of ACM, 30(12):1030–1035, 1987. Also in V. Lifschitz (ed.), Formalizing common sense: papers by John McCarthy, Ablex Publ., 1990, pp. 226–236.

    Article  MATH  MathSciNet  Google Scholar 

  16. J. McCarthy. Notes on Formalizing Context. In Proc. of the 13th International Joint Conference on Artificial Intelligence, pages 555–560, Chambery, France, 1993.

    Google Scholar 

  17. J. McCarthy and S. Buvač. Formalizing Context (Expanded Notes). In A. Aliseda, R.J. van Glabbeek, and D. Westerståhl, editors, Computing Natural Language, volume 81 of CSLI Lecture Notes, pages 13–50. Center for the Study of Language and Information, Stanford University, 1998.

    Google Scholar 

  18. D. Prawitz. Natural Deduction-A proof theoretical study. Almquist and Wiksell, Stockholm, 1965.

    MATH  Google Scholar 

  19. L. Serafini. Quantificational logic of contexts revisited. Technical Report 0105-01, ITC-IRST, 2001.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer and Management Sciences, University of Trento, Via Inama, 5, 38100, Trento, Italy

    P. Bouquet

  2. ITC-IRST - Istituto per la Ricerca Scientifica e Tecnologica, Via Sommarive, 38050, Trento, Italy

    L. Serafini

Authors
  1. P. Bouquet
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. L. Serafini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Engineering, Bilkent University, Bilkent, Ankara, 06533, Turkey

    Varol Akman

  2. Department of Computer and Management Sciences, University of Trento, 38100, Trento, Italy

    Paolo Bouquet

  3. Philosophy Department, University of Michigan, 2251 Angell Hall, Ann Arbor, MI, 48109-1003, USA

    Richmond Thomason

  4. Philosophy Department, University of Dundee, Dundee, DD1 4HN, Scotland, UK

    Roger Young

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bouquet, P., Serafini, L. (2001). Two Formalizations of Context: A Comparison. In: Akman, V., Bouquet, P., Thomason, R., Young, R. (eds) Modeling and Using Context. CONTEXT 2001. Lecture Notes in Computer Science(), vol 2116. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44607-9_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-44607-9_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42379-9

  • Online ISBN: 978-3-540-44607-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation