On the incorporation of interval-valued fuzzy sets into the Bousi-Prolog system: declarative semantics, implementation and applications

TL;DR

This paper introduces interval-valued fuzzy sets into Bousi-Prolog, providing formal syntax, semantics, and implementation, enhancing its ability to work with lexical resources and ontologies for improved knowledge reasoning.

Contribution

It presents a novel extension of Bousi-Prolog with interval-valued fuzzy sets, including formal semantics and practical implementation.

Findings

Enhanced reasoning with lexical resources and ontologies

Formal semantics for fuzzy set extension

Improved knowledge representation capabilities

Abstract

In this paper we analyse the benefits of incorporating interval-valued fuzzy sets into the Bousi-Prolog system. A syntax, declarative semantics and im- plementation for this extension is presented and formalised. We show, by using potential applications, that fuzzy logic programming frameworks enhanced with them can correctly work together with lexical resources and ontologies in order to improve their capabilities for knowledge representation and reasoning.