Градуированная унификация

An extension to classical unification, called graded unifica- tion is presented. It is capable of combining contradictory information. An interactive processing paradigm and parser based on this new operator are …...