At the thirteenth international workshop on distributed AI.

Note, however, that the sentence (5) is itself a proposition, in that its denotation is the value or .

In Hintikka's original work, he used a technique based on `model sets', which is equivalent to Kripke's formalism, though less elegant. See [Hughes and Cresswell, 1968] for a comparison and discussion of the two techniques.

This example was adapted from [Halpern, 1987].

It is worth noting that Ferguson's thesis gives an excellent overview of the problems and issues associated with building rational, resource-bounded agents. Moreover, the description given of the TOURINGMACHINES architecture is itself extremely clear. We recommend it as a point of departure for further reading.

Not to be confused with the OZ programming language [Henz et al., 1993].

Fri Nov 4 16:03:55 GMT 1994