Ерекшелік логикасы

In the general framework of a constraint-based grammar formalism often some sort of feature logic serves as the constraint language to de- scribe linguistic objects. We investigate the ex- tension …...

We show that feature logic extended by functional uncertainty is decidable, even if one admits cyclic descriptions. We present an algorithm, which solves feature descriptions containing functional un- certainty in …...

We provide a constraint based compu- tational model of linear precedence as employed in the HPSG grammar formal- ism. An extended feature logic which adds a wide range of constraints …...