A Bottom-up Generation for Principle-based Grammars Using Constraint Propagation

A bottom-up generation algorithm for principle-based grammars is proposed. Bottom-up generation has (1) an inefficiency because of a high degree of nondeterminism, (2) a limitation caused by inability to process logical forms produced by grammar rules, and (3) an identity semantic problem. This paper describes a solution to these problems and implementation issues for the algorithm using a constraint logic programming language.