Design of LMT: a prolog-based machine translation system
Computational Linguistics
Verbmobil: A Translation System for Face-to-Face Dialog
Verbmobil: A Translation System for Face-to-Face Dialog
Text Understanding in LILOG, Integrating Computational Linguistics and Artificial Intelligence, Final Report on the IBM Germany LILOG-Project
Knowledge Retrieval as Limited Inference
Proceedings of the 6th Conference on Automated Deduction
BACK V5 - Tutorial & Manual
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Relevant Answers to WH-Questions
Journal of Logic, Language and Information
Towards including prosody in a text-to-speech system for modern standard Arabic
Computer Speech and Language
Hi-index | 0.00 |
In this paper we sketch a decidable inference-based procedure for lexical disambiguation which operates on semantic representations of discourse and conceptual knowledge. In contrast to other approaches which use a classical logic for the disambiguating inferences and run into decidability problems, we argue on the basis of empirical evidence that the underlying inference mechanism has to be essentially incomplete in order to the (cognitively) adequate. Since our conceptual knowledge can be represented in a rather restricted representation language, it is then possible to show that the restrictions satisfied by the conceptual knowledge and the inferences ensure in an empirically adequate way the decidability of the problem, although a fully expressive language is used to represent discourse.