Publicación: A SOUND AND COMPLETE SEMANTICS FOR A SIMILARITY-BASED LOGIC PROGRAMMING LANGUAGE
Fecha
2017
Autores
Título de la revista
ISSN de la revista
Título del volumen
Editor
FUZZY SETS AND SYSTEMS
Resumen
SIMILARITY-BASED LOGIC PROGRAMMING REPLACES THE SYNTACTIC UNIFICATION ALGORITHM OF CLASSICAL SLD-RESOLUTION BY A FUZZY ONE, LEADING TO AN OPERATIONAL MECHANISM THAT WE NAME WEAK SLD-RESOLUTION. THIS IS THE OPERATIONAL SEMANTICS OF A SUBSET OF BOUSI?PROLOG, AN EXTENSION OF PROLOG AIMING AT MAKING THE QUERY ANSWERING PROCESS MORE FLEXIBLE. IN THIS PAPER, AFTER RECALLING THE MODEL-THEORETIC AND FIXPOINT SEMANTICS FOR A PURE SUBSET OF THIS LANGUAGE, WE DETAIL THE OPERATIONAL SEMANTICS OF BOUSI?PROLOG AND WE PROVE, AMONG OTHER RESULTS, ITS SOUNDNESS AND COMPLETENESS. SIGNIFICANTLY, THROUGHOUT THIS WORK WE ALSO CLARIFY SOME OF THE DIFFERENCES BETWEEN OUR FRAMEWORK AND OTHER RELATED PROPOSALS.
