FURY: Fuzzy Unification and Resolution Based on Edit Distance

  • Authors:
  • D. Gilbert;M. Schroeder

  • Affiliations:
  • -;-

  • Venue:
  • BIBE '00 Proceedings of the 1st IEEE International Symposium on Bioinformatics and Biomedical Engineering
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

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