Autonomous Agents and Multi-Agent Systems
Compilation of unification grammars with compositional semantics to speech recognition packages
COLING '02 Proceedings of the 19th international conference on Computational linguistics - Volume 1
Computational Linguistics
Computational Semantics in Discourse: Underspecification, Resolution, and Inference
Journal of Logic, Language and Information
Classifying recognition results for spoken dialog systems
ACL '03 Proceedings of the 41st Annual Meeting on Association for Computational Linguistics - Volume 2
'Deep' grammatical relations for semantic interpretation
CrossParser '08 Coling 2008: Proceedings of the workshop on Cross-Framework and Cross-Domain Parser Evaluation
Tracing actions helps in understanding interactions
SigDIAL '06 Proceedings of the 7th SIGdial Workshop on Discourse and Dialogue
Hi-index | 0.00 |
We present an architecture for spoken dialogue systems where first-order inference (both theorem proving and model building) plays a crucial role in interpreting utterances of dialogue participants and deciding how the system should respond and carry out instructions. The dialogue itself is represented as a DRS which is translated into first-order logic for inference tasks. The system is implemented as a society of OAA-agents, and evaluated against a specific application (home automation).