AI Notions of Context Slides:1 2 3 4 5 6 7 8 9 10 11 12
next up prev
Next: Slide 12 Up: Title Prev: Slide 10


Consider a wire with a signal on it which may have the value 0 or 1. We can associate a context with this wire that depends on time. Call it tex2html_wrap_inline399 . Suppose at time 331, the value of this signal is 0. We can write this


Suppose the meaning of the signal is that the door of the microwave oven is open or closed according to whether the signal on wire117 is 0 or 1. We can then write the lifting relation


The idea is that we can introduce contexts associated with particular parts of a circuit or other system, each with its special language, and lift sentences from this context to sentences meaningful for the system as a whole.
Last modified: Wed Dec 9 03:17:29 PST 1998