Similarity based unification

From Mathfuzzlog
Jump to: navigation, search
Giangiacomo Gerla
Ferrante Formato
Maria Sessa
Title: Similarity-based unification
Journal: Fundamenta Informaticae
Volume 41
Pages: 393-414
Year: 2000


In similarity-based logic inferences involving the synonymy relation are admitted. In this paper one proposes an extension of the unification process in logic programming in which the identity relation is substituted by a fuzzy equivalence.