Formalising control in robust spoken dialogue systems

Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005

Volumn , Issue , 2005, Pages 332-341

  Shi, Hui ^a   Ross, Robert J ^a   Bateman, John ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOTIVE VEHICLE; COMMUNICATING SEQUENTIAL PROCESS; DEVELOPMENT AND TESTING; DIALOGUE MANAGEMENT; DIALOGUE MANAGER; ENGINEERED SYSTEMS; SPOKEN DIALOGUE SYSTEM; SPOKEN-LANGUAGE INTERFACE;

SAFETY TESTING; SPEECH PROCESSING;

SOFTWARE ENGINEERING;

EID: 78649951693     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2005.21     Document Type: Conference Paper

References (33)

1. J. Alexandersson and P. Heisterkamp. Some notes on the complexity of dialogues. In L. Dybkjaer, K. Hasida, and D. Traum, editors, Proceedings of the IJCAI 99 workshop on knowledge and reasoning in pratical dialogue systems., 1999.
2. J. Bateman and S. Farrar. Spatial ontology baseline. SFB/TR8 internal report I1-[OntoSpace]: D2, Collaborative Research Center for Spatial Cognition, Universit ät Bremen, Germany, May 2004.
3. J. A. Bateman. Enabling technology for multilingual natural language generation: the KPML development environment. Journal of Natural Language Engineering, 3(1):15-55, 1997.
4. J. Bos, E. Klein, O. Lemon, and T. Oka. DIPPER: Description and Formalisation of an Information-State Update Dialogue System Architecture. In 4th SIGdial Workshop on Discourse and Dialogue, 2003.
5. J. Bredereke and A. Lankenau. A Rigouous View of Mode Confusion. In SAFECOMP 2002, 21st Int. Conf. on Computer Safety, Reliability and Security, volume 2434 of LNCS. Springer Verlag, 2002.
6. B. Buth, J. Peleska., and H. Shi. Livelock Analysis for a Fault-tolerant System. In A. M. Haeberer, editor, Algebraic Methodology and Software Technology (AMAST), volume 1548 of Lecture Notes in Computer Science, pages 124-135. Springer Verlag, 1998.
7. R. W. Collier. Agent Factory: A Framework for the Engineering of Agent Oriented Applications. PhD thesis, University College Dublin, 2001.
8. R. W. Collier, G. O'Hare, T. Lowen, and C. Rooney. Beyond Prototyping in the Factory of the Agents. In 3rd Central and Eastern European Conference on Multi-Agent Systems (CEEMAS'03), Prague, Czech Republic, 2003.
9. Formal Systems (Europe) Ltd. Formal Systemes: Failures Divergence Refinement FDR2 Preliminary Manual., 2001.
10. G. Gerzog, A. Ndiaye, S. Merten, H. Kirchmann., T. Becker, and P. Poller. Large-scale software integration for spoken language and multimodal dialog systems. Natural Language Engineering, 10 (3/4):283-305, 2004.
11. J. Ginzburg. Dynamics and the Semantics of Dialogue. In J. Seligman, editor, Language, logic and computation, volume 1. CSLI Lecture Notes, CSLI Stanford, 1996.
12. T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic Model Checking for Real-Time System. Information and Computation, 111:193-244, 1994.
13. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
14. G. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, 1991.
15. D. Jurafsky and J. H. Martin. Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition. Prentice Hall, Englewood Cliffs, New Jersey, 2000.
16. A. Lankenau. Avoiding mode confusion in servicerobots. In M. Mokhtari, editor, Integration of Assistive Technology in the Information Age. Proc. of the 7th Int. Conf. on Rehabilitation Robotics, pages 162-167. IOS Pres, Amsterdam, 2001.
17. A. Lankenau, O. Meyer, and B. Krieg-Brückner. Safety in robotics: The bremen autonomous wheelchair. In Proceedings of AMC98, 5th Int. Workshop on Advanced Motion Control, pages 524-529, 1998.
18. A. Lankenau and T. Röfer. A versatile and safe mobility assistant. IEEE Robotics and Automation Magazine, 7(1):29-37, 2001.
19. S. Larsson and D. Traum. Information state and dialogue management in the TRINDI Dialogue Move Engine Toolkit. Natural Language Engineering, 6(3-4):323-340, 2000. Special Issue on Best Practice in Spoken Language Dialogue Systems Engineering.
20. K. McMillan. Symbolic Model Checking: An Approach to the State Explosion Problem. Kluwer Academic Publishers, 1993.
21. M. F. McTear. Spoken dialogue technology: Enabling the conversational user interface. ACM Computing Surveys (CSUR), 34(1):90-169, 2002.
22. A. W. Roscoe. Model-Checking CSP. In A Classical Mind, Eassys in Honour of C. A. R. Hoare. Prentice-Hall International, 1994.
23. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1998.
24. R. J. Ross, R. Collier, and G. O. Hare. ALPHA A Language for Programming Hybrid Agents. Presented at Second European Workshop on Multi-Agent Systems (EUMAS 04, Dec 2004.
25. R. J. Ross, H. Shi, T. Vierhuf, B. Krieg-Bruckner, and J. Bateman. Towards Dialogue Based Shared Control of Navigating Robots. In Proceedings of Spatial Cognition 04, Germany, 2004. Springer.
26. J. Rushby. Using model checking to help discover mode confusions and other automation surprises. Reliability Engineering & System Safety, 75(2):167-177, 2002.
27. J. Searle. Speech Acts. Cambridge Univesity Press, Cambridge, England, 1969.
28. S. Seneff, R. Lau, and J. Polifroni. Organization, Communication, and Control in the Calaxy-II Conversational System. In Eurospeech'99, pages 1271-1274, 1999.
29. H. Shi, J. Peleska, and M. Kouvaras. Combining Methods for the Analysis of a Fault-tolerant System. In Pacific Rim International Symposium on Dependable Computing (PRDC), pages 135-142. IEEE Computer Society, 1999.
30. S. Sitter and A. Stein. Modeling information-seeking dialogues: The Conversational Roles model. Review of Information Science, 1(1):n/a, 1996. (On-line journal; date of verification: 20. 1. 1998).
31. S. Sutton, R. Cole, J. DeVilliers, et al. Universal speech tools: The CSLU toolkit. In In Proceedings of the 5th International Conference on Spoken Language Processing (ICSLP 98, pages 3221-3224, Sydney, Australia, 1998.
32. D. Traum and S. Larsson. The information state approach to dialogue management. In R. Smith and J. van Kuppevelt, editors, Current and New Directions in Discourse and Dialogue, pages 325-353. Kluwer Academic Publishers, Dordrecht, 2003.
33. T. Winograd and F. Flores. Understanding computers and cognition: a new foundation for design. Ablex, Norwood, New Jersey, 1986.