Declarative and Procedural Semantics of Fuzzy Similarity Based Unification

0404838 - UIVT-O 20020208 RIV CZ eng J - Článek v odborném periodiku
Vojtáš, Peter
Declarative and Procedural Semantics of Fuzzy Similarity Based Unification.
Kybernetika. Roč. 36, č. 6 (2000), s. 707-720. ISSN 0023-5954
Grant ostatní: VEGA(SK) 1/7557/20; VEGA(SK) 1/7555/20
Výzkumný záměr: AV0Z1030915
Klíčová slova: similarity based unification * soundness and completeness * fuzzy logic programming
Kód oboru RIV: BA - Obecná matematika
http://dml.cz/handle/10338.dmlcz/135382

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.
Trvalý link: http://hdl.handle.net/11104/0125068