AI Notions of Context
Next: Slide 8
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