Similarity based unification
From Mathfuzzlog
| Authors: |
| |||
| 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.
