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 59–72Cite as

On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective

  • Conference paper
  • First Online:

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

Abstract

In this paper we propose to re-read the past work on formalizing context as the search for a logic of the relationships between partial, approximate, and perspectival theories of the world. The idea is the following. We start from a very abstract analysis of a context dependent representation into three basic elements. We briefly show that all the mechanisms of contextual reasoning that have been studied in the past fall into three abstract forms: expand/contract, push/pop, and shifting. Moreover we argue that each of the three forms of reasoning actually captures an operation on a different dimension of variation of a context dependent representation, partiality, approximation, and perspective. We show how these ideas are formalized in the framework of MultiContext Systems, and briefly illustrate some applications.

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. G. Attardi and M. Simi. A formalisation of viewpoints. Fundamenta Informaticae, 23(2–4):149–174, 1995.

    MATH  MathSciNet  Google Scholar 

  2. M. Benerecetti, P. Bouquet, and C. Ghidini. Formalizing Belief Reports-The Approach and a Case Study. In Proc. of the 8th International Conference on Artificial Intelligence, Methodology, Systems, and Applications, volume 1480 of LNAI, Springer, 1998.

    Google Scholar 

  3. M. Benerecetti, P. Bouquet, and C. Ghidini. Contextual Reasoning Distilled. Journal of Theoretical and Experimental Artificial Intelligence, 12(3):279–305, 2000.

    Article  MATH  Google Scholar 

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

    MATH  MathSciNet  Google Scholar 

  5. S. Buvač and I. A. Mason. Propositional logic of context. Proc. of the 11th National Conference on Artificial Intelligence, pages 412–419, 1993.

    Google Scholar 

  6. A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts: the Approach and a Case Study. In Intelligent Agents: Proceedings of ATAL’94, number 890 in LNCS. Springer, 1995.

    Google Scholar 

  7. J. Dinsmore. Partitioned Representations. Kluwer Academic Publishers, 1991.

    Google Scholar 

  8. G. Fauconnier. Mental Spaces: aspects of meaning construction in natural language. MIT Press, 1985.

    Google Scholar 

  9. C. Ghidini and F. Giunchiglia. Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. Artificial Intelligence, To Appear.

    Google Scholar 

  10. C. Ghidini and L. Serafini. Distributed First Order Logics. In Frontiers Of Combining Systems 2, Studies in Logic and Computation. Research Studies Press, 1998.

    Google Scholar 

  11. C. Ghidini and L. Serafini. Information Integration for Electronic Commerce. In Proceedings of the Workshop on Agent Mediated Electronic Trading (AMET’98), volume 1571 of LNAI. Springer Verlag, 1998.

    Google Scholar 

  12. F. Giunchiglia. Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine, XVI:345–364, 1993.

    Google Scholar 

  13. F. Giunchiglia and P. Bouquet. Introduction to contextual reasoning. An Artificial Intelligence perspective. In Perspectives on Cognitive Science. NBU Press, Sofia, 1997.

    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. F. Giunchiglia, L. Serafini, E. Giunchiglia, and M. Frixione. Non-Omniscient Belief as Context-Based Reasoning. In Proc. of the 13th International Joint Conference on Artificial Intelligence, pages 548–554, Chambery, France, 1993.

    Google Scholar 

  16. R.V. Guha. Contexts: a Formalization and some Applications. Technical Report ACT-CYC-423-91, MCC, Austin, Texas, 1991.

    Google Scholar 

  17. J.E. Laird, A. Newell, and P.S. Rosenbloom. Soar: An architecture for general intelligence. Artificial Intelligence, 33(3):1–4 64, 1987.

    Article  Google Scholar 

  18. D. Lewis. Index, Context, and Content. In S. Kranger and S. Ohman, editors, Philosophy and Grammar, pages 79–100. D. Reidel Publishing Company, 1980.

    Google Scholar 

  19. J. McCarthy. Overcoming an Unexpected Obstacle. Unpublished, 1991.

    Google Scholar 

  20. J. McCarthy. Notes on Formalizing Context. In Proc. of the 13th International Joint Conference on Artificial Intelligence, 1993.

    Google Scholar 

  21. Dan Sperber and Deirdre Wilson. Relevance. Communication and Cognition. Basil Blackwell, 1986.

    Google Scholar 

  22. R.W. Weyhrauch. Prolegomena to a Theory of Mechanized Formal Reasoning. Artificial Intelligence, 13(1):133–176, 1980.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Physical Sciences, University of Naples, Via Cintia, Monte S. Angelo, I-80126, Napoli, Italy

    Massimo Benerecetti

  2. Department of Computer and Management Sciences, University of Trento, Via Inama, 4, I-38100, Trento, Italy

    Paolo Bouquet

  3. Department of Computer Science, University of Liverpool, Liverpool, L69 7ZF, UK

    Chiara Ghidini

Authors
  1. Massimo Benerecetti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paolo Bouquet
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Chiara Ghidini
    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

Benerecetti, M., Bouquet, P., Ghidini, C. (2001). On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective. 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_5

Download citation

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

  • 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