Abstract
Unlike structural unification, E-unification of feature structures has, to the best of our knowledge, never been used in natural language processing (NLP). We formalize the concept of E-unification for feature structures, present a universal E-unification procedure and discuss its computational tractability for arbitrary as well as linguistically motivated E-theories. A number of examples illustrate the usefulness of E-unification in the domain of NLP.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
We use the symbol \(=\) instead of \(\approx \) for identity in AVL as the latter symbol is already in use for equational axioms.
References
Alsina, A.: A theory of complex predicates: evidence from causatives in bantu and romance. In: Alsina, A., Bresnan, J., Sells, P. (eds.) Complex Predicates, pp. 203–246 (1997)
Alsina, A., Bresnan, J., Sells, P.: Complex predicates: structure and theory. In: Alsina, A., Bresnan, J., Sells, P. (eds.) Complex Predicates, pp. 1–12 (1997)
Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press (1998)
Baader, F., Snyder, W.: Unification theory. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 439–526 (2001)
Bresnan, J.: Lexical-Functional Syntax. Blackwell Textbooks in Linguistics, New York (2001)
Colmerauer, A.: Les systèmes Q ou un formalisme pour analyser et synthétiser des phrases sur ordinateur. Technical Report, Mimeo, Montréal (1969)
Dalrymple, M.: Lexical Functional Grammar, Syntax and Semantics, vol. 34. Academic Press (2001)
Kaplan, R.M., Bresnan, J.: Lexical-functional grammar: A formal system for grammatical representation. In: Bresnan, J. (ed.) Mental Representation of Grammatical Relations. MIT Press, Cambridge (1982)
Kaplan, R.M., Wedekind, J.: Restriction and Structure Misalignment, ms, Xerox Palo Alto Research Center (1991)
Kaplan, R.M., Wedekind, J.: Restriction and correspondence-based translation. In: Proceedings of the 6th EACL Conference, pp. 193–202 (1993)
Kay, M.: Functional Grammar. In: Proceedings of the 5th meeting of the Berkeley Linguistics Society (1979)
Kay, M.: Functional Unification Grammar: a formalism for machine translation. In: Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics (1984)
Knuth, D., Bendix, P.: Simple Word Problems in Universal Algebras, pp. 263–297 (1970)
Rounds, W.C.: Feature Logics. In: van Benthem, J.F., ter Meulen, A., (eds.) Handbook of Logic and Language. Elsevier (1996)
Uszkoreit, H.: Categorial Unification Grammars. In: Proceedings of COLING (1986)
Wedekind, J.: Classical logics for attribute-value languages. In: Proceedings of the 5th EACL Conference, pp. 204–209 (1991)
Wedekind, J., Kaplan, R.M.: Type-driven semantic interpretation of f-structures. In: Proceedings of the 6th Conference of the European Chapter of the Association for Computational Linguistics (1993)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Homola, P. (2016). E-Unification of Feature Structures. In: Skulimowski, A., Kacprzyk, J. (eds) Knowledge, Information and Creativity Support Systems: Recent Trends, Advances and Solutions. Advances in Intelligent Systems and Computing, vol 364. Springer, Cham. https://doi.org/10.1007/978-3-319-19090-7_34
Download citation
DOI: https://doi.org/10.1007/978-3-319-19090-7_34
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19089-1
Online ISBN: 978-3-319-19090-7
eBook Packages: Computer ScienceComputer Science (R0)