Abstract
This paper gives a formal description of a new method for the unification of feature descriptions containing disjunctive information. Unlike other representations based on value disjunction [Karttunen 84, Eisele/Dörre 88], this method allows one to express dependencies between different disjunctions by assigning identifiers to them that can be shared between several disjunctions. By virtue of such identifiers, disjunctive information can often be kept local in cases in which other methods have to multiply it out with different, unrelated disjunctions.
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
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bear, J. (1987). Feature-Value Unification with Disjunctions. Ms. SRI International, Menlo Park, CA.
Bouma, G., E. Konig and H. Uszkoreit (1988). A flexible graph-unification formalism and its application to natural-language processing. In: IBM Journal of Research and Development.
Eisele, A. and J. Dorre (1988). Unification of disjunctive feature descriptions. In: Proceedings of the 26rd Annual Meeting of the ACL, Buffalo, NY.
Eisele, A. (1987). Eine Implementierung rekursiver Merkmalstrukturen mit disjunktiven Angaben. Diplomarbeit. Institut f. Informatik, Stuttgart.
Johnson, M. (1987). Attribute-Value Logic and the Theory of Grammar Ph.D. Dissertation, Stanford University.
Karttunen, L. (1984). Features and Values. In: Proceedings of COLING 1984, Stanford, CA.
Kasper, R.T. (1987). A Unification Method for Disjunctive Feature Descriptions. In: Proceedings of the 25th Annual Meeting of the ACL. Stanford, CA.
Kasper, R.T. and W. Rounds (1986). A Logical Semantics for Feature Structures. In: Proceedings of the 24th Annual Meeting of the ACL. Columbia University, New York, NY.
Smolka, G. (1988). A Feature Logic with Subsorts. LILOG-Report 33. IBM Germany.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dörre, J., Eisele, A. (1989). Determining Consistency of Feature Terms with Distributed Disjunctions. In: Metzing, D. (eds) GWAI-89 13th German Workshop on Artificial Intelligence. Informatik-Fachberichte, vol 216. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-75100-4_31
Download citation
DOI: https://doi.org/10.1007/978-3-642-75100-4_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51743-6
Online ISBN: 978-3-642-75100-4
eBook Packages: Springer Book Archive