Communicating sequential processes
Communicating sequential processes
Understanding computers and cognition
Understanding computers and cognition
Design and validation of computer protocols
Design and validation of computer protocols
Symbolic model checking for real-time systems
Information and Computation
A classical mind
Spoken dialogue technology: enabling the conversational user interface
ACM Computing Surveys (CSUR)
Symbolic Model Checking
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition
Combining Methods for the Livelock Analysis of a Fault-Tolerant System
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
A Rigorous View of Mode Confusion
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Combining Methods for the Analysis of a Fault-Tolerant System
PRDC '99 Proceedings of the 1999 Pacific Rim International Symposium on Dependable Computing
Information state and dialogue management in the TRINDI dialogue move engine toolkit
Natural Language Engineering
Enabling technology for multilingual natural language generation: the KPML development environment
Natural Language Engineering
Large-scale software integration for spoken language and multimodal dialog systems
Natural Language Engineering
Some notes on the complexity of dialogues
SIGDIAL '00 Proceedings of the 1st SIGdial workshop on Discourse and dialogue - Volume 10
Beyond prototyping in the factory of agents
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Towards dialogue based shared control of navigating robots
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Modelling illocutionary structure: combining empirical studies with formal model analysis
CICLing'10 Proceedings of the 11th international conference on Computational Linguistics and Intelligent Text Processing
| Hi-index | 0.00 |
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include innocuous human-computer interactions, but also encompass shared-control safety critical devices such as automotive vehicles and robotic systems. Spoken Dialogue Systems (SDS) are the language architecture used to provide linguistic interaction in these applications, but they have to date been notoriously difficult to engineer in a robust and safe manner. In this paper we report on our efforts to improve the safety and overall usability of dialogue enabled applications through the employment of formal methods in SDS development and testing. Specifically, we use Communicating Sequential Processes (CSP) as the basis of a new approach to the specification, design and verification of dialogue manager control. Moreover, to support this approach, we introduce FDMSC - the Formal Dialogue Management for Shared Control toolkit - and illustrate its use in the construction of formal methods based spoken dialogue systems.