AI Notions of Context

AI Notions of Context Slides:1 2 3 4 5 6 7 8 9 10 11 12

Next: Slide 3 Up: Title Prev: Slide 1

MORE BASIC NOTIONS

c' = Spec-time(c,today)---Specializing a context
c' = Spec-place(c,California)
c' = Assuming(c,Alive(Turing,today))--Making an assumption
c1: Ist(spec-time(c,today),At(JMC,Stanford)) $\equiv$
Ist(c1,At(JMC,Stanford,today)--A lifting relation
Entering and leaving contexts.

jmc@cs.stanford.edu
Last modified: Wed Dec 9 00:23:06 PST 1998