next up previous
Next: Features of the Formalism Up: A LOGICAL AI APPROACH Previous: A LOGICAL AI APPROACH


As requested by Johan van Benthem, this is a brief introduction to the logical formalism for context being explored by John McCarthy and Sasa Buvac at Stanford University. It is motivated by the need to use contexts as first order objects for artificial intelligence. I hope the description is suitable for comparison with other approaches to context that often have other motivations.

John McCarthy
Wed Feb 28 22:47:51 PST 1996