An LTAG Perspective on Categorial Inference
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.
KeywordsRelative Clause Elementary Tree Proof Tree Hybrid Logic Categorial Grammar
Unable to display preview. Download preview PDF.
- 1.Abrusci, M., Ch. Fouqueré, and J. Vauzeilles. Tree adjoining grammar and noncommutative linear logic. In Proceedings of Logical Aspects of Computational Linguistics, 1996.Google Scholar
- 3.Kroch, A. S., and B. Santorini The derived constituent structure of the West Germanic verb-raising construction. In Freidin, R., editor, Principles and Parameters in Comparative Grammar. MIT Press, Cambridge MA, 1991.Google Scholar
- 4.Kurtonina, N., and M. Moortgat. Structural control. In Blackburn, P., and M. de Rijke, editors, Specifying Syntactic Structures. CSLI, 1997.Google Scholar
- 5.Lecomte, A., and C. Retoré. Words as modules and modules as partial proof-nets. In Benjamins, J., editor, Proceedings of ICML 96, 1996.Google Scholar
- 6.Moortgat, M., and R. Oehrle. Logical parameters and linguistic variation. Lecture notes on categorial grammar, 1993. Fifth European Summer School in Logic, Language and Information, Lisbon.Google Scholar
- 7.Moortgat, M., and R. Oehrle. Adjacency, dependency and order. In Dekker, P., and M. Stokhof, editors, Proceedings Ninth Amsterdam Colloqiuium, pages 447–466, ILLC, Amsterdam, 1994.Google Scholar
- 8.Moortgat, M. Categorial type logics. In Benthem, J. van, and A. ter Meulen, editors, Handbook of Logic and Language. North Holland, 1997.Google Scholar