Formal specification description of multi-modal interface and its verification

点击翻译按钮获取中文摘要

We advanced the research from the preceding year further, performed the formal description for the multi-modal interface in the current fiscal year, and developed the technique of its evaluation. Specifically, the following research topics were promoted.User model : we examined how to describe the user's behavior, toward the realization of a user model. Especially, we confirmed that describing correctly the behavior of a user, which becomes important in the principle of a user interface, allows more precise verification of the specification of a system. While collecting and analyzing the previous research result about the principle of a user interface, aiming at describing as behavior based on a user's knowledge, the subject experiment using the telephone etc. was conducted and these results were evaluated.Knowledge model : the knowledge model for expressing the knowledge state between a user and a system was examined. Since a knowledge model which can describe various task domains was … More asked, the task domain dialogues of the system developed so far were collected. The cooperation possibility with other models was confiremed by analyzing this model.Dialogue model : the dialogue model was analyzed using large-scale corpora, such as an in-car spoken dialogue database and a simultaneous interpretation database which are currently collected at the Center for Integrated Acoustic Information Research, Nagoya University. Statistical characteristic features were drawn and the formalization of the dialogue model in various situations was considered.Formal specification description : the multi-modal interface was described formally by making cooperate and complement of a user model, a knowledge model, and a dialogue model mutually. The technique of specification description obtained by the preceding year was summarized, and the verification work was prepared.Three kinds of above-mentioned models were analyzed in detail, a still more formal description was defined, and the foundation of the evaluation method was established. The possibility of the comparison of a system and the evaluation, and the reuse to an advancement was confirmed by formalizing various interfaces by universal specification description. Less