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.
CITATION STYLE
Kacprzak, M., Sawicka, A., & Zbrzezny, A. (2016). Towards verification of dialogue protocols: A mathematical model. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9693, pp. 329–339). Springer Verlag. https://doi.org/10.1007/978-3-319-39384-1_28
Mendeley helps you to discover research relevant for your work.