Developing Human-Robot Dialogue Management Formally
| dc.contributor.author | Bateman, John | de |
| dc.contributor.author | Shi, Hui | de |
| dc.date.accessioned | 2005-06-15T08:12:50Z | |
| dc.date.available | 2005-06-15T08:12:50Z | |
| dc.date.created | 2005 | de |
| dc.date.issued | 2005-06-13 | de |
| dc.description.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. | en |
| dc.format.extent | 93948 bytes | |
| dc.format.extent | 211208 bytes | |
| dc.format.mimetype | application/pdf | |
| dc.format.mimetype | application/postscript | |
| dc.identifier.uri | http://hdl.handle.net/2003/21465 | |
| dc.identifier.uri | http://dx.doi.org/10.17877/DE290R-14197 | |
| dc.language.iso | en | de |
| dc.publisher | University of Dortmund | de |
| dc.relation.ispartof | Symposium on Dialogue Modelling and Generation at the 15th Annual meeting of the Society for Text and Discourse. Amsterdam, The Netherlands | en |
| dc.subject.ddc | 430 | de |
| dc.title | Developing Human-Robot Dialogue Management Formally | en |
| dc.type | Text | de |
| dc.type.publicationtype | conferenceObject | |
| dcterms.accessRights | open access |