# Context Mereology

@inproceedings{Hayes2007ContextM, title={Context Mereology}, author={Patrick J. Hayes}, booktitle={AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning}, year={2007} }

We show that under a small number of assumptions, it is possible to interpret truth in a context as a quantification over truth in 'atomic' or pointlike contexts, which are transparent to all the connectives. We discuss the necessary assumptions and suggest conditions under which they are intuitively reasonable. Introduction This note is inspired by the context logic originally introduced by J. McCarthy (McCarthy 1993) and R. V. Guha, (Guha 1991) and subsequently developed by others. It is…

## Figures and Topics from this paper

## References

SHOWING 1-10 OF 10 REFERENCES

Contexts: a formalization and some applications

- Mathematics
- 1992

Traditionally, logical formulas (and other structures) used in representation are supposed to be objective, decontextualized truths. In reality, however, they have many contextual aspects.…

The Objective Conception of Context and Its Logic

- Computer ScienceMinds and Machines
- 2004

In this paper, an “objective” conception of contexts based loosely upon situation theory is developed and formalized, and an extended first-order language for this account is developed.

Metamathematics of Contexts

- Computer ScienceFundam. Informaticae
- 1995

The main results of this paper are the soundness and completeness of this Hilbert style proof system for a general propositional language of context, and it is proved that the logic is decidable.

Notes on Formalizing Context

- Computer ScienceIJCAI
- 1993

These notes discuss formalizing contexts as first class objects, proposing a single language with all the desired capabilities to provide AI programs using logic with certain capabilities that human fact representation and human reasoning possess.

Formalizing Context (Expanded Notes)

- Mathematics
- 1994

These notes discuss formalizing contexts as first class objects. The basic relation is Ist(c,p). It asserts that the proposition p is true in the context c. The most important formulas relate the…

CONTEXTS IN CONTEXT

- 2005

This purpose of this note is lexicographic rather than theoretical: to tease apart some of the meanings of the word 'context' as it is used in the technical literature. I wil l distinguish four…

Moments and points in an interval‐based temporal logic

- Computer Science, PhilosophyComput. Intell.
- 1989

This paper presents a concise, formal axiomatization of “interval‐based” time as described by Allen and then explores the relationship between interval‐based and point‐based temporal theories in detail.

Computational Context Logic and Species of $ist$

- Unpublished memorandum KSL-06-07,
- 2006

Contexts in context. In Contexts in Knowledge Representation and Natural Language

- Proceedings of the 1997 AAAI Spring Symposium,
- 1997

Metamathematics of Context. Fundamentae Informaticae

- Metamathematics of Context. Fundamentae Informaticae
- 1995