Design and validation of computer protocols
Design and validation of computer protocols
Symbolic model checking for real-time systems
Information and Computation
Integrated natural spoken dialogue system of Jijo-2 mobile robot for office services
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
The syntactic process
An architecture for more realistic conversational systems
Proceedings of the 6th international conference on Intelligent user interfaces
Towards a standard upper ontology
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Symbolic Model Checking
Modelling Navigational Knowledge by Route Graphs
Spatial Cognition II, Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications
Deadlock Analysis for a Fault-Tolerant System
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
A Rigorous View of Mode Confusion
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Combining Methods for the Analysis of a Fault-Tolerant System
PRDC '99 Proceedings of the 1999 Pacific Rim International Symposium on Dependable Computing
Two examples of verification of multirate timed automata with Kronos
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Enabling technology for multilingual natural language generation: the KPML development environment
Natural Language Engineering
Towards context-adaptive utterance interpretation
SIGDIAL '02 Proceedings of the 3rd SIGdial workshop on Discourse and dialogue - Volume 2
A mobius automation: an application of artificial intelligence techniques
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
Ontologies for the semantic web in CASL
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Modelling models of robot navigation using formal spatial ontology
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Formalising Control in Robust Spoken Dialogue Systems
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Tiered Models of Spatial Language Interpretation
Proceedings of the international conference on Spatial Cognition VI: Learning, Reasoning, and Talking about Space
Counterparts in Language and SpaceSimilarity and S-Connection
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
A functional model for affordance-based agents
Proceedings of the 2006 international conference on Towards affordance-based robot control
Spatial role labeling: Towards extraction of spatial relations from natural language
ACM Transactions on Speech and Language Processing (TSLP)
Specification of an ontology for route graphs
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Autonomous construction of hierarchical voronoi-based route graph representations
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Hi-index | 0.00 |
Establishing a clean relationship between a robot's spatial model and natural language components is a non-trivial task, but is key to designing verbally controlled, navigating service robots. In this paper we examine the issues involved in the development of dialogue controlled navigating robots. In particular, we treat our robots as so-called Shared Control Systems, where robot and user cooperate to achieve a shared goal. We begin by characterising four categories of Shared Control Problems that affect verbally controlled navigating robots. Producing solutions to these problems requires a clear methodology in the linking of 'common-sense' representations of space used by the robots, and the language interface. To this end, we present the SharC Cognitive Control Architecture as a general purpose, agent-based dialogue control system that provides a suitable framework for relating spatial information to natural language communication. To illustrate our approach, we focus in particular on natural language understanding, and show how natural language utterances may be mapped to formally modelled spatial concepts, thus helping to overcome problems in shared control.