نتایج جستجو برای: quotient bl general fuzzy automaton

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

1997
Leonardo Maria Reyneri

This paper introduces Fuzzy State Automata for control applications. They are derived from the integration of traditional nite state automata and neuro-fuzzy systems, where a nite state automaton tracks the state of the plant under control and modiies the characteristic of the neuro-fuzzy system accordingly. The main diierence with respect to existing systems is that the states of the automata ...

2012
Shokoofeh Ghorbani

In this paper, the concept of intuitionistic fuzzy congruence relation on a residuated lattice is introduced and its properties is studied. The relationship between intuitionistic fuzzy filters and intuitionistic fuzzy congruence relations on a residuated lattice is obtain. Then the intuitionistic fuzzy congruence relation corresponding to a given intuitionistic fuzzy filter on residuated latti...

Journal: :Math. Log. Q. 2007
Masoud Haveshki Esfandiar Eslami Arsham Borumand Saeid

BL-algebras have been invented by P. Hájek [3] in order to provide an algebraic proof of the completeness theorem of “Basic Logic” (BL, for short) arising from the continuous triangular norms, familiar in the fuzzy logic framework. The above notion is generalized to an algebraic system in which the required conditions are fulfilled (Definition 2.1). Filters in BL-algebras are also defined. A fi...

2005
A. V. Kelarev

Finite state automata are crucial for numerous practical algorithms of computer science. We show how to use genetic algorithms and fuzzy automata to simplify a class of FSA defined by labeled graphs and considered in the literature. Finite state automata, FSA, are well-known tools used in coding theory, text processing, image analysis and compression, speech recognition, and bioinformatics. Lab...

2008
Simone Bova Franco Montagna

Fuzzy logics are designed to support logical inferences on vague or uncertain premises, and they are useful in several theoretical and applicative areas of computer science. A central paradigm in mathematical fuzzy logic, popularized by Hájek [Háj98], is based on the idea of weakening Boolean logic starting from a suitable generalization of Boolean conjunction, namely, a class of [0, 1]-valued ...

2015
Hae Young Woo Jung Hee Song

This is a descriptive research to identify the factors affecting the adversity experienced by nurses and office workers. The research was conducted among 270 nurses at a general hospital and 192 office workers in the metropolitan area, and the collected data were analyzed using an SPSS 20.0 program. Statistically significant differences were found in emotional intelligence and the adversity quo...

Journal: :Promet-traffic & Transportation 2021

This paper presents the design of a fuzzy logic-based traffic scheduling algorithm aimed at reducing congestion for case partial obstruction bidirectional lane. Such problem is typically encountered in rail and personal rapid transportation systems with predefined fixed corridors. The proposed proportional-derivative (PD) control algorithm, serving as automaton, alternately assigns adaptive gre...

2010
Jiří Rachůnek

The logical foundations of processes handling uncertainty in information use some classes of algebras as algebraic semantics. Bounded residuated lattice ordered monoids (Rl-monoids) are common generalizations of BL-algebras, i.e., algebras of the propositional basic fuzzy logic, and Heyting algebras, i.e., algebras of the propositional intuitionistic logic. From the point of view of uncertain i...

Journal: :iranian journal of fuzzy systems 2013
seyed-mohammad bagheri morteza moniri

we present some model theoretic results for {l}ukasiewiczpredicate logic by using the methods of continuous model theorydeveloped by chang and keisler.we prove compactness theorem with respect to the class of allstructures taking values in the {l}ukasiewicz $texttt{bl}$-algebra.we also prove some appropriate preservation theorems concerning universal and inductive theories.finally, skolemizatio...

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

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