نتایج جستجو برای: t norm

تعداد نتایج: 742534  

2005
Christian G. Fermüller

We explain Giles’s characterization of Lukasiewicz logic via a dialogue game combined with bets on results of experiments that may show dispersion. The game is generalized to other fuzzy logics and linked to recent results in proof theory. We argue that these results allow one to place t-norm based fuzzy logics in a common framework with supervaluation as a theory of vagueness.

2009
Libor Behounek

The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers are eliminated from definitions and theorems, being removed to the standard semantics of fuzzy logic. Several examples demonstrate how this move conceptually simplifies the theory in exchange for non-classical reasoning, facilit...

Journal: :Multiple-Valued Logic and Soft Computing 2010
Denisa Diaconescu

A t-norm is a binary operation on [0, 1] that is associative, commutative, with identity 1 and non-decreasing in both argument. The notion of t-norm is very important in the context of fuzzy logic, for it is used in modeling a general form of the propositional conjunction. The basic fuzzy logic (BL logic) was introduced by Hájek in [9,10] and it was inspired by a continuous t-norm and its resid...

Journal: :Arch. Math. Log. 2000
Francesc Esteva Lluis Godo Petr Hájek Mirko Navara

Residuated fuzzy logic calculi are related to continuous t-norms, which are used as truth functions for conjunction, and their residua as truth functions for implication. In these logics, a negation is also definable from the implication and the truth constant 0, namely ¬φ isφ → 0. However, this negation behaves quite differently depending on the t-norm. For a nilpotent t-norm (a t-norm which i...

2012
Stefan Borgwardt Felix Distel Rafael Peñaloza

Fuzzy Description Logics (DLs) with t-norm semantics have been studied as a means for representing and reasoning with vague knowledge. Recent work has shown that even fairly inexpressive fuzzy DLs become undecidable for a wide variety of t-norms. We complement those results by providing a class of t-norms and an expressive fuzzy DL for which ontology consistency is linearly reducible to crisp r...

Journal: :Inf. Sci. 2013
Siegfried Gottwald

This paper discusses the property of local finiteness for t-norm monoids and extensions of them. The focus is (i) on t-norm bimonoids, which are of interest in the context of weighted automata, (ii) on those extensions of t-norm monoids which are reducts of t-algebras, i.e. of the basic semantic entities for the (fuzzy) logics of left-continuous and of continuous t-norms, and (iii) on extension...

Introducing more types of integrals will provide more choices todeal with various types of objectives and components in real problems. Firstly,in this paper, a (T) fuzzy integral, in which the integrand, the measure andthe integration result are all multi-valued, is presented with the introductionof T-norm and T-conorm. Then, some classical results of the integral areobtained based on the prope...

Journal: :Fundam. Inform. 2004
Matthias Baaz Agata Ciabattoni Franco Montagna

Monoidal t-norm based logic MTL is the logic of left continuous t-norms. We introduce two analytic calculi for first-order MTL. These are obtained by lifting two sequent calculi for different fragments of this logic to the hypersequent level with subsequent addition of Avron’s communication rule. Our calculi enable to prove the mid(hyper)sequent theorem. As corollaries follow Herbrand’s theorem...

Journal: :Fuzzy Sets and Systems 2010
Thomas Vetterlein Agata Ciabattoni

CADIAG-2 is a successful expert system assisting in the differential diagnosis in internal medicine. With its aid, conjectures about present diseases are derived from possibly vague information about a patient’s symptoms. In this paper we provide a mathematical formalisation of the inferential mechanism of CADIAG-2. A Gentzen-style calculus for the resulting logic is introduced and used to comp...

Journal: :Fuzzy Sets and Systems 2007
Romà J. Adillon Àngel García-Cerdaña Ventura Verdú

The study of the Gentzen system Gew determined by the well known sequent calculus FLew [Ono98, Ono03c] is interesting for the study of the substructural aspects of t-norm based logics [Háj98, EG01]. In [BGV05] we studied the 〈∨, ∗,¬, 0, 1〉 and the 〈∨,∧, ∗,¬, 0, 1〉-fragments of this Gentzen system and the same fragments of the logic of residuated lattices IPC∗\c. In this paper we continue the st...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید