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 SizeFormat 
HuiBaterman.pdf91.75 kBAdobe PDFView/Open
HuiBaterman.ps206.26 kBPostscriptView/Open


This item is protected by original copyright



This item is protected by original copyright rightsstatements.org