- 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
- 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].