Representing Contexts

    Context in logic representation :

  • McCarthy (1993) defined a context as the generalization of a collection of assumptions

  • Contexts are formalized as first class objects (formal objects)

  • The basic relation is ist(c,p):

    -the proposition p is true in the context c

    Context captures all that is not explicit in p but required to make p a meaningful statement.

    An application of J. McCarthy ’s work

    Formulas ist(c,p) are always asserted within a context

  • Let's understand it with the example provided by McCarthy.