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.

• Type: Conference
• Year: 2006
• Where: ASC
• Authors: Pascual Julián Iranzo, Clemente Rubio-Manzano
• Keywords: Artificial Intelligence, ASC 2006, Similarity-based Sld Resolution, SLD Resolution, SLD Resolution Principle