Declarative and Procedural Semantics of Fuzzy Similarity Based Unification
1.
SYSNO ASEP
0404838
Druh ASEP
J - Článek v odborném periodiku
Zařazení RIV
J - Článek v odborném periodiku
Poddruh J
Článek ve WOS
Název
Declarative and Procedural Semantics of Fuzzy Similarity Based Unification
Tvůrce(i)
Vojtáš, Peter (UIVT-O)
Zdroj.dok.
Kybernetika. - : Ústav teorie informace a automatizace AV ČR, v. v. i.
- ISSN 0023-5954
Roč. 36, č. 6 (2000), s. 707-720
Poč.str.
14 s.
Jazyk dok.
eng - angličtina
Země vyd.
CZ - Česká republika
Klíč. slova
similarity based unification ; soundness and completeness ; fuzzy logic programming
Vědní obor RIV
BA - Obecná matematika
CEZ
1030915
UT WOS
000166986100007
Anotace
In this paper we argue that for fuzzy unification we need a procedural and declarative semantics (as opposed to the two valued). We base our semantics on a formal model of fuzzy logic programming extended by fuzzy similarities and axioms of predicate calculus with equality. We prove soundness and completeness of fuzzy similarity based unification.