On the incorporation of interval-valued fuzzy sets into the Bousi-Prolog system: declarative semantics, implementation and applications
This work addresses the need for more expressive fuzzy logic programming tools for researchers and practitioners in knowledge representation, though it appears incremental as it builds on existing Bousi-Prolog frameworks.
The paper tackled the problem of enhancing fuzzy logic programming by incorporating interval-valued fuzzy sets into the Bousi-Prolog system, presenting a formalized syntax, declarative semantics, and implementation, and demonstrated that this extension improves capabilities for knowledge representation and reasoning when integrated with lexical resources and ontologies.
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.