Title: Towards Verification of Dialogue Protocols: A Mathematical Model
Abstract: Formal dialogue systems are an important trend in current research on the process of communication. They can be used as the schema of the dialogue conducted between artificial entities or as a simplified form of human dialogue with a machine or a human being with a man. In this work we introduce a mathematical model of dialogue, which is inspired by dialogue games. This model will be used as a semantic structure in verification of properties of dialogue protocols. For this purpose, the semantics of the dialogue games has been translated into interpreted systems that are commonly used in the model checking approach. The newly created model will be applied to develop methods and techniques for automated analysis of dialogues.
Publication Year: 2016
Publication Date: 2016-01-01
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
Cited By Count: 3
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot