Next: Actions by Persons and Up: Situation Calculus Representations Previous: Simple situation calculus

## Not so simple situation calculus

The notion of in the previous subsection avoids any actual notion of the missionaries being eaten. More generally, it avoids any notion that in certain situations, certain events other than actions will occur. We can put part of this back.

We would like to handle the requirement for oars and the ability of Jesus Christ to walk on water in a uniform way, so that we could have either, both or neither of these elaborations.

To say that the missionaries will be eaten if the cannibals outnumber them can be done with the formalism of [McC95].

 (7)

As sketched in [McC95], the consequences of the occurrence of an event may be described by a predicate , asserting that in some situation in the future of the situation , the fluent will hold. We can write this

 (8)

and treat the specific case by

 (9)

To say that something will be true in the future of a situation is more general than using , because there is no commitment to a specific next situation as the result of the event. Indeed an event can have consequences at many different times in the future. The formalism is very convenient when applicable, and is compatible with the formalism of and . We have

 (10)

where something has to be done to replace the lambda-expression by a syntactically proper fluent expression. One way of doing that is to regard as a fluent and write

 (11)

We may get yet more mileage from the formalism. Suppose is taken to be a situation after all the events consequential to have taken place. We then have one or more consequences of the form , and these permit us to refer to the consequences of that are distributed in time. The advantage is that we can the use as a base situation for further events.

Next: Actions by Persons and Up: Situation Calculus Representations Previous: Simple situation calculus
John McCarthy
2003-09-29