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

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.

[1]  Fausto Giunchiglia,et al.  Non-Omniscient Belief as Context-Based Resoning , 1993, IJCAI.

[2]  Chiara Ghidini,et al.  Formalizing Belief Reports - The Approach and a Case Study , 1998, AIMSA.

[3]  Fausto Giunchiglia,et al.  Local Models Semantics, or Contextual Reasoning = Locality + Compatibility , 1998, KR.

[4]  Fausto Giunchiglia,et al.  Reasoning about Theory Adequacy. A New Solution to the Qualification Problem , 1995, Fundam. Informaticae.

[5]  Luciano Serafini,et al.  Information Integration for Electronic Commerce , 1998, AMET.

[6]  Fausto Giunchiglia,et al.  Multilanguage hierarchical logics (or: how we can do without modal logics) , 1994, CNKBS.

[7]  R. Guha.  Contexts: a formalization and some applications , 1992 .

[8]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[9]  Robert Stalnaker.  Context And Content , 1999 .

[10]  D. Sperber,et al.  Relevance: Communication and Cognition , 1989 .

[11]  Gilles Fauconnier,et al.  Mental Spaces: Aspects of Meaning Construction in Natural Language , 1985 .

[12]  Richard W. Weyhrauch,et al.  Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..

[13]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.

[14]  Laurent Perrussel,et al.  Contextual Reasoning , 1998, ECAI.

[15]  Fausto Giunchiglia,et al.  Introduction to Contextual Reasoning. An Artificial Intelligence Perspective , 1997 .

[16]  Chiara Ghidini,et al.  Contextual reasoning distilled , 2000, J. Exp. Theor. Artif. Intell..

[17]  Carl Hewitt,et al.  An Artificial Intelligence Perspective , 1982, On Conceptual Modelling.

[18]  D. Norman.  Perspectives on cognitive science , 1981 .

[19]  Davis Lewis,et al.  INDEX, CONTEXT, AND CONTENT , 1980 .

[20]  Luciano Serafini,et al.  Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[21]  Maria Simi,et al.  A Formalization of Viewpoints , 1995, Fundam. Informaticae.

[22]  Ian A. Mason,et al.  Propositional Logic of Context , 1993, AAAI.

[23]  Irene Santini de Sigel,et al.  Communication and Cognition , 1998 .