Paper: A Logic For Semantic Interpretation

ACL ID P88-1011
Title A Logic For Semantic Interpretation
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 1988

We propose that logic (enhanced to encode probability information) is a good way of characterizing semantic in- terpretation. In support of this we give a fragment of an axiomatization for word-sense disambiguation, noun- phrase (and verb) reference, and case disambiguation. We describe an inference engine (Frail3) which actually takes this axiomatization and uses it to drive the semantic interpretation process. We claim three benefits from this scheme. First, the interface between semantic interpreta- tion and pragmatics has always been problematic, since all of the above tasks in general require pragmatic infer- ence. Now the interface is trivial, since both semantic interpretation and pragmatics use the same vocabulary and inference engine. The second benefit, related to the first, is t...