Abstract
Motivated by the need to make the human-machine information-seeking dialogue as efficient and user-friendly as possible we propose a logic-based reasoning component for a Spoken Language Dialogue Systems architecture. This component, called Problem Assistant, is responsible for processing constraints on a possible solution obtained from various sources, namely the user and the system's domain-specific information. The core processing is finite model generation. This inference technique tries to find solutions that fit both the user's constraints and that are consistent with the Problem Assistant's rule base. Since the assistant interactively generates transparent information about its inference process, our approach provides the basis for incremental explanation dialogues and collaborative conflict resolution.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bry, F. and Torge, S. (1998). A deduction method complete for refutation and finite satisfiability. Lecture Notes in Computer Science, 1489:122–138.
Bry, F. and Yahya, A. (1996). Minimal model generation with positive unit hyper-resolution tableaux. In Proceedings of International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, pages 143–159, Terrasini, Palermo, Italy. Springer-Verlag, Berlin/Heidelberg, Germany.
Chu-Carroll, J. and Carberry, S. (2000). Conflict resolution in collaborative planning dialogues. International Journal of Human-Computer Studies, 53(6):969–1015.
Ferguson, G. and Allen, J. F. (1998). TRIPS: An integrated intelligent problem-solving assistant. In Proceedings of National Conference on Artificial Intelligence (AAAI), pages 567–572, Madison, Wisconsin, USA.
Grosz, B. and Sidner, C. (1986). Attention, intentions, and the structure of discourse. Computational Linguistics, 12(3):175–204.
Minker, W. and Bennacef, S. (2000). Parole et Dialogue Homme-Machine. CNRS Editions & Editions Eyrolles, Paris, France.
Pieraccini, R., Levin, E., and Eckert, W. (1997). AMICA: The AT&T mixed initiative conversational architecture. In Proceedings of European Conference on Speech Communication and Technology (EUROSPEECH), pages 1875–1878, Rhodes, Greece.
Qu, Y. (2001). A Constraint-Based Model of Mixed-Initiative Dialogue in Information-Seeking Interactions. PhD thesis, School of Computer Science, Carnegie Mellon University.
Qu, Y. and Green, N. (2002). A constraint-based approach for cooperative information-seeking dialogues. In Proceedings of International Conference on Natural Language Generation (INLG), pages 136–143, New York, New York, USA.
Rich, C. and Sidner, C. L. (1997). COLLAGEN: When agents collaborate with people. In Johnson, W. L. and Hayes-Roth, B., editors, Proceedings of International Conference on Autonomous Agents, pages 284–291, Marina del Rey, California, USA. ACM Press, New York, NY, USA.
Smith, R. (1992). Integration of domain problem solving with natural language dialog: The Missing Axiom Theory. In Proceedings of Applications of Artificial Intelligence X: Knowledge-Based Systems, pages 270–278, Orlando, Florida, USA.
Smith, R., Hipp, D., and Biermann, A. (1992). A dialog control algorithm and its performance. In Proceedings of Conference on Applied Natural Language Processing (ANLP), pages 9–16, Trento, Italy.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer
About this chapter
Cite this chapter
Bühler, D., Minker, W. (2005). A Reasoning Component for Information-Seeking and Planning Dialogues. In: Minker, W., Bühler, D., Dybkjær, L. (eds) Spoken Multimodal Human-Computer Dialogue in Mobile Environments. Text, Speech and Language Technology, vol 28. Springer, Dordrecht. https://doi.org/10.1007/1-4020-3075-4_5
Download citation
DOI: https://doi.org/10.1007/1-4020-3075-4_5
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-3073-4
Online ISBN: 978-1-4020-3075-8
eBook Packages: Computer ScienceComputer Science (R0)