AI Notions of Context
Slides:1
2
3
4
5
6
7
8
9
10
11
12
Next: Slide 8
Up: Title
Prev: Slide 6
Lifting above-theory to situation calculus, cont.
Suppose that in context c we have
and
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.
jmc@cs.stanford.edu
Last modified: Wed Dec 9 03:05:04 PST 1998