A Novel Description Language for Two-Agent Dialogue Games

Every day we use protocols unconsciously during the conversations and the ability to abide by them is an important part of our communication skills (e.g. questioning the question is neither contributing to the conversation nor polite). The protocols can support dialogue to achieve the goal of the conversation (e.g. a compromise, a persuasion). In the paper, we focus on argumentative dialogues and we propose a description language for an argumentative dialogue game in which players can perform actions representing speech acts like claim, question, scold etc. We introduce a Game with Emotional Reasoning Description Language (GERDL), since some of the speech acts introduced by us have an emotional undertow. It will be used in our system for semantic verification of properties of dialogue games with emotional reasoning. This framework is based on interpreted system designed for a dialogue protocol in which participants have emotional skills. To represent the verified properties of the protocol we use the extension of CTL logic with commitment and emotion modalities (formulated in [8]).