Acts for non-cooperative dialogue

It was shown in Section 3.3.2 that in a cooperative setting, a speaker will rarely violate the mental state preconditions of an act, since it would lead the hearer to a state of false belief, and an irrelevant choice. In a non-cooperative dialogue, agents will certainly want to use acts like propose and tell insincerely. To allow this, some more rules are now added, to complement those of Section 5.3. These differ from the sincere forms in that they have no preconditions. However, in utterance planning, these acts would be decomposed to the same surface form, and so in plan recognition, a hearer would produce each act as an alternative hypothesis. The schemas are now:

name:             tell-true-sincere
parameter:        P
precondition:     bel(P)
effects:          {}
decomposition:    {surface-tell-true(P)}

name:             tell-false-sincere
parameter:        P
precondition:     bel(not(P))
effects:          {}
decomposition:    {surface-tell-false(P)}

name:             tell-true-insincere
parameter:        P
precondition:     {}
effects:          {}
decomposition:    {surface-tell-true(P)}

name:             tell-false-insincere
parameter:        P
precondition:     {}
effects:          {}
decomposition:    {surface-tell-false(P)}

name:             tell-sincere
parameter:        P
precondition:     {}
effects:          {}
decomposition:    { [tell-true(P)],
                    [tell-false(P)] }

name:             tell-insincere
parameter:        P
precondition:     {}
effects:          {}
decomposition:    { [tell-true-insincere(P)],
                    [tell-false-insincere(P)] }

name:             tell
parameter:        P
precondition:     {}
effects:          {}
decomposition:    { [tell-sincere(P)],
                    [tell-insincere(P)] }

name:             request-pair-sincere(P)
parameter:        P
precondition:     {intend(P)}
effects:          {}
decomposition:    { [request(P), P ]}

name:             request-pair-insincere(P)
parameter:        P
precondition:     {}
effects:          {}
decomposition:    { [request(P), P ]}

name:             request-pair(P)
parameter:        P
precondition:     {}
effects:          {}
decomposition:    { [request-pair-sincere(P)],
                    [request-pair-insincere(P)] }

name:             request(P)
parameter:        P
precondition:     {}
effects:          {}
decomposition:    {}

name:             propose-sincere
parameter:        P
precondition:     {intend(P)}
effects:          {}
decomposition:    {surface-propose(P)}

name:             propose-insincere
parameter:        P
precondition:     {}
effects:          {}
decomposition:    {surface-propose(P)}

name:             propose(P)
parameter:        P
precondition:     {}
effects:          {}
decomposition:    { [propose-sincere(P)],
                    [propose-insincere(P)] }

name:             ask-forced-sincere
parameter:        P
precondition:     {}
effects:          {}
decomposition:    { [request-pair-sincere(tell(P))] }

name:             ask-forced-insincere
parameter:        P
precondition:     {}
effects:          {}
decomposition:    { [request-pair-insincere(tell(P))] }

name:             ask-forced(P)
parameter:        P
precondition:     {}
effects:          {}
decomposition:    { [ask-forced-sincere(P)],
                    [ask-forced-insincere(P)] }

name:             ask-autonomous-sincere
parameter:        P
precondition:     {}
effects:          {}
decomposition:    { [propose-sincere(tell(P))] }

name:             ask-autonomous-insincere
parameter:        P
precondition:     {}
effects:          {}
decomposition:    { [propose-insincere(tell(P))] }

name:             ask-autonomous(P)
parameter:        P
precondition:     {}
effects:          {}
decomposition:    { [ask-autonomous-sincere(P)],
                    [ask-autonomous-insincere(P)] }