|
Fuzzy Logic is not the same as Dynamic Logic as the previous page says, see discussion of this page. [this page must be
revised]
See also Multi-valued logic, Fuzzy set and Fuzzy control system
(applications of fuzzy logic)
fuzzy logic is a system by which value states may contain
the added property of degrees in relation to other known or unknown values. Unlike binary logic, which only allows for a base 2 system for constructing data, fuzzy logic establishes a matrix
relationship between known factors.
As an analogy, in nature there are far more shades of gray than black or white. These represent an important concept that says
there are values not black nor white. Taking this further, just like in the Platonic ideal, the binary model doesn't really exist in nature. Everything is colored to some degree by the mere presence of the other.
The exception to this is the need for the analogy of direct opposites, which is what binary logic is essential for. Fuzzy
logic attempts to transcend the limitations of a binary system by allowing distinct values to have the possibility of degrees,
while still maintaining the necessary 'switch' for performing computing functions.
The concept of "degrees of belief" in fuzzy logic is similar to that found in the Bayesian school of statistics.
See Fuzzy control system for an example of fuzzy logic
in use.
Artificial intelligence
The study of neurons in the brain, has yielded very interesting results in
confirming comparisons of human intelligence with fuzzy logic. Natural intelligence is not binary. Even very uncomplex animals
have the capacity to deal with vastly different degrees of information, and process it into the existing state of mind.
Fuzzy neural nets looks to the neuron as a model for creating vastly more variable data processes. The goal is to usefully
emulate the power of human intelligence in a
machine.
See: Artificial intelligence
An unrelated use for the term dynamic logic is for a type of logic design also known as clocked logic. The term is used to distinguish this type of logic from static
logic.
|