From: AAAI Technical Report FS-95-02. Compilation copyright © 1995, AAAI (www.aaai.org). All rights reserved.
Varieties
of Formalized
Contexts
and Subcontexts
John McCarthy
Stanford University
Wecan consider several kinds of subcontexts and discuss their relations
with the enveloping context. These include theories and their lifting to outer
contexts as discussed in [1]. Also there are contexts of initial segments and
other parts of a sentence that give the referents of nouns, pronounsand other
parts of speech. Next we have problem solving contexts which are created to
formalize problems, e.g. the Amarelcontext for missionaries and cannibals.
Finally, wewill discuss database contexts that relate the contents of different
databases as in [2].
References
[1]John McCarthy. Notes on formalizing
context. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 1993.
[2]John McCarthy and Sa~a BuvaS. Formalizing
Context (Expanded Notes).
Technical Note STAN-CS-TN-94-13,Stanford University, 1994.