next up previous
Next: GLASGOWLONDON, MOSCOW AND Up: EVENTS WITH MULTIPLE EFFECTS Previous: Extending

Implied events

We can deal with events having multiple effects at different times by stating that certain events trigger other events. Thus we might write,

displaymath961

This is an alternate way to model the notion that the airline steward takes your ticket during the flight.

We now consider narratives in two domains. One concerns stacking blocks, the other a plane journey. We show that we can axiomatize these two narratives separately, but in such a way that their conjunction is consistent.



John McCarthy
Thu Jul 8 18:10:07 PDT 1999