Paper: An Algorithm For Functional Uncertainty

ACL ID C88-1060
Title An Algorithm For Functional Uncertainty
Venue International Conference on Computational Linguistics
Session Main Conference
Year 1988

The formal device of flmetional uncertainty has been introduced into linguistic theory as a means of characterizing long-distance dependencies alternative to conventional phrase-structure based approaches. In this palter we briefly outline the uneertMnty concept, and then present an algorithm for determining the satisfiability of acyclic gramu~atical descriptions containing uncertainty expressions and for synthesizing the grammatically relevant solutions to those descriptions 1. Long-dis~ance l)ependeneies and Functional Uncertainty In most linguistic theories hmg-distance dependencies such as are found in topiealization and relative clause constructions are characterized in tcrnrs of categoric,,; and configurations of phrase-structure nodes. Kaplan and Zaenen (in press) have compared thi...