This paper proposes a dialogue game in which coherent conversational sequences at the speech act level are described of agents that become aware they have an irresolvable disagreement and settle the dispute by agreeing to disagree. A disagreement is irresolvable from an agentýs perspective if both agents are aware that they both ran out of options to resolve the situation. A dialogue game is formulated in which agents can offer information that may result in non-reconcilable, mutually inconsistent belief states. An agentýs cognitive state consists of mental constructs, and given on these constructs, epistemic operators are defined which are used to define dialogue rules and a cognitive rule that allow an agent to agree to disagree.
[1]
Robbert-Jan Beun,et al.
On the Generation of Coherent Dialogue: A Computational Approach
,
2001
.
[2]
John-Jules Ch. Meyer,et al.
Dialogue Games for Inconsistent and Biased Information
,
2004,
LCMAS.
[3]
Matthew L. Ginsberg,et al.
Multivalued logics: a uniform approach to reasoning in artificial intelligence
,
1988,
Comput. Intell..
[4]
Nuel D. Belnap,et al.
A Useful Four-Valued Logic
,
1977
.
[5]
D. Walton,et al.
Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning
,
1995
.