FURY: Fuzzy Unification and Resolution Based on Edit Distance

We present a theoretically founded framework for fuzzy unification and resolution based on edit distance over trees. Our framework extends classical unification and resolution conservatively. We prove important properties of the framework and develop the FURY system, which implements the framework efficiently using dynamic programming. We evaluate the framework and system on a large problem in the bioinformatics domain, that of detecting typographical errors in an enzyme name database.

• Type: Conference
• Year: 2000
• Where: BIBE
• Authors: David Gilbert, Michael Schroeder
• Keywords: BIBE 2000, Bioinformatics, Classical Unification, Edit Distance, Fuzzy Unification