Publicación:
A SOUND AND COMPLETE SEMANTICS FOR A SIMILARITY-BASED LOGIC PROGRAMMING LANGUAGE

dc.creatorCLEMENTE RUBIO MANZANO
dc.date2017
dc.date.accessioned2025-01-10T14:30:14Z
dc.date.available2025-01-10T14:30:14Z
dc.date.issued2017
dc.description.abstractSIMILARITY-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.
dc.formatapplication/pdf
dc.identifier.doi10.1016/j.fss.2016.12.016
dc.identifier.issn1872-6801
dc.identifier.issn0165-0114
dc.identifier.urihttps://repositorio.ubiobio.cl/handle/123456789/7717
dc.languagespa
dc.publisherFUZZY SETS AND SYSTEMS
dc.relation.uri10.1016/j.fss.2016.12.016
dc.rightsPUBLICADA
dc.titleA SOUND AND COMPLETE SEMANTICS FOR A SIMILARITY-BASED LOGIC PROGRAMMING LANGUAGE
dc.title.alternativeUNA SEMÁNTICA SÓLIDA Y COMPLETA PARA UN LENGUAJE DE PROGRAMACIÓN LÓGICO BASADO EN LA SIMILITUD
dc.typeARTÍCULO
dspace.entity.typePublication
ubb.EstadoPUBLICADA
ubb.Otra ReparticionDEPARTAMENTO DE SISTEMAS DE INFORMACION
ubb.SedeCONCEPCIÓN
Archivos