Design and implementation of a fuzzy logic programming language using weak unification

Article type: Research Article

Authors: Rubio Manzano, Clemente

Affiliations: University of Bío-Bío, Concepción, Chile DEC-Tau Group, University of Castilla-La Mancha, Ciudad Real, Spain. E-mail: clrubio@ubiobio.cl

Abstract: Bousi~Prolog is a fuzzy logic programming language with an operational semantics which is an adaptation of the SLD resolution principle, where classical unification has been replaced by a fuzzy unification algorithm based on fuzzy relations. Hence, it is a programming language well suited for dealing with vagueness and approximate reasoning. In this paper we summarize its design and implementation.

Keywords: Fuzzy logic programming, weak unification, weak SLD-resolution

DOI: 10.3233/AIC-2012-0514

Journal: AI Communications, vol. 25, no. 4, pp. 365-367, 2012