Conditioned unification for natural language processing
Kôiti Hasida · 1986
This paper presents what we call a conditional unification a new method of unification for processing natural languages. The key idea is to annotate the patterns with a certain sort of conditions, so that they carry abundant information. This method transmits information from one pattern to another more efficiently than procedure attachments, in which information contained in the procedure is embedded in the program rather than directly attached to patterns. Coupled with techniques in formal linguistics, moreover, conditioned unification serves most types of operations for natural language processing.