Towards dialogue based Shared Control of navigating robots

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3343, Issue , 2005, Pages 478-499

  Ross, Robert J ^a   Shi, Hui ^a   Vierhuff, Tillman ^a   Krieg Brückner, Bernd ^a   Bateman, John ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEMS; NATURAL LANGUAGE PROCESSING SYSTEMS; NAVIGATION;

NATURAL LANGUAGE COMPONENTS; SHARED CONTROL SYSTEMS; SPATIAL CONCEPTS;

ROBOTS;

EID: 26444527918     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-32255-9_26     Document Type: Conference Paper

References (59)

1. Konolige, K., Myers, K.L., Ruspini, E.H., Saffiotti, A.: The Saphira Architecture: A Design for Autonomy. Journal of experimental & theoretical artificial intelligence: JETAI 9 (1997) 215-235
2. Peters II, R.A., Wilkes, D., Gaines, D., Kawamura, K.: A software agent based control system for human-robot interaction. In: Proc Second International Symposium on Humanoid Robotics, Tokyo, Japan (1999)
3. Allen, J., Ferguson, G., Stent, A.: An architecture for more realistic conversational systems. In: Proceedings of Intelligent User Interfaces 2001 (IUI-01), Sante Fe, New Mexico, Association for Computing Machinery (2001) 1-8
4. Lemon, O., Gruenstein, A., Peters, S.: Collaborative activities and multi-tasking in dialogue systems. Traitement Automatique des Langues (TAL) 43 (2002) 131-154 Special issue on dialogue.
5. Nilsson, N.J.: A mobile automaton: An application of artificial intelligence techniques. In Walker, D.E., Norton, L.M., eds.: Proceedings of the 1st International Joint Conference on Artificial Intelligence, Washington, D. C., William Kaufmann (1969) 509-520
6. Winograd, T.: Understanding Natural Languages. 2 edn. Academic Press, New York (1976)
7. Matsui, T., Asoh, H., Fry, J., Motomura, Y., Asano, F., Kurita, T., Hara, I., Otsu, N.: Integrated Natural Spoken Dialogue System of Jijo-2 Mobile Robot for Office Services. In: AAAI/IAAI. (1999) 621-627
8. Bischoff, R., Jain, T.: Natural Communication and Interaction with Humanoid Robots. In: Proceedings of The Second International Symposium on Humanoid Robots, Tokyo, Japan (1999)
9. Roy, N., Pineau, J., Thrun, S.: Spoken Dialog Management for Robots. In: Proceedings of the ACL 2000. (2000)
10. Bugmann, G., Klein, E., Lauria, S., Kyriacou, T.: Corpus-Based Robotics: A Route Instruction Example. In: In Proceedings of IAS-8. (2004)
11. Porzel, R., Gurevych, I.: Towards context adaptive utterance interpretation. In: Proceedings of the 3rd SIGDial Workshop on Discourse and Dialogue. Association for Computational Linguistics, Philadelphia. (2002)
12. Bugmann, G.: Challenges in Verbal Instruction of Domestic Robots. In: Proceeding of the ASER'03, the 1st International Workshop on Advances in Service Robotics. (2003)
13. Stopp, E., Blocher, A.: Spatial information in instructions and questions to an autonomous system. Technical report, Universität des Saarlandes (1997)
14. Fong, T., Thorpe, C., Baur, C.: Collaboration, dialogue, and human-robot interaction. In: 10th Int'l Symp. of Robotics Research. (2001)
15. Lankenau, A., Röfer, T.: A versatile and safe mobility assistant. IEEE Robotics and Automation Magazine 7 (2001) 29 - 37
16. Copestake, A., Flickinger, D.P., Sag, I.A.: Minimal recursion semantics: An introduction. Manuscript, Stanford University: CSLI (1999)
17. Starter, N., Woods, D.: How in the world did we ever get into that mode? mode error and awareness in supervisory control. 37(1) (1995) 5-19
18. Leveson, N., et al.: Analyzing software specifications for mode confusion potential. In Johnson, C.W., ed.: Workshop on Human Error and System Development. Volume 97-2 of GAAG-TR., Glasgow Accident Analysis Group (1997) 132-146
19. Degani, A., Heymann, M.: Pilot-autopilot interaction: A formal perspective. In Abbott, K., S.J.J., Boy, G., eds.: International Cnference on Human-Computer Interaction in Aeronautics: HCI-Aero 2000. (2000) 157-168
20. Rushby, J.: Using model checking to help discover mode confusions and other automation surprises. 75(2) (2002) 167-177
21. Bredereke, J., Lankenau, A.: 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)
22. Shi, H., Peleska, J., Kouvaras, M.: Combining methods for the analysis of a fault-tolerant system. In: Pacific Rim International Symposium on Dependable Computing (PRDC), IEEE Computer Society (1999) 135-142
23. Werner, S., Krieg-Brückner, B., Herrmann, T.: Modelling navigational knowledge by route graphs. In Freksa, C., H.C., Wender, K., eds.: Spatial Cognition II. Volume 1849 of Lecture Notes in Artificial Intelligence., Springer Verlag (2000) 295-317
24. Krieg-Brückner, B., Frese, U., Lüttich, K., Mandel, C., Mossakowski, T., Ross, R.J.: Specification of route graphs via an ontology. (2004) In Proceedings of Spatial Cognition 2004, Chiemsee, Germany.
25. Smith, B., Grenon, P.: The cornucopia of formal-ontological relations. (Technical report)
26. Krieg-Bruckner, B., Shi, H., Ross, R.: A safe and robust approach to shared-control via dialogue. (Submitted to the Chinese Journal of Software, Beijing, China)
27. Ross, R., Collier, R., O'Hare, G.: [af-apl]: Bridging princples & practices in agent oriented languages. In: Proc. The Second International Workshop on Programming Multiagent Systems Languages and Tools (PROMAS 2004). Held at AAMAS'04, New York, USA (2004)
28. Ross, R.: MARC - applying multiagent systems to service robot control. Master's thesis, University College Dublin (2004)
29. Bateman, J., Farrar, S.: Spatial ontology baseline. SFB/TR8 internal report I1-[OntoSpace]: D2, Collaborative Research Center for Spatial Cognition, Universität Bremen, Germany (2004)
30. Mossakowski, T., Lttich, K., Kried-Brückner, B.: Ontologies for the semantic web in casl. Submitted to WADT 04 (2004)
31. Bateman, J.A., Kasper, R.T., Moore, J.D., Whitney, R.A.: A general organization of knowledge for natural language processing: the PENMAN upper model. Technical report, USC/Information Sciences Institute, Marina del Rey, California (1990)
32. Schröder, M., Trouvain, J.: The German text-to-speech synthesis system MARY: A tool for research, development and teaching. In: Proceedings of the 4th ISCA Tutorial and Research Workshop on Speech Synthesis, August 29 - September 1, Perthshire, Scotland (2001) 131-136
33. Just, M., Carpenter, P.: The psychology of reading and language comprehension. Allyn and Bacon (1987)
34. Shieber, S.M.: An Introduction to Unification Based Grammar. Center for the Study of Linguistics and Information (1986)
35. Kim, A.: Graded unification: A framework for interactive processing. (1994)
36. Steedman, M.: The Syntactic Process. MIT Press (2000)
37. Joshi, A., Vijay-Shanker, Weir, D.: The convergence of mildly context-sensitive grammar formalisms. In Sells, P., Shieber, S., Wasow, T., eds.: Foundational Issues in Natural Language Processing, Cambridge, MA (1991)
38. Vierhuff, T., Hildebrandt, B., Eikmeyer, H.J.: Effiziente Verarbeitung deutscher Konstituentenstellung mit der Combinatorial Categorial Grammar. Linguistische Berichte 194 (2003) 213-237
39. Bateman, J.A., Henschel, R., Rinaldi, P.: Generalized upper model 2.0: documentation. Technical report, GMD/Institut für Integrierte Publikations- und Informationssysteme, Darmstadt, Germany (1995)
40. Kasper, R., Whitney, R.: SPL: A sentence plan language for text generation. Technical Report forthcoming, Information Sciences Institute (1989) 4676 Admiralty Way, Marina del Rey, California 90292-6695.
41. Moratz, R., Fischer, K., Tenbrink, T.: Cognitive modelling of spatial reference for human-robot interaction. International Journal On Artificial Intelligence Tools 10 (2001)
42. Bateman, J.A.: Enabling technology for multilingual natural language generation: the KPML development environment. Journal of Natural Language Engineering 3 (1997) 15-55
43. Halliday, M.A.K.: An Introduction to Functional Grammar. Edward Arnold, London (1985) (2nd. edition 1994).
44. Matthiessen, C.M.I.M., Bateman, J.A.: Text generation and systemic-functional linguistics: experiences from English and Japanese. Frances Pinter Publishers and St. Martin's Press, London and New York (1991)
45. Teich, E., Hagen, E., Grote, B., Bateman, J.A.: From communicative context to speech: integrating dialogue processing, speech production and natural language generation. Speech Communication 21 (1997) 73-99
46. Buth, B., Kouvaras, M., Peleska, J., Shi, H.: Deadlock analysis for a fault-tolerant system. In Johnson, M., ed.: Algebraic Methodology and Software Technology (AMAST). Volume 1349 of Lecture Notes in Computer Science., Springer Verlag (1997) 60-75
47. Buth, B., Peleska, J., Shi, H.: Livelock analysis for a fault-tolerant system. In Haeberer, A.M., ed.: Algebraic Methodology and Software Technology (AMAST). Volume 1548 of Lecture Notes in Computer Science., Springer Verlag (1998) 124-135
48. Holzmann, G.: Design and Validation of Computer Protocols. Prentice-Hall (1991)
49. Daws, C., Yovine, S.: Two examples of verification of multirate timed automated with kronos. In: 1995 IEEE Real-Time Systems Symposium., IEEE Computer Society (1995) 66-77
50. Henzinger, T., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time system. 111 (1994) 193-244
51. McMillan, K.: Symbolic Model Checking: An Approach to the State Explosion Problem. Kluwer Academic Publishers (1993)
52. daVinci: (http://www.tzi.de/davinci)
53. Cycorp: Opencyc 0.7.0. Technical report (2004)
54. Niles, I., Pease, A.: Toward a standard upper ontology. In Welty, C., Smith, B., eds.: Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS-2001), Ogunquit, Maine, Association for Computing Machinery (2001)
55. Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A., Schneider, L.: The WonderWeb library of foundational ontologies: preliminary report. WonderWeb Deliverable D17, ISTC-CNR, Padova, Italy (2002)
56. Guarino, N.: The ontological level. In Casati, R., Smith, B., White, G., eds.: Philosophy and the Cognitive Sciences. Hölder-Pichler-Tempsky, Vienna (1994)
57. Bateman, J., Farrar, S.: Modelling models of robot navigation using formal spatial ontology. (2004) In Proceedings of Spatial Cognition 2004, Chiemsee, Germany.
58. Randell, D., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: Proceedings of the 3rd. International Conference on Knowledge Representation and Reasoning, San Mateo, Morgan Kaufmann (1992) 165-176
59. Moratz, R., Wallgrün, J.O.: Spatial reasoning about relative orientation and distance for robot exploration. In Kuhn, W., Worboys, M., Timpf, S., eds.: Spatial Information Theory: Foundations of Geographic Information Science. Conference on Spatial Information Theory (COSIT). Lecture Notes in Computer Science, Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de (2003) 61-74