Towards verification of dialogue protocols: a mathematical model

DOI10.1007/978-3-319-39384-1_28MaRDI QIDQ2814138zbMATH OpenOpenAlexFDO

Authors M. Kacprzak, Anna Sawicka, Andrzej Zbrzezny

Publication date 17 June 2016

Published in Artificial Intelligence and Soft Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-39384-1_28

zbMATH Keywords

formal dialogue systemprotocolverification

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Abstract models for dialogue protocols
• A mathematical model of dialog
• Towards encoding of the transition relation in dialogue games model checking
• An Interaction Protocol for Agent Communication
• Verifiable agent dialogues

Cites work

• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• Coherence and Flexibility in Dialogue Games for Argumentation
• From games to dialogues and back. Towards a general frame for validity
• scientific article; zbMATH DE number 3677798 (Why is no real title available?)
• scientific article; zbMATH DE number 2064229 (Why is no real title available?)
• scientific article; zbMATH DE number 2087624 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Identification of formal fallacies in a natural dialogue
• Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems
• Properties and Complexity of Some Formal Inter-agent Dialogues
• Proving propositional tautologies in a natural dialogue
• Question-begging in non-cumulative systems
• Towards verification of dialogue protocols: a mathematical model

Cited in

(10)

• Abstract models for dialogue protocols
• Towards verification of dialogue protocols: a mathematical model
• A mathematical model of dialog
• scientific article; zbMATH DE number 3888943 (Why is no real title available?)
• An Interaction Protocol for Agent Communication
• A Formal General Setting for Dialogue Protocols
• Protocol Synthesis with Dialogue Structure Theory
• scientific article; zbMATH DE number 1746565 (Why is no real title available?)
• Towards encoding of the transition relation in dialogue games model checking
• Models and algorithms script of intellectual dialog systems

This page was built for publication: Towards verification of dialogue protocols: a mathematical model

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2814138)