Authors: | Bateman, John Shi, Hui |
Title: | Developing Human-Robot Dialogue Management Formally |
Language (ISO): | en |
Abstract: | In shared-control systems, such as intelligent service robots, a human operator and an automated technical system are interdependently in charge of control. Natural Language dialogues have long been acknowledged as a potentially fruitful modality for instructing, describing and negotiating in human-machine interfaces. Since shared-control systems are often embedded in safety-critical devices, formal methods are thus widely used for improving the quality of such systems. In this paper, we present a formal method based approach for dialogue management and show how it enhances the clarity of dialog modelling, provides several engineering properties (e.g., validation, test and simulation) and supports the generation of clarification subdialogues. |
URI: | http://hdl.handle.net/2003/21465 http://dx.doi.org/10.17877/DE290R-14197 |
Issue Date: | 2005-06-13 |
Provenance: | University of Dortmund |
Is part of: | Symposium on Dialogue Modelling and Generation at the 15th Annual meeting of the Society for Text and Discourse. Amsterdam, The Netherlands |
Appears in Collections: | Proceedings of the Symposium on Dialogue Modelling and Generation |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
HuiBaterman.pdf | 91.75 kB | Adobe PDF | View/Open | |
HuiBaterman.ps | 206.26 kB | Postscript | View/Open |
This item is protected by original copyright |
This item is protected by original copyright rightsstatements.org