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

Lifting above-theory to situation calculus, cont.

Suppose that in context c we have


thus associating a context c1(s) with each situation s. We also need

which abbreviates to

and asserts that the facts of above-theory all hold in the contexts associated with situations. Mike Genesereth points out that this necessarily involves quantifying into an ist.
Last modified: Wed Dec 9 03:05:04 PST 1998