An Efficient Proximity-based Unification Algorithm⋆
Pascual Julián-Iranzo, Fernando Sáenz-Pérez · 2018
Unification is a central concept in deductive systems based on the resolution principle. Recently, we introduced a newweak unification algorithmbased on proximity relations (i.e., reflexive, symmetric, fuzzy binary relations). Proximity relations are able to manage vague or imprecise information and, in combination with the unification algorithm, allow certain forms of approximate reasoning in a logic programming framework. In this paper, we present a reformulation of the weak unification algorithm and an elaborated method to implement it efficiently.