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.
We would like to thank Gerhard Jaeger, Michael Moortgat, Richard Oehrle, Christian Retoré, and an anonymous reviewer for many valuable comments and discussion. This work was partially supported by NSF grant SBR8920230 and ARO grant DAAH0404-94-G-0426.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abrusci, M., Ch. Fouqueré, and J. Vauzeilles. Tree adjoining grammar and noncommutative linear logic. In Proceedings of Logical Aspects of Computational Linguistics, 1996.
Joshi, A. K., and S. Kulick. Partial proof trees as building blocks for a categorical grammar. Linguistics and Philosophy, 20:637–667, 1997.
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.
Kurtonina, N., and M. Moortgat. Structural control. In Blackburn, P., and M. de Rijke, editors, Specifying Syntactic Structures. CSLI, 1997.
Lecomte, A., and C. Retoré. Words as modules and modules as partial proof-nets. In Benjamins, J., editor, Proceedings of ICML 96, 1996.
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.
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.
Moortgat, M. Categorial type logics. In Benthem, J. van, and A. ter Meulen, editors, Handbook of Logic and Language. North Holland, 1997.
Morrill, G. Type Logical Grammar—Categorial Logic of Signs. Kluwer, Dordrecht, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Joshi, A.K., Kulick, S., Kurtonina, N. (2001). An LTAG Perspective on Categorial Inference. In: Moortgat, M. (eds) Logical Aspects of Computational Linguistics. LACL 1998. Lecture Notes in Computer Science(), vol 2014. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45738-0_6
Download citation
DOI: https://doi.org/10.1007/3-540-45738-0_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42251-8
Online ISBN: 978-3-540-45738-1
eBook Packages: Springer Book Archive