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

ENGINEERING EXAMPLE

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

displaymath401

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

displaymath405

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.


jmc@cs.stanford.edu
Last modified: Wed Dec 9 03:17:29 PST 1998