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

Lifting above-theory to situation calculus

which stands for

We want to apply above-theory in a context c in which on and above have a third argument denoting a situation. In the following formulas, we put the context in which the formula is true to the left followed by a colon. c0 denotes an outer context in which formulas not otherwise qualified are true. The next section has more about c0.
Last modified: Wed Dec 9 02:59:44 PST 1998