Unification of disjunctive feature descriptions
作者： Andreas Eisele , Jochen Dörre
关键词: Feature (computer vision) 、 Representation (mathematics) 、 Algorithm 、 Correctness 、 Programming language 、 Computer science 、 Decision list 、 Grammar 、 Development (topology) 、 Disjunctive normal form 、 Unification
摘要: The paper describes a new implementation of feature structures containing disjunctive values, which can be characterized by the following main points: Local representation embedded disjunctions, avoidance expansion to normal form and repeated test-unifications for checking consistence. method is based on modification Kasper Rounds' calculus descriptions its correctness therefore easy see. It handle cyclic has been incorporated successfully into an environment grammar development.
core.ac.uk
aclweb.org参考文章(10)
R. T. Kasper, Feature structures: a logical theory with application to language analysis University of Michigan. ,(1987)
Martin Kay, Parsing in functional unification grammar Natural Language Parsing. pp. 251- 278 ,(1985) , 10.1017/CBO9780511597855.008
Ivan Sag, Ewan Klein, Geoffrey Pullum, Gerald Gazdar, Generalized Phrase Structure Grammar ,(1985)
Gert Smolka, Hassan Ait-Kaci, Inheritance hierarchies: Semantics and unification Journal of Symbolic Computation. ,vol. 7, pp. 343- 370 ,(1989) , 10.1016/S0747-7171(89)80016-1
Andreas Eisele, Jochen Dörre, A lexical functional grammar system in PROLOG international conference on computational linguistics. ,vol. 1, pp. 551- 553 ,(1986) , 10.3115/991365.991525
Hans Uszkoreit, Categorial unification grammars international conference on computational linguistics. pp. 187- 194 ,(1986) , 10.3115/991365.991422
Hassan Aït-Kaci, Roger Nasr, Login: A logic programming language with built-in inheritance Journal of Logic Programming. ,vol. 3, pp. 185- 215 ,(1986) , 10.1016/0743-1066(86)90013-0
Robert T. Kasper, A Unification Method for Disjunctive Feature Descriptions meeting of the association for computational linguistics. pp. 235- 242 ,(1987) , 10.3115/981175.981208
Robert T. Kasper, William C. Rounds, A LOGICAL SEMANTICS FOR FEATURE STRUCTURES meeting of the association for computational linguistics. pp. 257- 266 ,(1986) , 10.3115/981131.981166
Lauri Karttunen, Features and Values meeting of the association for computational linguistics. pp. 28- 33 ,(1984) , 10.3115/980491.980499