Displaying similar documents to “On the syntactico-semantical completeness of first-order fuzzy logic. I. Syntax and semantics”

Declarative and procedural semantics of fuzzy similarity based unification

Peter Vojtáš (2000)

Kybernetika

Similarity:

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...