Počet záznamů: 1  

Declarative and Procedural Semantics of Fuzzy Similarity Based Unification

  1. 1.
    SYSNO ASEP0404838
    Druh ASEPJ - Článek v odborném periodiku
    Zařazení RIVJ - Článek v odborném periodiku
    Poddruh JČlánek ve WOS
    NázevDeclarative 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íč. slovasimilarity based unification ; soundness and completeness ; fuzzy logic programming
    Vědní obor RIVBA - Obecná matematika
    CEZ1030915
    UT WOS000166986100007
    AnotaceIn 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.
    PracovištěÚstav informatiky
    KontaktTereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
    Rok sběru2003

Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.