BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TN-94-13
       ENTRY:: October 18, 1994
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: Formalizing Context (Expanded Notes)
        TYPE:: Technical Note
      AUTHOR:: McCarthy, John
      AUTHOR:: Buvac, Sasa
        DATE:: October 1994
       PAGES:: 26
    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.
       NOTES:: [Adminitrivia V1/Prg/19941018]
         END:: STAN//CS-TN-94-13