An extension to classical unification, called graded unification is presented. It is capable of combining contradictory information. An interactive processing paradigm and parser ...
We present a theoretically founded framework for fuzzy unification and resolution based on edit distance over trees. Our framework extends classical unification and resolution con...