A WAM implementation for flexible query answering

11 years 6 months ago
A WAM implementation for flexible query answering
In [7] Maria I. Sessa extended the SLD resolution principle with the ability of performing approximate reasoning and flexible query answering. The operational mechanism of similarity-based SLD resolution can be used as the basis for a new logic language that allows to manage uncertain and imprecise information in a declarative framework, hence its importance. Similarity-based SLD resolution can be seen as an extension of the classical SLD resolution procedure where the syntactic unification algorithm has been replaced by a fuzzy unification algorithm. In this paper we address the problem of adapting the implementation of a WAM to incorporate fuzzy unification. As a result, we obtain a Prolog implementation based on similarity relations that we call S-Prolog. To the best of our knowledge this is the first WAM implementation that supports similarity-based SLD resolution. KEY WORDS Fuzzy Logic and Systems, Logic Programming, Fuzzy Profication by Similarity, Warren Abstract Machine.
Pascual Julián Iranzo, Clemente Rubio-Manza
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2006
Where ASC
Authors Pascual Julián Iranzo, Clemente Rubio-Manzano
Comments (0)