Lgica Fuzzy

Introduo, motivao e conjuntos fuzzy

Professor: Mrio Benevides Monitores: Bianca Munaro Diogo Borges Jonas Aras Renan Iglesias Vanius Farias

Introduo

"A lgica difusa tem por objetivo modelar modos de raciocnio aproximados ao invs de precisos."

Princpios
Na lgica binria (clssica) as proposies so unicamente "Verdadeiras" ou "Falsas". Na lgica difusa as proposies podem ter valores intermedirios entre "Verdadeiro" e "Falso". A veracidade destas uma funo que pode assumir qualquer valor entre 0 (absolutamente falso) e 1 (absolutamente verdadeiro). As sentenas passam a ter um grau de pertinncia.

Princpios
Muitas vezes utiliza-se uma discretizao dos valores possveis para um domnio => lgica de mltiplos-valores. Exemplo: {0, 0,5, 1} para valores que indiquem "Falso", "Talvez verdadeiro" e "Verdadeiro", respectivamente. A lgica difusa ento visa modelar modos de raciocnio imprecisos, tendo os casos precisos como situaes limite.

Clssica X Difusa
Clssica
o

Falso x Verdadeiro (0 ou 1);

Difusa
o

Intervalo [0..1]

Clssica X Difusa
Clssica
o o

Predicados exigem definio exata No existe resposta diferente de verdadeiro ou falso. homem, mortal, par ... Predicados no possuem definio exata Respostas so relativas; Possuem um grau de veracidade que variam entre totalmente falso e totalmente verdadeiro: alto, est cansado, jovem ...

Difusa
o o

Clssica X Difusa
Clssica
o

Quantificadores: Para todo, Existe

Difusa
o

Quantificadores: Muitos, Poucos, A maioria, Ocasionalmente... o Tambm possuem interpretao matemtica slida.

Clssica X Difusa

Motivao

"To prximas as leis da matemtica estejam da realidade, menos prximas da certeza elas estaro. E to prximas elas estejam da certeza, menos elas se referiro realidade (Albert Einstein)

Os copos esto cheios ou vazios ?

Qual seria a resposta mais apropriada ?

Repostas Apropriadas
O hexgono parcialmente azul, ou o hexgono parcialmente amarelo. O hexgono quase azul, ou quase amarelo. O hexgono 55% azul, ou o hexgono 45% amarelo.

O conceito de Charles Sanders Peirce (cerca de 1870)

"As pessoas funcionam de modo vago, ao invs de no modo verdadeirofalso

Conjuntos Fuzzy

No mundo real os problemas muitas vezes no conseguem ser representados pela lgica clssica. Conjuntos convencionais tm apenas os critrios de pertinncia pertence ou no pertence, e est contido ou no est contido, ou seja, um elemento no pode pertencer parcialmente a um conjunto, da mesma forma que um conjunto no pode estar parcialmente contido em outro.

Conjuntos Fuzzy

Um exemplo o conjunto das pessoas jovens: Um beb certamente pertence a esse conjunto e um idoso de 100 anos no. Mas o que podemos dizer sobre as pessoas com 20, 30 e 40 anos?

Conjuntos Fuzzy

Grau de pertinncia: Cada elemento do conjunto difuso tem um grau de pertinncia no intervalo [0, 1], dessa forma permitindo uma transio gradual da falsidade para a verdade.

Conjuntos Fuzzy

No existe uma base formal para determinar o grau de pertinncia. Este escolhido experimentalmente / empiricamente. O grau de pertinncia nos permite representar valores imprecisos como quente e frio.

Conjuntos Fuzzy
No eixo x representamos a temperatura da gua e no y seu grau de pertinncia.

Conjuntos Fuzzy
Grau de pertinncia X probabilidade
o

O grau de pertinncia fuzzy difere da noo estatstica de probabilidade. Isto pode ser ilustrado no exemplo abaixo: "Jos comeu X ovos no caf da manh." X U = {1, 2, . . . , 8}.

o o

Conjuntos Fuzzy

Noo estatstica: Distribuio de probabilidades e em um espao de 100 dias: U=[ 1 2 3 4 5 6 7 8] e = [ 0.1 0.8 0.1 0 0 0 0 0 ] = 1 Noo de crena: Conjunto fuzzy que expressa o grau de possibilidade neste mesmo tempo: U=[1 2 3 4 5 6 7 8 ] c= [ 1 1 1 1 0.8 0.6 0.4 0.2 ] <> 1

Conjuntos Fuzzy

Vemos, por exemplo, que a possibilidade para X = 3 igual a 1, enquanto a probabilidade apenas 0.1. O exemplo mostra que um evento possvel no implica que ele provvel. Por outro lado, se um evento provvel, ele deve ser possvel.

Conjuntos Fuzzy
Universo:
o

O universo contm os elementos que podem ser considerados no conjunto Seu objetivo no permitir o uso de dados incorretos ou incoerentes. Por exemplo o universo de um conjunto que mede sabor poderia ser o conjunto de noes psicolgicas {doce,amargo etc.}

Conjuntos Fuzzy
Representao: Um conjunto fuzzy A uma coleo de pares: A = {(x, (x))} Onde (x) o grau de pertinncia do elemento x.

Conjuntos Fuzzy
Exemplo: um conjunto fuzzy representando o conceito cu ensolarado poderia associar: Pertinncia 1,0 a uma cobertura de nuvens de 0% Pertinncia 0,8 a uma cobertura de nuvens de 20% Pertinncia 0,4 a uma cobertura de 30% Pertinncia 0,0 a uma cobertura de 75% ou mais Conjunto : { (0 , 1.0), (20 , 0.8), (30 , 0.4), (75 , 0.0)}

Conjuntos Fuzzy
Terminologia: Uma varivel lingustica aquela que tem como valores palavras ou sentenas. o O conjunto de valores que ela pode assumir chamado conjunto de termos o Cada valor no conjunto de termos uma "varivel fuzzy" definida sobre a "varivel base". o A varivel base define o universo para todas as variveis fuzzy no conjunto de termos.
o

Conjuntos Fuzzy
Exemplo do tanque:

Conjuntos Fuzzy
Exemplo do tanque:
o

Na premissa: Se o nvel baixo, ...

baixo uma varivel fuzzy, ou seja, um valor da varivel lingustica nvel.

Conjuntos Fuzzy
o

A varivel base est definida sobre um universo, que a faixa de valores esperados para nvel, ou seja, o intervalo [0, 100] com percentuais de tanque cheio. As medidas de nvel so escalares, e a declarao nvel baixo corresponde ao valor de pertinncia nvel(i) varivel baixo, onde i o percentual de tanque cheio. A sada um nmero [0, 1] que diz quo bem a premissa nvel baixo satisfeita.

Conjuntos Fuzzy

Figura: Termos {baixo,alto} para o problema do tanque. Exemplo: Aproximadamente para i < 10 % a premissa nvel baixo totalmente verdadeira ( = 1).

Operaes em Conjuntos Fuzzy

Operaes difusas:
o o o

Interseco: u( Unio: u(

) = min (u(A), u(B)) ) = max (u(A), u(B))

Complemento: u(A) = 1 u(A)

Operaes em Conjuntos Fuzzy

Exemplo (comprando uma casa)
o

Uma famlia com quatro integrantes deseja comprar uma casa. Uma indicao de conforto se refere ao nmero de dormitrios. Eles tambm desejam comprar uma casa grande. Seja u = (1, 2, . . . , 10) o conjunto de casas descritas pelo nmero de quartos de dormir (ou seja, a casa i tem possui i dormitrios).

o o

Operaes em Conjuntos Fuzzy

o

O conjunto fuzzy c que caracteriza conforto pode ser descrito como: c = [0.2 0.5 0.8 1 0.7 0.3 0 0 0 0]

Seja i o conjunto fuzzy caracterizando a noo de grande. O conjunto pode ser caracterizado por: i = [0 0 0.2 0.4 0.6 0.8 1 1 1 1]

Operaes em Conjuntos Fuzzy

A interseo entre confortvel e grande dado por: c i = [0 0 0.2 0.4 0.6 0.3 0 0 0 0] o Interpretando o conjunto fuzzy c i, conclumos que uma casa com 5 dormitrios a mais satisfatria, com grau 0,6. A segunda melhor soluo a casa com 4 dormitrios.
o o

A unio de confortvel e grande nos d: c i = [0.2 0.5 0.8 1 0.7 0.8 1 1 1 1] O complemento de grande produz: Qual a interpretao de i? i = [1 1 0.8 0.6 0.4 0.2 0 0 0 0]

Modificadores
Definio: Um modificador lingustico um termo que modifica o significado de um conjunto fuzzy, ou seja, uma operao sobre este conjunto que retrata a impreciso presente na lgica fuzzy. Exemplos: pouco, mais ou menos, possivelmente, com certeza so exemplos de modificadores. pouco quente, mais ou menos cheio, extremamente chato so exemplos de conjuntos fuzzy aplicados de um modificador.

Modificadores
Embora seja difcil deixar preciso o significado do efeito do modificador muito, com certeza ele produz um efeito intensificador. O modificador mais ou menos tem o efeito oposto. Os modificadores so muitas vezes aproximados pelas operaes: muito (a a) mais ou menos (a a)

Modificadores
Exemplo: Dado o conjunto: jovem = [10, 20, 30, 40, 50] com graus de pertinncia [1 , 0.6 , 0.1 , 0 , 0], respectivamente: o Podemos derivar a funo de pertinncia para o conjunto muito jovem elevando todos os termos ao quadrado, o que produz: muito jovem = jovem = [1 0.36 0.01 0 0]
o

Da mesma forma, o conjunto muito muito jovem obtido fazendo: 4 muito muito jovem = jovem = [1 0.13 0 0 0]

Modificadores
Uma famlia de modificadores pode ser gerada fazendo p a onde p a potncia entre zero e infinito. Quando p = o modificador pode ser dito exatamente, pois isto fora a nulificao de pertinncia de todas as entradas menores do que 1.