A sound and complete semantics for a similarity-based logic programming language

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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Fuzzy sets and systems Jg. 317; S. 1 - 26
Hauptverfasser: Julián-Iranzo, Pascual, Rubio-Manzano, Clemente
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier B.V 15.06.2017
Schlagworte:
Declarative semantics
Fixpoint semantics
Fuzzy logic programming
Operational semantics
Similarity relations
Weak SLD-resolution
Fixpoint semantics
Similarity relations
Declarative semantics
Operational semantics
Weak SLD-resolution
Fuzzy logic programming
ISSN:0165-0114, 1872-6801
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0165-0114
1872-6801
DOI:10.1016/j.fss.2016.12.016