A lgica fuzzy, tambm conhecida como lgica nebulosa, lgica difusa, ou ainda

como teoria das possibilidades, tem como base a Teoria dos Conjuntos Fuzzy
introduzida pelo Professor Zadeh em seu artigo Fuzzy Sets publicado no ano de 1965.
Trata-se de um tipo de lgica multivalente (KANDEL, 1986). Este conceito contrapese
ao da lgica clssica, bivalente, fundada por Aristteles, segundo a qual uma
determinada proposio somente pode assumir os valores: Verdadeiro ou Falso,
representados respectivamente pelos nmeros 0 e 1, excluindo-se definitivamente
qualquer possibilidade de ocorrerem valores intermedirios. Trata-se do Princpio do
Meio Excludo (BOYER, 1996).
A teoria dos conjuntos fuzzy representa uma generalizao da teoria clssica dos
conjuntos. Percebe-se tal fato pois os conjuntos crisp somente incluem os valores
extremos de pertinncia {0, 1}, enquanto os conjuntos fuzzy, alm deste valores,
includos como valores limites, inclui tambm todos os valores do intervalo [0, 1] . Por
causa desta generalizao, a teoria de conjuntos fuzzy apresenta maior campo de aplicabilidade
na soluo de problemas que envolvam algum grau de avaliao
subjetiva, em comparao clssica teoria de conjuntos (KANDEL, 1986).
Devido dualidade observada nos fenmenos da natureza, a lgica bivalente
proporciona a criao de modelos matemticos que em certos casos so de indiscutvel
utilidade. Porm h limitaes quando se deseja obter modelos de fenmenos ou fatos
que dependeriam da anlise simultnea de muitas variveis. Dois principais
complicadores para a modelagem matemtica, baseada na lgica bivalente, surgem
quando ZIMMERMANN (1985) afirma que:
1 Situaes reais muito frequentemente no so determinsticas e no podem
ser precisamente descritas.
2 A descrio completa de um sistema real frequentemente requereria mais
dados detalhados do que os que um ser humano poderia sempre reconhecer
simultaneamente, processar e entender. (ZIMMERMANN, 1985)

Funes de Pertinncia
Tambm possvel representar um conjunto fuzzy a partir de relaes existentes
entre os valores dos elementos e seus respectivos graus de pertinncia: so as funes de
pertinncia. Estas funes descrevem uma curva no plano, cujos pontos representam o
valor de pertinncia no intervalo [0, 1] em funo dos respectivos valores pertencentes
ao universo.
Considerando que um conjunto fuzzy uma generalizao de um conjunto
clssico, a funo de pertinncia uma generalizao da funo caracterstica destes
conjuntos (ZIMMERMANN, 1985). descrio matemtica das funes de
pertinncia, basta definir as equaes das curvas que as descrevem.
A representao das funes de pertinncia no s podem ser representadas por curvas, mas por
segmentos (funes lineares) e no lineares (outros tipos de curvas).

Universo de Discurso
Todo conjunto fuzzy est contido em um determinado universo, desta forma,
todo conjunto fuzzy na realidade um subconjunto de seu Universo de Discurso. Em
termos matemticos Universo de Discurso um conjunto de valores finitos que contm
todos os valores possveis de estarem contidos em seus subconjuntos fuzzy. (SHAW,
SIMES, 1999)

Variveis Lingsticas
Uma varivel lingstica um conjunto de termos lingsticos, que so nomes ou
rtulos representados por conjuntos fuzzy, dentro de um determinado universo de
discurso. A lgica fuzzy prev o uso destas variveis, de forma que sejam usadas como
smbolos mais adequados formulao de proposies naturais em comparao com
valores numricos (SHAW, SIMES, 1999).

X caracterizada pela quntupla (x, T(x), U, G, ~M(x)), onde x o nome da varivel, T(x) o
conjunto de termos que a compem a
varivel. Ou seja, o conjunto dos nomes dos valores lingsticos de x, com cada um
desses valores sendo um conjunto fuzzy, variando dentro de um universo de discurso U.
O smbolo G representa a regra sinttica que gera os nomes que compem a varivel. ~M(x) a
funo de pertinncia que representa o termo lingstico x j que um
conjunto fuzzy. (ZIMMERMANN, 1985)

Sistemas de Controle Fuzzy

Os Sistemas de Controle Fuzzy so compostos de um Controlador Fuzzy, um
interpretador de entradas e um interpretador de sadas. O Controlador Fuzzy composto
pelas funes de pertinncia e pelas regras fuzzy, que consistem em implicaes lgicas
formuladas com o uso de variveis e termos lingsticos.
Estas implicaes contm as informaes que permitem relacionar as condies
de entrada do sistema de controle s sadas geradas por ele. Regras Fuzzy so
formuladas sob a forma: Se (Condies) Ento (Conseqncia). As condies so
obtidas atravs das entradas e a conseqncia a emisso de sadas que representam
aes de controle.
Verifica-se que Presso, Temperatura e Vlvula so variveis lingsticas.
Mdia, Alta, Muito Alta, Pouco Aberta e Muito Aberta so termos lingsticos. Os
valores das variveis so obtidos em um universo de discurso composto de valores
discretos que devem ser transformados em valores fuzzy, atravs de um processo
chamado Fuzzyficao.
O processo de fuzzyficao consiste em obter para todos os valores do universo
de discurso de cada varivel um vetor de pertinncia ou vetor de possibilidades, o que
feito com base em suas funes de pertinncia ou atravs de consultas a tabelas de
valores discretos de entrada e valores de pertinncia correspondentes. Cada elemento do
vetor representa o grau de pertinncia do valor medido em relao a cada conjunto
fuzzy representante de cada termo lingstico. (SHAW, SIMES, 1999)
Mdulo da Base de Regras
Mdulo de base de regras pode ser considerado como um mdulo que faz parte do ncleo do
controlador fuzzy. Ele composto pelas proposies fuzzy e cada uma destas proposies
descrita
na forma lingustica:
Se x1 A1 e x2 A2 e : : : e xn An ento u1 B1 e u2 B2 e : : : e um Bm,
de acordo com as informaes de um especialistas. neste ponto que as variveis e suas
classificaes
lingusticas so catalogadas e, em seguida, modeladas por conjuntos fuzzy, ou ainda, funes de
pertinncia.
Existem vrios mtodos para se obter essas funes de pertinncia, por exemplo: apelos
intuitivos,
ajustes de curvas, interpolaes e at mesmo rede neurais.

Mdulo de inferncia fuzzy

Etapa na qual as proposies
(regras) so definidas e depois
so examinadas paralelamente
Aps o processamento dos dados e das regras, o controlador fuzzy obtm um
valor que representa tambm um vetor de pertinncia, referente a varivel de sada, ou
seja, a sada apresenta um resultado fuzzy, porm h casos em que necessrio obter o
valor da sada expresso pelo seu valor correspondente no universo de discurso. O
processo que permite ao controlador esta transformao denominado Defuzzyficao e
pode ser realizado por diferentes mtodos. (SHAW, SIMES, 1999)