Towards a Full Fuzzy Unification in the Bousi Prolog system
M. Eugenia Cornejo, Jesús Medina, Clemente Rubio-Manzano · 2018
Bousi Prolog is a first-order fuzzy logic programming language whose operational semantics is an adaptation of the SLD resolution principle and whose fuzzy unification algorithm is based on proximity relations. This programming language is suitable for dealing with query answering processes, advanced pattern matching, flexible deductive databases, knowledge-based systems and approximate reasoning. Specifically, Bousi Prolog has already been used in interesting real applications such as text cataloguing, knowledge discovery and linguistic feedback in computer games.This paper presents an initial study on the incorporation of the weak unification with fuzzy functor/arity mismatch, recently introduced by Aït-Kaci and Pasi, in the Bousi Prolog system. This fuzzy unification algorithm will allow to Bousi Prolog to obtain answers for query processes in which first-order terms with different arity and terms ordering are considered. Any system using unification mechanisms on imperfect domains, whose data can be inaccurate or uncertain, can be benefited from the approach presented in this paper.