Report Number: CS-TN-94-13
Institution: Stanford University, Department of Computer Science
Title: Formalizing Context (Expanded Notes)
Author: McCarthy, John
Author: Buvac, Sasa
Date: October 1994
Abstract: 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 propositions true in different contexts.
Introducing contexts as formal objects will permit
axiomatizations in limited contexts to be expanded to
transcend the original limitations. This seems necessary to
provide AI programs using logic with certain capabilities
that human fact representation and human reasoning possess.
Fully implementing transcendence seems to require further
extensions to mathematical logic, i.e. beyond the
nonmonotonic inference methods first invented in AI and now
studied as a new domain of logic.