Displaying similar documents to “Truth and utility in fuzzy logic.”

A Lukasiewicz logic based Prolog.

Frank Klawonn, Rudolf Kruse (1994)

Mathware and Soft Computing

Similarity:

Prolog is a programming language based on a restricted subset of classical first order predicate logic. In order to overcome some problems of classical logic to handle imperfect human knowledge, we provide a formal framework for a Lukasiewicz logic based Prolog system. The use of Lukasiewicz logic with its connection to Ulam games enables us to deal with partial inconsistencies by interpreting the truth values as relative distance to contradiction. We also present the software tool LULOG...

How to make your logic fuzzy.

Dov M. Gabbay (1996)

Mathware and Soft Computing

Similarity:

The aim of this paper is to provide a methodology for turning a known crisp logic into a fuzzy system. We require of the methodology that it be meaningful in general terms, using processes which are independent of the notion of fuzziness, and that it yield a considerable number of known fuzzy systems.

Hypersequents and fuzzy logic.

Dov Gabbay, George Metcalfe, Nicola Olivetti (2004)

RACSAM

Similarity:

Fuzzy logics based on t-norms and their residua have been investigated extensively from a semantic perspective but a unifying proof theory for these logics has, until recently, been lacking. In this paper we survey results of the authors and others which show that a suitable proof-theoretic framework for fuzzy logics is provided by hypersequents, a natural generalization of Gentzen-style sequents. In particular we present hypersequent calculi for the logic of left-continuous t-norms...

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

Phase structure grammars for the expression of vague concepts in Spanish.

Alejandro Sobrino, Jose Angel Olivas (1996)

Mathware and Soft Computing

Similarity:

This paper characterizes grammars generating Spanish sentences of imprecise meaning. The basic grammar generating sentences conforming to the standard paradigm of fuzzy logic (Quantifier + Noun + Verb + Modifier + Adjective) is systematically deformed (by inversion, supression or addition of nonterminal elements in its production rules) to produce a series of grammars generating grammatical, semantically acceptable semigrammatical or ungrammatical sentences.

A note on paracomplete logic

Newton C. A. da Costa, Diego Marconi (1986)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

In questa nota gli Autori descrivono nuovi sistemi di logica (detta «paracompleta») connessi con la logica della vaghezza («fuzzy logic») e con le logiche paraconsistenti.

A note on paracomplete logic

Newton C. A. da Costa, Diego Marconi (1986)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

In questa nota gli Autori descrivono nuovi sistemi di logica (detta «paracompleta») connessi con la logica della vaghezza («fuzzy logic») e con le logiche paraconsistenti.