The basic logic differs from that of Cohen and Levesque in that possible worlds are seen as time points, not whole sequences of time points. PG means persistent goal. Dialogue acts are rational plans . We now turn to the problem of showing how agents can form and discharge these joint commitments and intentions. However, we will primarily be concerned here with mutual belief acquired via explicit communication.
Dialogue acts are rational plans .
For example, speakers requests are planned to alter the intentions of their addressees. Dialogue acts are rational plans . This is called the intentional effect. Some FP s persist after the corresponding act has been performed. For the particular case of CA s, the next property is valid for all the FP s which do not refer to time.