tailieunhanh - Báo cáo khoa học: "TYPE-RAISING AND DIRECTIONALITY IN COMBINATORY GRAMMAR*"

The form of rules in ¢ombinatory categorial grammars (CCG) is constrained by three principles, called "adjacency", "consistency" and "inheritance". These principles have been claimed elsewhere to constrain the combinatory rules of composition and type raising in such a way as to make certain linguistic universals concerning word order under coordination follow immediately. The present paper shows that the three principles have a natural expression in a unification-based interpretation of CCG in which directional information is an attribute of the arguments of functions grounded in string position. The universals can thereby be derived as consequences of elementary assumptions. . | TYPE-RAISING AND DIRECTIONALITY IN COMBINATORY GRAMMAR Mark Steedman Computer and Information Science University of Pennsylvania 200 South 33rd Street Philadelphia PA 19104-6389 USA Internet steedman@ ABSTRACT The form of rules in combinatory categorial grammars CCG is constrained by three principles called adjacency consistency and inheritance . These principles have been claimed elsewhere to constrain the combinatory rules of composition and type raising in such a way as to make certain linguistic universals concerning word order under coordination follow immediately. The present paper shows that the three principles have a natural expression in a unification-based interpretation of CCG in which directional information is an attribute of the arguments of functions grounded in string position. The universals can thereby be derived as consequences of elementary assumptions. Some desứable results for grammars and parsers follow concerning type-raising rules. PRELIMINARIES In Categorial Grammar CG elements like verbs are associated with a syntactic category which identifies their functional type. I shall use a notation in which the argument or domain category always appears to the right of the slash and the result or range category to the left. A forward slash means that the argument in question must appear on the right while a backward slash means it must appear on the left. 1 enjoys S NP NP The category S NP NP can be regarded as both a syntactic and a semantic object in which symbols like s are abbreviations for graphs or terms including interpretations as in the unification-based categorial grammars ofZeevatet al. 8 and others and cf. 6 . Such functions can combine with arguments of the appropriate type and position by rules of functional application written as follows 2 The Functional Application Rules a. X Y Y X b. Y X Y X Such rules are also both syntactic and semantic rules Thanks to Michael Niv and Stu Shieber. Support from NSF Grant CISE IIP .

crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.