DocumentCode
2701019
Title
FURY: fuzzy unification and resolution based on edit distance
Author
Gilbert, David ; Schroeder, Michael
Author_Institution
Sch. of Inf., City Univ., London, UK
fYear
2000
fDate
2000
Firstpage
330
Lastpage
336
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
Keywords
biology computing; dynamic programming; fuzzy set theory; proteins; trees (mathematics); FURY system; bioinformatics domain; classical resolution; classical unification; edit distance; enzyme name database; typographical errors detection; Artificial intelligence; Biochemistry; Bioinformatics; Databases; Dynamic programming; Fuzzy logic; Fuzzy sets; History; Informatics; Uncertainty;
fLanguage
English
Publisher
ieee
Conference_Titel
Bio-Informatics and Biomedical Engineering, 2000. Proceedings. IEEE International Symposium on
Conference_Location
Arlington, VA
Print_ISBN
0-7695-0862-6
Type
conf
DOI
10.1109/BIBE.2000.889625
Filename
889625
Link To Document