Domain-Level Reasoning for Spoken Dialogue Systems

1: Introduction.- 2: Fundamentals of Dialogue Systems.- 3: First-Order Logic.- 4: Logic-Based Domain Modelling.- 5: Interactive Model Generation.- 6: A Prototype Based on VoiceXML.- 7: Information State-Based Dialogue Management.- 8: Revised Prototype and System Architecture.- 9: Conclusions and Future Directions

Dirk Bühler holds a PhD and MSc in Computer Science from the University of Ulm and University of Tübingen (Germany) respectively. His research interests concern the development and evaluation of user interfaces, including dialogue modelling and multimodality, domain modelling, knowledge representation, and automated reasoning. He worked at DaimlerChrysler, Research and Technology, Germany, from 2000 to 2002. He is now with SVOX Ulm (Germany). Wolfgang Minker is a full?time Professor at the University of Ulm, Institute for Information Technology (Germany). He received his Ph.D. in Engineering Science from the University of Karlsruhe (Germany) in 1997 and his Ph.D. in Computer Science from the University of Paris?Sud (France) in 1998. He has been Researcher at the Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur (LIMSI?CNRS), France, from 1993 to 1999 and member of the scientific staff at DaimlerChrysler, Research and Technology (Germany) from 2000 to 2002. Dr. Minker is highly regarded in the speech and spoken language field and actively participates in major workshops on this related topic such as the just concluded, IEEE Workshop on Spoken Language.