Developing Human-Robot Dialogue Management Formally

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.