Geodesic
Declarative and procedural semantics of fuzzy similarity based unification
Kybernetika, Tome 36 (2000) no. 6, p. [707].

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

In this paper we argue that for fuzzy unification we need a procedural and declarative semantics (as opposed to the two valued case, where declarative semantics is hidden in the requirement that unified terms are syntactically – letter by letter – identical). We present an extension of the syntactic model of unification to allow near matches, defined using a similarity relation. We work in Hájek’s fuzzy logic in narrow sense. We base our semantics on a formal model of fuzzy logic programming extended by fuzzy similarities and axioms of predicate calculus with equality. Rules are many valued implications and not Horn clauses. We prove soundness and completeness of fuzzy similarity based unification.
Classification : 03B52, 68N17, 68Q55, 68T37
Keywords: declarative semantics; fuzzy logic; fuzzy similarity 
@article{KYB_2000__36_6_a6,
     author = {Vojt\'a\v{s}, Peter},
     title = {Declarative and procedural semantics of fuzzy similarity based unification},
     journal = {Kybernetika},
     pages = {[707]},
     publisher = {mathdoc},
     volume = {36},
     number = {6},
     year = {2000},
     mrnumber = {1805815},
     zbl = {1249.68264},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_2000__36_6_a6/}
}
TY  - JOUR
AU  - Vojtáš, Peter
TI  - Declarative and procedural semantics of fuzzy similarity based unification
JO  - Kybernetika
PY  - 2000
SP  - [707]
VL  - 36
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KYB_2000__36_6_a6/
LA  - en
ID  - KYB_2000__36_6_a6
ER  - 
%0 Journal Article
%A Vojtáš, Peter
%T Declarative and procedural semantics of fuzzy similarity based unification
%J Kybernetika
%D 2000
%P [707]
%V 36
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_2000__36_6_a6/
%G en
%F KYB_2000__36_6_a6
Vojtáš, Peter. Declarative and procedural semantics of fuzzy similarity based unification. Kybernetika, Tome 36 (2000) no. 6, p. [707]. http://geodesic.mathdoc.fr/item/KYB_2000__36_6_a6/