Affiliations: [a] Department of Information Systems, University of the Bío-Bío, Concepción, Chile | [b] Department of Information Technologies and Systems, University of Castilla-La Mancha, Ciudad Real, Spain
Correspondence:
[*]
Corresponding author. Clemente Rubio-Manzano, Department of Information Systems, University of the Bío-Bío, Concepción, Chile. Tel.: +56 41 3111200; E-mail: clrubio@ubiobio.cl.
Abstract: This paper aims to incorporate a knowledge discovery technique into the Proximity-based Logic Programming paradigm in order to generate background knowledge (conceptual hierarchies) in a semi-automatic way which may lead to an efficient and desirable abstraction process among the symbols (representing concepts) from a first-order language and to the discovery of generalized relationship among them i.e. a logic-based framework with the capability of abstraction. This method makes use of the concept of λ-block characterizing the notion of equivalence when working with proximity relations. When the universe of discourse is composed of concepts which are related by proximity, the sets of λ-blocks extracted from that proximity relation can be seen as hierarchical sets of concepts grouped by abstraction level. Then, each group (forming a λ-block) can be labeled, with user help, by means of a more general descriptor in order to simulate a generalization process based on proximity. Thanks to this process, the system can learn concepts that were unknown initially and reply to queries that it was not able to answer. The novelty of this work is that it is the first time a method, with analogous features to the one aforementioned, is implemented inside a fuzzy logic programming framework. Certainly, in order to check the feasibility of the method, we have developed a software tool which have been integrated into the Bousi~Prolog system. Finally, this work presents a method to get a set of recommended abstract descriptors by using WordNet. This allows to improve the original generalization mechanism, helping the user in the task of selecting a convenient abstraction. Also, the overall method can be seen as a technique that facilitates the tuning of term ontologies.
