Results 111 to 120 of about 17,394 (167)
Some of the next articles are maybe not open access.

On fuzzy type theory

Fuzzy Sets and Systems, 2005
Fuzzy logic was originally invented to describe human reasoning. The original fuzzy logic covered only propositional formulas. Later, quantifiers were added to fuzzy logic. However, an important part of human reasoning is still missing from fuzzy logic: arguments that usually require a higher-order logic. For example, we can say that \(X\) is a typical
Vilém Novak
exaly   +2 more sources

The Theory of Triangle Type-2 Fuzzy Sets

2009 Ninth IEEE International Conference on Computer and Information Technology, 2009
Interval Type-2 Fuzzy Set is the most popular kind of Type-2 Fuzzy Set, its characteristic is that all the secondary membership functions equal to 1. Though Interval Type-2 Fuzzy Sets can reduce the calculation complexity than other Type-2 Fuzzy Sets, it loses much fuzzy information simultaneously.
Zehua Lv, Hai Jin 0001, Pingpeng Yuan
openaire   +1 more source

Myhill–Nerode type theory for fuzzy languages and automata

Fuzzy Sets and Systems, 2010
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jelena Ignjatovic   +3 more
openaire   +2 more sources

Theory Research on a New Type Fuzzy Automaton

2006
For better solving some complicated problems in fuzzy automata hierarchy, simultaneously, in order to accomplish better task for fuzzy signal processing, this paper presents a kind of new automaton–fuzzy infinite-state automaton. The basic extracted frame of fuzzy infinite-state automaton is introduced by using neural networks.
QingE Wu   +3 more
openaire   +1 more source

Subtypes in fuzzy type theory

Fuzzy Sets and Systems, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Towards fuzzy type theory

33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings., 2004
In the paper, the formal type theory is generalized to fuzzy one. The structure of truth values is assumed to be the IMTL-algebra (on [0, 1], the algebra of left continuous t-norms with involutive negation) since the formulation of FTT based on it preserves the elegancy of classical formulation.
openaire   +1 more source

Interval type-2 fuzzy logic systems: theory and design

IEEE Transactions on Fuzzy Systems, 2000
We present the theory and design of interval type-2 fuzzy logic systems (FLSs). We propose an efficient and simplified method to compute the input and antecedent operations for interval type-2 FLSs: one that is based on a general inference formula for them.
Qilian Liang, Jerry M. Mendel
openaire   +1 more source

Towards Fuzzy Type Theory with Partial Functions

2017
This paper is a study of fuzzy type theory (FTT) with partial functions. Out of several possibilities we decided to introduce a special value “\(*\)” which represents “undefined”. In the interpretation of FTT, this value lays outside of the corresponding domain. In the syntax, it is naturally represented by the description operator acting on the empty (
openaire   +1 more source

Home - About - Disclaimer - Privacy