Paper: Memoisation for Glue Language Deduction and Categorial Parsing

ACL ID C98-1085
Title Memoisation for Glue Language Deduction and Categorial Parsing
Venue International Conference on Computational Linguistics
Session Main Conference
Year 1998
Authors

The multiplicative fi'agment of linear logic has found a number of applications in computa- tional linguistics: in the "glue language" ap- proach to LFG semantics, and in the formu- lation and parsing of various categorial gram- mars. These applications call for efficient de- duction methods. Although a number of de- duction methods for multiplicative linear logic are known, none of them are tabular meth- ods, which bring a substantial efficiency gain by avoiding redundant computation (c.f. chart methods in CFG parsing): this paper presents such a method, and discusses its use in relation to tile above applications.