An LTAG perspective on categorial inference (1998) [4 citations — 0 self]
|
Abstract:
Abstract. This paper describes a system of categorial inference based on insights from Lexicalized Tree Adjoining Grammar (LTAG). LTAG is a tree-rewriting system and therefore deals with structural, not string, adjacency. When looked at from the logic perspective, the nodes of the trees become types as in a categorial grammar, with corresponding deductive connections between parent and daughter nodes. The resulting system is based on a hybrid logic, with one logic for building Partial Proof Trees, and the other for composing the partial proofs. We reexamine the use of structural modalities in categorial grammar from this perspective, concluding that the use of structural modalities can be considerably simplified, or even eliminated in some cases. The generative power of the hybrid logic system is beyond context-free, as we demonstrate with a derivation of the cross-serial dependencies in Dutch. The system also inherits polynomial parsing from LTAG. 1
Citations
| 177 | Categorial type logics, in – Moortgat - 1997 |
| 96 | Type Logical Grammar. Categorial Logic of Signs – Morrill - 1994 |
| 37 | Adjacency, dependency and order – Moortgat, Oehrle - 1994 |
| 34 | Partial proof trees as building blocks for a categorial grammar – Joshi, Kulick - 1995 |
| 27 | The derived constituent structure of the West Germanic Verb Raising construction – Kroch, Santorini - 1991 |
| 9 | Logical parameters and linguistic variation. Lecture notes on categorial grammar – Moortgat, Oehrle - 1993 |
| 5 | Words as modules and modules as partial proof-nets – Lecomte, Retor'e - 1996 |
| 4 | Tree adjoining grammar and noncommutative linear logic – Fouquer'e, Vauzeilles - 1996 |
