ACL Anthology Network (All About NLP) (beta) The Association Of Computational Linguistics Anthology Network 
ACL ID  C981055 

Title  Group Theory and Linguistic Processing 
Venue  International Conference on Computational Linguistics 
Session  Main Conference 
Year  1998 
Authors 

rectavariable X in p [X] ranges over such identifiers (x, y, z .... ), which are notated in lowercase italics (and are always ground). The metavariable p ranges over logical form abstractions missing one argument (for instance t=. s ( j, z) ). When matching rectavariables in logical forms, we will allow limited use of higherorder 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,,11 ... IV11 where S is a logical form (S stands for "semantics"), and wher...