tailieunhanh - Báo cáo khoa học: "Group Theory and Linguistic Processing*"

There is currently much interest in bringing together the tradition of categorial grammar, and especially the Lambek calculus (Lambek, 1958), with the more recent paradigm of linear logic (Girard, 1987) to which it has strong ties. One active research area concerns the design of non-commutative versions of linear logic (Abrusci, 1991; Rdtor6, 1993) which can be sensitive to word order while retaining the hypothetical reasoning capabilities of standard (commutative) linear logic that make it so well-adapted to handling such phenomena as quantifier scoping (Dalrymple et al., 1995). . | Group Theory and Linguistic Processing Marc Dymetman Xerox Research Centre Europe 6 chemin de Maupertuis 38240 Meylan France 1 Introduction There is currently much interest in bringing together the tradition of categorial grammar and especially the Lambek calculus Lambek 1958 with the more recent paradigm of linear logic Girard 1987 to which it has strong ties. One active research area concerns the design of non-commutative versions of linear logic Abr-usci 1991 Rétoré 1993 which can be sensitive to word order while retaining the hypothetical reasoning capabilities of standard commutative linear logic that make it so well-adapted to handling such phenomena as quantifier scoping Dalrymple et al. 1995 . Some connections between the Lambek calculus and group structure have long been known van Benthem 1986 and linear logic itself has some aspects strongly reminiscent of groups the producer consumer duality of a formula A with its linear negation A1 but no serious attempt has been made so far to base a theory of linguistic description solely on group structure. This paper presents such a model G-grammars for group grammars and argues that The standard group-theoretic notion of conjugacy which is central in G-grammars is well-suited to a uniform description of commutative and non-commutative aspects of language The use of conjugacy provides an elegant approach to long-distance dependency and scoping phenomena both in parsing and in generation G-grammars give a symmetrical account of the semantics-phonology relation from which it is easy to extract via simple group calculations rewriting systems computing this relation for the parsing and generation modes. 2 Group Computation A MONOID AỈ is a set M together with a product M X Al Al written a b t-y ab such that This product is associative There is an element 1 G M the neutral element with la al a for all a G M. This paper is an abridged version of Group Theory and Grammatical Description .

TỪ KHÓA LIÊN QUAN
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.