Paper: Computational Semantics Of Mass Terms

ACL ID E89-1028
Title Computational Semantics Of Mass Terms
Venue Annual Meeting of The European Chapter of The Association of Computational Linguistics
Session Main Conference
Year 1989
Authors

Although the formalisms normally used for describ- ing the semantics of natural languages are far from computationally tractable, it is possible to isolate particular semantic phenomena and interpret them within simpler formal systems. Quantified mass noun phrases is one such part. We describe a simple formal system suitable for the interpretation of quantified mass noun phrases. The main issue of this paper is to develop an algorithm for deciding the validity of sentences in the formal system and hence for deciding the validity of natural language infer- ences where all the involved noun phrases are quantified mass noun phrases. The decision proce- dure is based on a tableau calculus.