Paper: Group Theory and Linguistic Processing

ACL ID C98-1055
Title Group Theory and Linguistic Processing
Venue International Conference on Computational Linguistics
Session Main Conference
Year 1998

recta-variable X in p [X] ranges over such identifiers (x, y, z .... ), which are notated in lower-case italics (and are always ground). The meta-variable p ranges over logical form abstractions missing one argument (for instance t=. s ( j, z) ). When matching recta-variables in logical forms, we will allow limited use of higher-order unification. For instance, one can match P[X] to s (j ,x) by taking P = Az.s(j, z) and X = x. The vocabulary and the set of relators that we have just specified define a group computation structure GCS = (U, R). We will now describe a set of acceptors A for this computation structure. We take A to be the set of elements of F(V) which are products of the following form: S [Vn -1 l/V,,-1-1 ... IV1-1 where S is a logical form (S stands for "semantics"), and wher...