Abstract

An aspect of the Generalized Phrase Structure Grammar formalism proposed by Gazdar, et al. is the introduction of the notion of "slashed categories " to handle the parsing of structures, such as relative clauses, which involve unbounded dependencies. This has been implemented in Definite Clause Grammars through the technique of gap threading, in which a difference list of extracted noun phrases (gaps) is maintained. However, this technique is cumbersome, and can result in subtle soundness problems in the implemented grammars. Miller and Pareschi have proposed a method of implementing gap threading at the logical level in intuitionistic logic. Unfortunately that implementation itself suffered from serious problems, which the authors recognized. This paper builds on work first presented with Miller in which we developed a filler-gap dependency parser in Girard's linear logic. This implementation suffers from none of the pitfalls of either the traditional implementation, or the intuitioni...

Citations

397	Generalized phrase structure grammar - Gazdar - 1985
283	Logic Programming in a Fragment of Intuitionistic Linear Logic - Hodas, Miller - 1994
176	An Overview of *Prolog - Nadathur, Miller - 1988
87	Lectures on Contemporary Syntactic Theories. Menlo Park: CSLI - Sells - 1985
55	Unbounded dependencies and coordinate structure - Gazdar - 1981
49	Logic Programming in Intuitionistic Linear Logic - Hodas - 1994
24	Extending definite clause grammars with scoping constructs - Pareschi, Miller - 1990
12	Prolog and Natural-Language Analysis, volume 10 - Pereira, Shieber - 1987
1	Private electronic mail correspondence - Johnson - 1992