Similarity based unification

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




Abstract

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.