next up previous
Next: Elaborations Up: SITUATION CALCULUS WITH CONCURRENT Previous: Planning


Let us consider the purposes of Junior and Daddy and predict what actions they will take and what the outcome will be. Of course, Junior losing the ticket will be an unpredicted event. We just throw it in, but then we should be able to predict what Junior and Daddy will subsequently do.

John McCarthy
Thu Apr 27 22:02:22 PDT 2000