Declarative and Procedural Semantics of Fuzzy Similarity Based Unification
1.
SYSNO ASEP
0404838
Document Type
J - Journal Article
R&D Document Type
Journal Article
Subsidiary J
Článek ve WOS
Title
Declarative and Procedural Semantics of Fuzzy Similarity Based Unification
Author(s)
Vojtáš, Peter (UIVT-O)
Source Title
Kybernetika. - : Ústav teorie informace a automatizace AV ČR, v. v. i.
- ISSN 0023-5954
Roč. 36, č. 6 (2000), s. 707-720
Number of pages
14 s.
Language
eng - English
Country
CZ - Czech Republic
Keywords
similarity based unification ; soundness and completeness ; fuzzy logic programming
Subject RIV
BA - General Mathematics
CEZ
1030915
UT WOS
000166986100007
Annotation
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.