A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Intelligent multimedia interfaces
Intelligent multimedia interfaces
Unravelling nondeterminism: on having the ability to choose (extended abstract)
AIMSA '94 Proceedings of the sixth international conference on Artificial intelligence : methodology, systems, applications: methodology, systems, applications
Spoken dialogue technology: enabling the conversational user interface
ACM Computing Surveys (CSUR)
LFCS '94 Proceedings of the Third International Symposium on Logical Foundations of Computer Science
KI '94 Proceedings of the 18th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Hi-index | 0.00 |
One major goal of human computer interfaces is to simplify the communication task. Traditionally, users have been restricted to the language of computers for this task. With the emerging of the graphical and multimodal interfaces -- where the interaction is day by day easier and simpler -- the effort required for working with a computer is decreasing. However, the problem of communication is still present, and users continue caring about the communication task when they deal with a computer. Our work focuses on improving the communication between the human and the computer. This paper presents the foundations of a multimodal dialog model based on a modal logic, which integrates the speech and the action under the same framework.