Article type: Research Article

Authors: Rubio-Manzano, Clemente^{a; *} | Pereira-Fariña, M.^{b; c}

Affiliations: [a] Department of Information Systems, University of the Bío-Bío, Concepción, Chile | [b] Centre for Argument Technology (ARG-tech), University of Dundee, Dundee, Scotland, UK | [c] Departamento de Filosofía e Antropoloxía Social, Universidade de Santiago de Compostela, Santiago de Compostela, Spain

Correspondence: [*] Corresponding author. Clemente Rubio-Manzano, Department of Information Systems, University of the Bío-Bío, Avda. Collao 1202, Casilla 5-C, 4051381 Concepción, Chile. Tel.: +56 41 3111517; E-mail: [email protected].

Abstract: Proximity-based Logic Programming is a formal framework for representing general or non-specialized knowledge. Although it is a powerful tool, it is too complex because the values of the proximity equations (fuzzy binary relations that establish the relationships among the symbols of a first-order language) must be manually defined by the designer of the system. In this paper, we propose a new framework for Proximity-based Logic Programming enhanced with WordNet and Interval-Valued Fuzzy Sets. Its main contribution is to compile automatically the information provided by WordNet and generate an interval-valued proximity relation on the set of their words. This proposal is completely integrated inside the unification mechanism of Bousi~Prolog system. This allows us to introduce the lexical knowledge induced from a linguistic resource, such as WordNet, into an approximate reasoning system. To the best of our knowledge, this is the first time that WordNet is introduced into the core of a Prolog system by means of compilation techniques and lexical knowledge is combined with proximity-based unification frame.

Keywords: Fuzzy lexical reasoning, knowledge representation, proximity-based logic programming, Bousi∼Prolog, WordNet

DOI: 10.3233/JIFS-16377

Journal: Journal of Intelligent & Fuzzy Systems, vol. 32, no. 3, pp. 2425-2436, 2017