Sasa Buvac: FORMALIZING CONTEXT

Email: buvac@cs.stanford.edu; references in bibtex format.

1) MOTIVATIONS FOR CONTEXT

The basic ideas and motivations are given in the paper
• Formalizing Context (Expanded Notes).

The above paper is an expanded version of John McCarthy's landmark paper Notes on Formalizing Context which appeared in 1993. It also includes our report on the use of the context formalism in integrating plans which are generated by different planners, and which use different languages, Combining Planning Contexts. Our work is also largely influenced by R. V. Guha's research on the Cyc project and his Stanford PhD on the topic of context Contexts: A Formalization and Some Applications.

2) LOGICS OF CONTEXT

Some simple logical properties of contexts are investigated in
• Quantificational Logic of Context.

This work builds on the propositional properties of contexts, as formalized in Metamathematics of Contexts, which, in turn, subsumes our earlier work Propositional Logic of Context and The Semantics of Propositional Contexts.

3) APPLICATIONS OF CONTEXT

The use of the context formalism in translating knowledge has been investigated in
• A Declarative Formalization of Knowledge Translation.

A simple application of formal theory of context to NL is given in

• Ambiguity via Formal Theory of Context.

---

McCarthy's Formal Reasoning Group home page.

The Stanford home page.