Lógica Nebulosa (Fuzzy Logic) (Introdução)

Transcrição

1 Universidade Estadual Paulista UNESP Campus de Ilha Solteira Departamento de Engenharia Elétrica Programa de Pós-Graduação em Engenharia Elétrica Lógica Nebulosa (Fuzzy Logic) (Introdução) Carlos R. Minussi Anna Diva Plasencia Lotufo Ilha Solteira-SP, junho-2011.

2 Lógica Nebulosa: Resumo Lotfi Zadeh (1965) desenvolveu o conceito de conjunto nebuloso (fuzzy set) baseado em pesquisas desenvolvidas por Lukasiewisz; O cérebro humano consegue resolver questões que envolvem imprecisões: Fuzzy set: modelagem matemática destes eventos; Mais recentemente surgiu o conceito de Rough Set (FL é um caso particular de RS) Lógica Binária Lógica Nebulosa Rough Sets Conjuntos Rústicos (Lógica Rústica) Projetos: - entrada / saída; - facilmente implementados (sistemas nãolineares; - utilização de declarações if then - variáveis lingüísticas. 2

3 Grau (função) de Pertinência: m [0, 1] Pertinência nula Pertinência completa Exemplo: Variável Temperatura pode ter vários estados: Fria, fresca, moderada, morna, quente, muito quente Variáveis lingüísticas A mudança de um estado para outro não precisa ser rigorosamente definida; A idéia de : que é muito frio que é morno ou que é quente está sujeita a diferentes interpretações. Regras: se <proposição nebulosa>, então, <proposição nebulosa> if then Exemplo: X é Y ou X não é Y, X sendo uma variáveis escalar e Y sendo um conjunto nebuloso associado com a variável X. 3

4 Formas de Funções de Pertinência: 1) Triangular Exemplo: m(15 o ) baixo = m(15 o ) moderado = m(15 o ) médio = m(15 o ) alto = 0,7 0, ) Gaussiana 3) Trapezoidal 4). Etc. 4

5 1. Controlador Nebuloso Figura Controlador Nebuloso Exemplo 1 Problema: Determinar o valor da variável de controle (u(t k )) correspondente ao estado medido em um instante t k, considerando-se os dados e ilustrações a seguir relacionados: e(t k ) = 0,25 Δe(t k ) = 0,5. sendo: e(t k ) = erro do processo medido em t k Δe(t k ) = variação do erro do processo medido em t k Δ e(t k ) e(t k-1 ). Figura

6 Suposição: Considerar as funções de pertinência para o erro, variação do erro e controle iguais. Esta suposição é válida, tendo em vista que as variáveis envolvidas encontram-se normalizadas (X / alguma norma). 6

7 Figura Funções de pertinência. Quadro Conjunto de regras. Regra Sentença 1 IF e = ZE AND Δe = ZE, THEN u = ZE 2 IF e = ZE AND Δe = SP, THEN u = SN 3 IF e = SN AND Δe = SN, THEN u = LP 4 IF e = LP OR Δe = LP, THEN u = LN Quadro Matriz discreta: Relação entre variáveis (estado ou controle) e os graus de pertinência associados. μ \ Variável -1-0,75-0, ,25 0,5 0,75 1 μlp ,3 0,7 1 μsp ,3 0,7 1 0,7 0,3 μze 0 0 0,3 0,7 1 0,7 0,3 0 0 μsn 0,3 0,7 1 0,7 0, μln 1 0,7 0, e Δe 7

8 Quadro Valores do grau de pertinência. μ e = 0,25 Δe = 0,5 μlp 0 0,3 μsp 0,7 1 μze 0,7 0,3 μsn 0 0 μln 0 0 Quadro Cálculo da saída (ação de controle). Regra Antecedente U μ μ u 1 ZE 0 0,3 0 2 SN -0,5 0,7-0,35 3 LP LN -1 0,3-0,3 Total -0,65 u(t k ) (Método Centroide) = -0,65 / (0,3 + 0, ,3) = -0, Controlador Nebuloso Exemplo 2 Turbina à Vapor Entrada : Temperatura (T) e pressão (P) Saída : Abertura da válvula (controle do fluxo de vapor) (V) Regras : 1 Se Pressão é Baixa e Temperatura é Fria, então, Abertura da Válvula é PM 2 Se Pressão é OK e Temperatura é Fria, então, Abertura da Válvula é ZR 8

9 sendo: NL = Negative Large NM = Negative Medium NS = Negative Small ZR = ZeRo PS = Positive Small PM = Positive Medium PL = Positive Large. Figura

10 Figura NB. V corresponde ao valor da projeção do centro inércia na figura gerada pelo conjunto de regras no eixo das abscissas. 3. Modificação das funções de pertinência (Busca da otimização do desempenho do Controlador nebuloso) Existem vários caminhos para otimizar os controladores nebulosos. Entre eles, destacam-se: 1. modificar as funções de pertinência, aumentando, diminuindo ou modificando as inclinações das funções de pertinência em certas regiões em particular.: este método é particularmente utilizado quando se trabalha com sistemas não-lineares. Alguns controladores nebulosos possuem algoritmos (baseados em aprendizados) que modificam as funções de pertinência visando obter uma melhor resposta dinâmica do sistema; 2. emprego de dispositivos hedges. 10

11 4. Modificando as Inclinações das Funções de Pertinência (Para funções de pertinência triangulares) Do exemplo de controle anterior (Exemplo 1) estreitando-se ZE, por exemplo, aumenta a resolução do controle em torno do set point A mudança em LP e SP, por outro lado, intensifica a resposta do controle quando e é positivo. Figura 4.1. Funções de pertinência modificadas. 5. Emprego de Dispositivos Hedges Genericamente é da forma: m A sendo: m = agente modificador (advérbio) A = conjunto nebuloso. Uso de palavras muito, extremamente, mais ou menos, etc., Exemplo: very A = A 2 more or less A = A 1/2 not A = 1 A. As funções de pertinência para estes casos são: 11

12 μ A 2 (X) = {μ A (x)} 2 μ A 1/2 (X) = {μ A (x)} 1/2 μ A - 1 (X) = 1 - μ A (x). Figura 5.1. NB: na regra IF e = SP THEN u = LP, usando-se um hedge: IF e = very SP THEN u = LP (very é um operador quadrático da função de pertinência sobre SP) proporciona variações (relativas): - pequenas para valores de μ próximos de 1 - grandes para valores de μ pequenos. Vantagens: 1. ao invés de modificar o conjunto de regras, o hedge modifica somente uma regra, enquanto que a modificação da inclinação da função de pertinência afeta todas as regras. 6. Sistemas Nebulosos Adaptativos Sistemas capazes de se adaptarem em consequência das mudanças ambientais. No caso do controle, são dispositivos capazes de se adaptarem em função de mudanças como parâmetros e condições operativas, e.g.: 12

13 envelhecimento de componentes (mecânicos, elétricos, eletrônicos) em sistemas de energia elétrica (modelos não-lineares), o ponto de operação é alterado, ao longo do tempo, visando atender a demanda (consumo de energia); Exemplo: Durante o governo de Carter (Estados Unidos), por ocasião da tentativa de libertar americanos seqüestrados (em um avião) no Irã, um helicóptero caiu no deserto por motivo de que dispositivos de navegação e de controle falharam causados por condições ambientais adversas (mudança intensa de temperatura, umidade, etc.). Sistemas nebulosos convencionais apresentam desempenho semelhante aos controladores PID (Proporcional + Integral + Derivativo). Neste caso, podem não se adaptarem às mudanças graduais em seus ambientes de trabalho; Deste modo, surge a necessidade de desenvolver controladores adaptativos. No caso de controladores nebulosos adaptativos. O controlador nebuloso adaptativo, contém a mesma estrutura do controlador nebuloso convencional, acrescido de um mecanismo que permite implementar e gerenciar as modificações no conjunto de regras (mudança na inclinação das funções de pertinência (triangulares) e dispositivos hedges). 7. Problemas no Processo de Desnebulização Quando se Utiliza o Método Baricentro (Centro de Gravidade) Figura

14 Problemas: 1. tratamento de regras redundantes (cotas g 1, g 3, g 4 e g 7 ) 2. interseções entre conjuntos consequentes (áreas na cor cinza escuro). Considere o seguinte conjunto de regras nebulosas: X Antecedente X X- Consequente-X Regra 0: If x 0 = A 0 and X 1 = A 1 and x 2 = A 2, then y = P 0 Regra 1: If x 0 = B 0 and x 2 = B 2, then y = P 0 Regra 2: If X 1 = C 1 and x 2 = C 2, then y = P 1 Regra 3: If x 0 = D 0 and X 1 = D 1 then y = P 2 Regra 4: If x 0 = E 0 and x 2 = E 2, then y = P 2 Regra 5: If x 0 = F 0 and X 1 = F 1 and x 2 = F 2, then y = P 2 Regra 6: If X 1 = G 1 and x 2 = G 2, then y = P 3 Regra 7: If x 0 = H 0 then y = P 3 a figura gerada pelo conjunto de regras corresponde a figura em com cinza, cuja projeção do baricentro sobre o eixo das abscissas é valor da ação de controle recomendada ; as cotas (alturas) (g 0, g 2, etc.) correspondem aos graus de pertinência, respectivamente das regras 0, 1, 2, etc.; observa-se que somente g 0, g 2, g 5 e g 6 afetam a inferência que são as maiores cotas sobre cada conjunto nebuloso (P 0, P 1, P 2 e P 3 ). Solução: Empregar, por exemplo, o método Centroide Min-Max. Este método não será tratado aqui, visto que ele é habitalmente abordado na literatura especializada. 14

15 Abordagem Alternativa o centroide pode ser estimado da seguinte forma: Centroide = n n ( μ i ui)/ μ i i= 1 i= 1 sendo: n = número de regras μi = grau de pertinência da regra i ui = ação de controle recomendada referente à regra i. NB: A ação recomendada (ui) aqui é considerada como sendo o valor da projeção sobre a abscissa, correspondente ao valor máximo do conjunto nebuloso (μ = 1): Figura 7.1. NB.: 1. Os controladores via métodos de desnebulização baseados no centro de gravidade possuem comportamento semelhante ao controladores PI (Proporcional+Integral). 15

16 Exemplo (já abordado anteriormente): X = 3,9231 (cálculo exato) X = (0,4 x 2 + 0,8 x 4) / (0,4 + 0,8) = 3,34. Figura 7.2. NB.: 1. Contudo este procedimento não elimina regras redundantes. Portanto, há necessidade prévia de estabelecer corretamente o conjunto de regras (isento de redundâncias). 16

17 8. Granulação Como já abordado anteriormente, o uso das palavras pode ser visto como uma forma de quantização nebulosa ou, mais genericamente, como granulação. Basicamente, a granulação envolve a substituição de uma restrição da forma: X = a por uma restrição da forma: X é A sendo: A = um subconjunto de U (conjunto universo de X) Exemplo: X = 2 pode ser substituído por: X é pequeno. Na lógica nebulosa, a declaração X é A é interpretada como a caracterização de possíveis valores de X, em que A representa a distribuição de possibilidades. Assim, a possibilidade que X pode possuir um valor u é dada por: poss{x = u} = μ A(u). Isto é, no senso em que X é μ A(u), com possibilidade sendo interpretada uma fácil realização, podendo, também, ser interpretada como sendo uma restrição elástica sobre X. 17

18 X = 2 0 < X < 5 X é pequeno Temp = 85 o temp > 85 o temp é quente X = a X A X é A*. Outras generalidades Figura 8.1 sendo: singular, c granular e f granular = modos de granulação. temp = temperatura c Granular = granulação crisp f Granular = granulação fuzzy (nebulosa). Figura

19 9. Principais Conceitos 9.1. União μ A B (x) = μ A (x) μ B (x) 9.2. Interseção μ A B (x) = μ A (x) μ B (x) 9.3. Complemento μ A (x) = 1 μ A (x) 9.4. Relação de Equivalência A = B μ A (x) = μ B (x) 9.5. Relação de Inclusão A B μ A (x) < μ B (x) 9.6. Lei de Negação Dupla = A = A 19

20 9.7. Leis de Morgan _ A B = A B A B = _ A _ B Figura Operações Com Conjuntos Nebulosos Soma Algébrica A [+] B μ A [ +] B (x) = μ A (x) + μ B (x) μ A (x) μ B (x) Produto Algébrico A B μ A B (x) = μ A (x). μ B (x) Soma Limitada 20

21 A B μ A B (x) = (μ A (x) + μ B (x)) Diferença Limitada A Θ B μ A Θ B (x) = (μ A (x) - μ B (x)) λ-complemento _ A λ μ _ A λ (x) = (1 - μ A (x)) / ( 1+ λ μ A (x)) As leis de Morgan aplicam-se à soma algébrica, diferença algébrica e complemento: _ A [+] B = A B _ A B = A [+] B No caso de λ-complemento, as leis de Morgan são: _ (A B) λ = A λ B λ _ (A B) λ = A λ B λ 21

22 10.8. Lei de Morgan referente à dupla negação: (A λ ) λ = A Quando o conjunto suporte é um conjunto finito, torna-se conveniente utilizar as seguintes expressões: Considere: X = { x 1, x 2, x 3,..., x n }. O subconjunto A de X pode, então, ser expresso por: A = n μ A(xi)/ i= 1 xi = μ A (x 1 ) / x 1 + μ A (x 2 ) / x μ A (x n ) / x n Os termos de grau zero são eliminados. O símbolo (+) significa or, por exemplo: a / x 1 + b /x 1 = a b / x 1 Associado ao operador max Assim, a união de dois conjuntos é encontrada através da conexão com um símbolo (+). Exemplo: Considere um conjunto que pode ser chamado de grande composto por graus de pertinência em uma variação de números inteiros compreendidos entre 1 e 10: 22

23 grande = 0,2/5 + 0,4/6 + 0,7/7 + 0,9/8 + 1/9 + 1/10 e o conjunto em torno do valor médio é expresso por: em torno do valor médio = 0,4/3 + 0,8/4 + 1/5 + 0,8/6 + 0,4/7 então: grande em torno do valor médio = (0,2/5 + 0,4/6 + 0,7/7 + 0,9/8 + 1/9 + 1/10) + (0,4/3 + 0,8/4 + 1/5 + 0,8/6 + 0,4/7) = 0,4/3 + 0,8/4 + (0,2 1)/5 + (0,4 0,8)/6 + (0,7 0,4)/7 + 0,9/8 + 1/9 + 1/10 = 0,4/3 + 0,8/4 + 1/5 + 0,8/6 + 0,7/7 + 0,9/8 + 1/9 + 1/ x é A A B x é B 2. Usualmente (x é A) A B usualmente (x é B) 3. Idade (Maria) é Jovem 11. Regras Básicas de Inferência 23

24 sendo: Jovem é interpretada como sendo um conjunto nebuloso ou, equivalentemente, como um predicativo nebuloso. Portanto, podendo ser interpretado como: Maria não é velha, Jovem é um subconjunto do complemento de velho, que é: μ jovem (u) (1 - μ velho (u)), u, e.g., [0, 100]. sendo: μ jovem (u) e μ velho (u) são, respectivamente, funções de pertinência de Jovem e de Velho considerando-se o universo de abrangência o intervalo [0,100]. 4. Regra Conjuntiva x é A x é B x é A B 24

25 5. Produto Cartesiano x é A y é B (x, y) é A x B sendo: (x, y) é uma variável binária e A x B é definida por: μ A x B (u,v) = μ A (u) μ B (v) u U, v V 6. Regra de Projeção (x, y) é R x é x R sendo: x R a projeção da relação binária R no domínio de x e definida por: μ xr (u) = sup v μ R (u,v) u U e v V em que: μ R (u,v) = função de pertinência de R sup = supremo sobre v V. 25

26 7. Regra Composicional X é A (x,y) é R y é A ο R sendo: A ο R = composição da relação binária A com a relação binária R defina por: μ A ο R (v) 0 sup u (μ A (u) (μ B (u)) 8. Modus Ponens Proposição 1. Se x é A, então, y é B Proposição 2. x é A Conclusão: y é B (A e A ), (B e B ) não são necessariamente iguais. 9. Modus Ponens Generalizado Proposição 1. x é A Proposição 2. Se (x for A), então, (y será B) 26

27 Conclusão: y é B Exemplo: Se tomate é vermelho, então, tomate é maduro Se tomate for muito vermelho, então, tomate será muito maduro. Matriz nebulosa: 12. Matrizes e Grafos Nebulosos A relação nebulosa R definidade sobre o espaço X x Y, sendo: X = { x 1, x 2,..., x n } Y = { y 1, y 2,..., y n } pode ser expressa na forma matricial: μ R (x 1,y 1 ) μ R (x 2,y 2 )... μ R (x n,x 2 ) μ R (x 1,y 2 ) μ R (x 2,x 2 )... μ R (x n,x 2 ) μ R (x 1,n n ) μ R (x 2,x n )... μ R (x n,x n ) Exemplo 1: A relação nebulosa x possui forma semelhante a y pode ser expressa pela matriz: 27

28 Pera Banana Maçã Bola Pera 1 0,2 0,6 0,6 Banana 0,2 1 0,1 0,1 Maçã 0,6 0,1 1 0,8 Bola 0,6 0,1 0,8 1 Exemplo 2: Quando a relação nebulosa sobre X = {a, b, c} é: R = 0,2/(a,a) + 1/(a,b) + 0,4/(a,c) + 0,6/(b,b) + 0,3/(b,c) + 1/(c,b) + 0,8/(c,c) a b c a 0,2 1 0,4 b 0 0,6 0,3 c 0 1 0,8 (Matriz nebulosa) (Grafo nebuloso) 28

29 13. Operações com Relações Nebulosas Se R for uma relação em X x Y e S uma relação em Y x Z, a composição de R e S, R, R ο S, é a relação em X x Z definida por: R ο S μ R ο S (x,z) = {μ R (x,y) μ S (y,z)} y (Composição max-min) Exemplo: Considere X = {x 1, x 2 }, Y = {y 1, y 2, y 3 }, Z = {z 1, z 2 }. Se as relações nebulosas R e S são expressa pelas seguintes matrizes, a composição R ο S pode ser determinada como segue: R = 0,4 0,9 0, ,1, S = 0,5 0,1 0 0,8 1 0,6 0,4 0,6 R Ο S = 0, ,1 Ο 0,5 0,1 0 0,8 1 0,6 (0,4 0,5) (0,6 0,1) (0 0) (0,4 0,8) (0,6 1) (0 0,6) = (0,9 0,5) (1 0,1) (0,1 0) (0,9 0,8) (1 1) (0,1 0,6) (0,4 ) (0,1) (0 ) (0,4 ) (0,6 ) (0 ) = (0,5) (0,1) (0) (0,8) (1) (0,1) 0,4 0,6 = 0,

30 NB.: Outros tipos de composições podem ser considerados, por exemplo: Composição min-max R S μ R S (x,z) = {μ R (x,y) μ S (y,z)} Y _ R S = R Ο S 30

31 14. Conjunto Nebuloso Normal Um conjunto nebuloso, cuja função de pertinência possui grau 1, é chamada normal, ou seja: A é chamado conjunto normal max μ A (x) = 1 x X Figura 14.1 Conjuntos nebulosos normal e não-normal. 15. Conjunto nebuloso Convexo Quando o conjunto suporte é um conjunto de números reais e a seguinte propriedade para todo x [a,b]: μ A (x) > μ A (a) μ A (b), então, A é chamado conjunto convexo. 31

32 Figura Conjunto convexo. A é um conjunto convexo em [a,b]. 16. Produto Direto de Conjuntos Nebulosos Quando A X e B Y, o subconjunto A x B de X x Y é chamado de produto direto de A x B: A x B μ AxB (x,y) =μ A (x) μ B (y). 17. Conceito α - Corte Para um conjunto nebuloso A: 32

33 A α Δ { x μ A (x) > α }; α [0,1) (α-corte fraco) A α Δ { x μ A (x) > α }; α (0,1] (α-corte forte) é chamado α-corte fraco e α-corte forte, respectivamente. Figura Representação gráfica de um α-corte fraco. NB.: 1. A diferença entre α-corte fraco e α-corte forte reduz-se apenas no sinal de igualdade 2. se a função de pertinência é contínua, a distinção entre estes α-cortes não se faz necessária. 33

34 18. Princípio da Resolução Necessidade: 1. conjunto nebuloso normal 2. conjunto nebuloso convexo. O princípio da resolução é definido como: μ A (x) = sup [α χ Aα (x)] α [0,1) = sup [α χ A α (x)] α (0,1]. sendo: sup = supremo χ E (x) = função característica de E Δ 1, se x E 0, se x E. Usando-se o princípio da resolução, a função de pertinência pode ser expressa via uso do conceito α-corte; 34

35 considera-se que χ A α (x) é a função característica de A α, então, tem-se: para x A α, μ A (χ) > α (χ A (x) = 1) para x A α, μ A (χ) < α (χ A (x) = 0). portanto, tem-se: sup [α χ Aα (x)] = sup [α χ A α (x)] α [0,1) α (0,1] = sup [α χ A α (x)] α (0, μ A (x)] sup [α χ A α (x)] α (μ A(x),1] = sup [α 1] sup [α 0] α (0,μ A(x)] α (μ A(x),1] = sup α α (0,μ A(x)] = μ A(x). 35

36 Se definirmos o conjunto α A α como sendo: αa α μ αa α = α χ A α (x), então, o princípio da resolução pode ser expresso por: A = U α ( 0,1 ] αa α. Ou seja, um conjunto nebulosos A é decomposto em αa α, α (0,1] e é expresso como uma união destes (αa α ). Este é o significado do princípio da resolução. Figura Decomposição de um conjunto nebuloso. A partir da Figura 18.1, se α 1 < α 2, então, Aα 1 Aα 2. 36

37 Dado os conjuntos nebulosos na forma de Aα 1 e Aα 2, podese recuperar a função de pertinência original do conjunto nebuloso A: μa(x) A α, α (0,1], ou seja, um conjunto nebuloso pode ser expresso em termos do conceito de α-cortes sem recorrer a função de pertinência. 19. Números Nebulosos Para um conjunto nebuloso normal e convexo, se um α- corte fraco é um intervalo fechado, ele (α-corte fraco) é chamado de número nebuloso; números nebulosos possuem funções de pertinência semelhantes às mostradas na Figura 19.1; 37

38 Figura Números nebulosos. NB.: x é um número nebuloso com função de pertinência, por exemplo, mostrado na Figura 19.1 (cor azul). f(x) é mostrada na cor vermelha. se a função de pertinência é contínua, o α-corte fraco será um intervalo fechado. Considere: f(x) = 2 x +1 quando x =3, o valor de f(3) é 7; 38

39 agora, se x não é um valor único, mas sim que varia entre 2 e 4, o valor de f(x) de 5 até 9: f([2,4]) = 2. [2,4] +1 = [2. 2, 2. 4] +1 = [4+1,8+1] = [5,9] o que acontece com os valores de f(x) se os valores de x são ambíguos, e.g., em torno de 3 ao invés do intervalo [2,4]? os números do tipo em torno de 3 em em torno de 5 são chamados números nebulosos, com grafia respectivamente. 3 e ~ 5, ~ expressar em torno de 3 : substituir x em f(x) com obtém-se: 3, ~ f( 3) = 2. ~ 3 +1 ~ = 7 ~ 39

40 se calcularmos f( 3) usando o princípio de extensão (a ~ partir da Figura 19.1), obtém-se: 3 α = 3, para α = 1 ~ = [2,5, 3,5], para α = 0,8 = [2,4] para α = 0,3. f( 3) α = 7, para α = 1 ~ = [6, 8], para α = 0,8 = [5,9], para α = 0,3. Se desenharmos a função de pertinência de f(3) usandose estes resultados, obtém-se o número nebuloso 7 como mostrado na curva vermelha (Figura 19.1); Neste sentido, calculam-se as extensões de funções simples usando o conceito de α-cortes; quando o conjunto suporte do conjunto nebuloso é finito, os cálculos são sempre mais simples se realizados diretamente pelo uso da definição de função estabelecida pelo princípio da resolução. 40

41 20. Operações com Números Nebulosos Considere uma função com duas variáveis: g: X x Y Z sendo: x X e y Y em g(x,y) são substituídos por conjuntos nebulosos A X e B Y, assim: μ g(a,b) (z) = sup [μ A (x) μ B (y)] z = g(x,y) isto expressa o produto direto de A e B (operação entre parênteses); o operador sup é efetivo em relação a x e y de z = g(x,y) para um dado valor z; o conjunto nebulosos g(a,b) de Z é representado por: g(a,b) = z [μ A (x) μ A (y)] / g(x,y) usando-se o conceito de α-corte, torna-se: g(a,b) α = g(a α,b α ). 41

42 Exemplo. Supondo-se: g(x,y) = x+ y sendo: x e y são números reais que correspondem à obtenção da soma de números nebulosos A e B. Por exemplo, pode-se usuar: g( 2, 3) = ~ ~ = 2 + ~ 5 ~ 3 ~ isto confirma que o resultado refere-se em torno de 5. Para x e y, g é uma função contínua, assim usando-se o conceito de α-corte fraco, tem-se: ( 2 + ~ 3) α = ~ 2 α + ~ 3 α. ~ desde que o α-corte de números nebulosos está em um intervalo, o cálculo corresponde à soma de 2 intervalos [a,b] e [c,d]: [a,b] + [c,d] = {ω ω = u + v; u [a,b]; v [c,d]}. 42

43 ou seja, se u e v são números que podem variar dentro dos intervalos [a,b] e [c,d], respectivamente, suas somas é, então: [a,b] + [c,d] =[a+ c, b + d]. O α-corte de 3, como anteriormente abordado, será: 3 α = 3, para α = 1 ~ = [2,5, 3,5], para α = 0,8 = [2,4] para α = 0,3. e o α-corte de 2 será: 2 α = 2, para α = 1 ~ = [1,5, 2,5], para α = 0,8 = [1,3] para α = 0,3. ( 2 α + 3 α ) = 5, para α = 1 ~ ~ = [4,6], para α = 0,8 43

44 = [3,7], para α = 0,3. este é o número nebuloso 5. ~ Figura Adição dos números nebulosos 5 = ~ ~ ~ Em geral, quando pensamos de g(x,y) como uma operação binária de x e y da forma: g(x,y) = x y a expressão para números nebulosos A e B é: A B = [μ A(x) μ B (x)] / (x y) Ou: 44

45 (A B) α = A α B α aqui a operação para ambos os intervalos é: [a,b] [c,d] = {ω ω = u v; u [a,b]; v [c,d]}. Exemplo: Calcular ( 3 - ~ 2), em que: ~ [a,b]-[c,d] = [a - d, b-c] = [p,q] a = 2 b = 4 c = 1 d = 3 p = -1 q = 3. 45

46 Figura Número nebuloso 2, ~ 3 e ( 3 - ~ ~ 2). ~ ( ~ 3 2) α = 1, para α = 1 ~ = [0,2], para α = 0,8 = [-1,3], para α = 0,3. NB.: A operação com números nebulosos de subtração não é uma operação reversa de adição. Ou seja: (3 2) + 2 = 3 é uma relação verdadeira, porém: (( 3 - ~ 2) + ~ 2) α = 3, para α = 1 ~ = [1,5;4,5], para α = 0,8 = [0;6], para α = 0,3. Contudo: 46

47 3 α = 3, para α = 1 ~ = [2,5, 3,5], para α = 0,8 = [2,4] para α = 0,3. Portanto: 3 α {( 3 - ~ ~ 2) + ~ 2} α. ~ p = -1 q = 3. (intervalos de ( 3 - ~ c = 1 2)) ~ d = 3 (intervalos de 2) ~ Intervalos de {( 3 - ~ 2)) + ~ 2 } = [p+c, q+d] ~ = [-1+1,3+3] = [0,6] 47

48 Figura Números nebulosos ( 3 - ~ 2) e ~ 3. ~ 48

49 Universidade Estadual Paulista UNESP Campus de Ilha Solteira Departamento de Engenharia Elétrica Programa de Pós-Graduação em Engenharia Elétrica Disciplina: Lógica Nebulosa Aritmética de Intervalos Fuzzy Carlos R. Minussi Ilha Solteira-SP, junho-2010.

50 21. ARITMÉTICA DE INTERVALOS FUZZY A aritmética de intervalos tenta obter um intervalo resultante de uma operação fuzzy, de tal forma que nele contenha todas as possíveis soluções. Neste caso, estas regras operacionais são definidas num sentido conservativo, no senso em que se obtêm intervalos maiores do que o necessário, evitando, deste modo, perdas de informações em relação às soluções verdadeiras. Por exemplo: [1, 2] [0, 1] = [0, 2] significa que, para parâmetros a [1, 2] e b [0, 1], garante-se que a b [0, 2]. Notação de intervalo fuzzy: [s, s] s s s, sendo: s = limite inferior; s = limite superior. Figura Aritmética de Intervalos As operações com intervalos fuzzy mais usuais são: z = x y, sendo x e y dois conjuntos fuzzy e ( ) (+,,., /, min, max), ou seja: (1) Adição [s 1, s] 1 + [s 2, s 2 ] = [s 1, + s 2, s 1+ s 2 ]. (2) Subtração [s 1, s] 1 [s 2, s 2 ] = [s 1, s 2, s1 s 2 ]. (3) Reciprocidade Se 0 [s, s ], então, [s, s ] 1 = [1/ s, 1/s]; 2

51 Se 0 [s, s ], então, [s, s] 1 é indefinido. (4) Multiplicação [s 1, s 1]. [s 2, s 2 ] = [p, p]. sendo: p = min { s 1 s 2, s 1 s 2, s 1 s 2, s1 s 2 } p = max{ s 1 s 2, s 1 s 2, s 1 s 2, s1 s 2 }. (5) Divisão [s 1, s 1] / [s 2, s 2 ] = [s 1, s 1]. [s 2, s 2 ] 1 desde que 0 [s 2, s 2 ]. (6) Máximo max{ [s 1, s], 1 [s 2, s 2 ]} = [p, p] sendo: p = max{ s 1, s 2 } p = max{ s, 1 s 2 }. (7) Mínimo mim{ [s 1, s 1], [s 2, s 2 ]} = [p, p] sendo: p = min{ s 1, s 2 } p = min{ s 1, s 2 }. 22. Exercícios Ilustrativos: Notação de -Corte e Princípio da Resolução Exercício 1 (Adição). Considerando-se x e y dois conjuntos fuzzy (vide Figura 22.1), tais que: 3

52 Figura Funções de pertinência x e y. X = [-5, 1] e Y = [-5, 12], sendo que as funções de pertinências associadas são assim calculadas: equação da reta X (x) = a x +b (trecho à esquerda) 0 = a(-5) + b 1 = a (-2) + b, assim: a = 1/3 b = 5/3 X (x) = a x +b (trecho à direita) 1 = a(-2) + b 0 = a (1) + b, assim: a = -1/3 b = 1/3. Ou seja: X (x) = Y (y) = a y +b (trecho à esquerda) 0 = a(-3) + b 1 = a (4) + b, assim: a = 1/7 b = 3/7 Y (y) = a y +b (trecho à direita) 1 = a(4) + b 0 = a (12) + b, assim: a = -1/8 b = 12/8. 4

53 Ou seja: Y (y) = 0, 5 y 3 y 3, 3 y y 12, 4 y Então, determine o conjunto Z = X + Y = [-5, 1] + [-5, 12] = [-10,13]. Figura Notação de -corte dos conjuntos x e y. Aplicando-se a notação de -corte, os pontos x1, x2 valem: = x 1 /3 +5/3 x 1 = 3-5 = -x 2 /3 +1/3 x 2 = Então, o intervalo de projeção de x é: (X) = [x1, x2] = [3-5, -3 +1] Similarmente, em relação a y1 e y2: (Y) = [y1, y2] = [7-3, ]. O intervalo de projeção de Z é: (Z) = [z1, z2] = [10-8, ]. 22.3): Variando-se entre 0 e 1, obtém-se a função de pertinência X (z) (vide Figura 5

54 Tabela Notação -corte aplicada à construção de Z. z1 z ,2-6 10,8 0,4-4 8,6 0,6-2 6,4 0,8 0 4, Z (z) = Figura Construção de Z via notação de -corte. 0, 10 z 8 z 8, 8 z z 13, 2 z Figura Função de pertinência de Z = X + Y. Exercício 2. (Subtração). Considerando-se, agora, x e y dois conjuntos fuzzy, conforme é ilustrados na Figura (22.5), obter Z = {z = x-y, x X, y Y, sendo X =[0,20], Y = [0,10]. 6

55 Figura Funções de pertinência de x e de y. NB: X = [p,q], Y = [r,s], X-Y = [p-s, q-r]. X = [0, 20] e Y = [0, 10], sendo que as funções de pertinências associadas são assim calculadas: X (x) = a x +b (trecho à esquerda) 0 = a(7) + b 1 = a (14) + b, assim: a = 1/7 b = -1 X (x) = a x +b (trecho à direita) 1 = a(14) + b 0 = a (19) + b, assim: a = -1/5 b = 19/5. Ou seja: X (x) = 0, 0 x 7 x 1, 7 x 14 7 x 19, 14 x , 19 x 20 Y (y) = a y +b (trecho à esquerda) 0 = a(3) + b 1 = a (5) + b, assim: a = 1/2 b = -3/2 Y (y) = a y +b (trecho à direita) 7

56 1 = a(5) + b 0 = a (10) + b, assim: a = -1/5 b = 2. Ou seja: Y (y) = y 2 0, 0 3, 2 y 5 2, y 3 3 y 5 5 y 10 Então, determinar o conjunto Z = X - Y = [0, 20] + [0, 10] = [-10,20]. Figura Notação de -corte dos conjuntos x e y. Aplicando-se a notação de -corte, os pontos x1, x2 valem: = x 1 /7-1 x1 = = -x2/5 +19/5 x 2 = Então, o intervalo de projeção de x é: (X) = [x1, x2] = [7 +7, ] Similarmente, em relação a y1 e y2: (Y) = [y1, y2] = [2 +3, ]. O intervalo de projeção de Z é: 8

57 (Z) = [z1, z2] = [x1-y2, x2-y1] = [12-3, ]. 22.6): Variando-se entre 0 e 1, obtém-se a função de pertinência X (z) (vide Figura Tabela Notação -corte aplicada à construção de Z. z1 z ,2-0,6 14,6 0, ,2 0,6 4,2 11,8 0,8 6,6 10, Figura Construção de z via notação de -corte. Z (z) = 0, 10 z 3 z 3, 3 z z 16,, 9 z , 16 z 20 Exercício 3. (Multiplicação). Considerando-se X = [2, 5] e Y = [3, 6] com funções de pertinência ilustradas na Figura 22.7, determine: Z = { z z = x y, x X e y Y}. NB. Z (z) = { X (x) Y (y)} z x y 9

58 Figura Funções de pertinência dos conjuntos x e y. Então, as funções de pertinência de x e de y, a partir da Figura são definidas do seguinte modo: X (x) = Y (y) = x 2, 2 x 3 x 5, 3 x y 3, 3 y y 6, 5 y 6 Na notação de -corte: (Z) = (X). (Y). Fazendo-se: = x 1-2 e = -x 2 /2 + 5/2, tem-se: x 1 = + 2 x 2 = Similarmente: y 1 = y 2 = Os intervalos das projeções de x e de y valem: (X) = [ + 2, ] (Y) = [2 + 3, - + 6] Assim, considerando-se o intervalo de projeção de z pode ser expresso por: 10

59 (Z) = [ + 2, ]. [2 + 3, - + 6] = { X (x) Y (y)} z x y sendo: = [p( ), p( ) ] p( ) = min[c, d, e, f] p( ) = max[c, d, e, f] c = ( + 2) (2 + 3) = d = ( + 2) (- + 6) = e = (-2 + 5) (2 + 3) = f = (-2 + 5) (- + 6) = Figura Gráficos de c a f em função de. Por conseguinte: p( ) = p( ) = (Z) = [ , ] Fazendo-se z 1 = z 2 = , obtém-se: 11

60 = = z z2 4 ou consequentemente: Z (z) = z, z, 4 6 z z 30 Tabela Notação -corte aplicada à construção de Z. z1 z ,2 7,48 26,68 0,4 9,12 23,52 0,6 10,92 20,52 0,8 12,88 17, Figura Resultado da função de pertinência de z (operação de multiplicação). Exercício 4. (Divisão). Considerando-se X = [18, 33] e Y = [5, 8] com funções de pertinência ilustradas na Figura 22.10, determine: Z = { z z = x / y, x X e y Y}. 12

61 Figura Funções de pertinência dos conjuntos x e y. Então, as funções de pertinência de x e de y, a partir da Figura são definidas do seguinte modo: X (x) = Y (y) = x 18, 4 4 x 3, 11 y 5, y 4, 2 18 x x 33 5 y 6 6 y 8 Fazendo-se: = x 1 /4-18/4 e = -x 2 /11 + 3, tem-se: x 1 = x 2 = Então: (X) = [4 + 18, ] Similarmente: (Y) = [ + 18, ] Então: (Z) = (X) (Y) = [4 18, 11 33] [ 5, 2 8] = [c, d] [e, f ] propriedade da divisão fuzzy = [ f c, e d ] 13

62 ou seja: 4 18 (Z) = [, ] 5 Fazendo: z 1 = z 2 = obtém-se: = = 8z 2z z z 2 11 e Assim, tem-se: Z (z) = 8z 18, 2z 4 5z 33, z 11 9 z 4 11 z Tabela Notação -corte aplicada à construção de Z. z1 z2 0 2,25 6,6 0,2 2,4737 5,9231 0,4 2,7222 5,2963 0,6 3 4,7143 0,8 3,3125 4, /3 = 3,6667 3,

63 Figura Resultado da função de pertinência de z (operação de multiplicação). 15

64 Universidade estadual Paulista UNESP Campus de Ilha Solteira Programa de Pós-Graduação em Engenharia Elétrica Disciplina: Lógica Nebulosa Programação Matemática Fuzzy Carlos Roberto Minussi Ilha Solteira-SP, agosto-2009.

65 PROGRAMAÇÃO MATEMÁTICA NEBULOSA Problema: Min (max) FO = f(x) s.a. restrições com ambigüidade. sendo: max = maximização min = minimização FO = função objetivo s.a. = sujeito a f(x) = função objetivo (linear ou não-linear) ou seja, determinação de solução ótima (maximização ou minimização) de um problema com restrições. Funções objetivos e restrições são flexíveis. Conceitos Básicos e Formulação Geral Funções objetivos e restrições podem ser expressas pelos conjuntos nebulosos G e C, respectivamente. Funções de pertinência: µ G (x) Função objetivo µ C (x) Restrições. neste caso, o conjunto de decisão nebuloso D pode ser definido por: D = C G µ D (x) = µ C (x) µ G (x). sendo: = operador min. D = 1

66 Isto significa que deve satisfazer tanto as restrições, assim como as funções objetivos. A função de pertinência do conjunto de decisão nebulosa D, µ D (x), expressa o grau (ou margem) que a solução se encontra em D. Se µ D (x) < µ D (x ) (sentido maximização), então, x é uma melhor decisão de x. Deste modo, pode-se selecionar x* tal que: max µ D (x) = max µ C (x) µ G (x) = µ C (x*) µ G (x*) (1) x x sendo: x* = solução ótima (maximização). A decisão maximizada é definida por operações max e min. Assume-se que existem dois conjuntos nebulosos µ 1 (x) e µ 2 (x), e funções f e g que combinam µ 1 e µ 2 com AND e OR definidas como f e g: [0,1] x [0,1] [0,1], mais especificamente: (µ 1 AND µ 2 ) (x) = f(µ 1 (x), µ 2 (x)) (associada ao operador min) (µ 1 OR µ 2 ) (x) = g(µ 1 (x), µ 2 (x)) (associada ao operador max) Por simplicidade de notação, fazem-se µ 1 (x) = α e µ 2 (x) = β. Por conseguinte, as funções f e g são expressas como f(α,β) e g(α,β). Axiomas para f e g (Axioma = Premissa imediatamente evidente que se admite como universalmente verdadeira sem exigência de demonstração). (1) f e g são funções contínuas e não-descendentes (2) f e g são simétricas para α e β: f(α,β) = f(β, α) e 2

67 g(α,β) = g(β, α) (3) f(α,α) e g(β,β) são funções estritamente crescentes (4) f(α,β) < min[α,β] e g(α,β) > max [α,β] (5) f(1,1) = 1 e g(0,0) = 0 (6) {µ 1 AND (µ 2 OR µ 3 )}(x) = {(µ 1 AND µ 2 ) OR (µ 1 AND µ 3 )}(x). Teorema. As funções f e g que satisfazem os Axiomas (1) (6) são limitadas para: f(µ 1,µ 2 ) =µ 1 µ 2, e g(µ 1,µ 2 ) = µ 1 µ 2, O problema de maximização (1) pode ser transformado no seguinte problema de maximização, através do uso de conjuntos α-cortes: sup µ D (x) = sup [ α sup µ G (x)] (2) x α [0,1] x Cα sendo: Cα = {x µ C (x) > α} Se α 1 < α 2, tem-se: sup µ G (x) > sup µ G (x) x Cα 1 x Cα 2 isto porque: Cα 1 Cα 2. Fazendo-se: sup µ G (x) = φ(α) x Cα se a função φ(α) for contínua para α, a função α* é obtida de: α* = φ(α*). 3

68 se φ(α) é contínua, então, tem-se o seguinte problema de otimização: sup µ G (x), µ C (x) > µ G (x) (3) x para o problema (2). Reduz-se, portanto, a um problema standard de programação matemática que não inclui o operador lógico. O conjunto nebulosos C é um conjunto nebulosos fortemente convexo, se e somente se a seguinte relação for observada: µ C (λ x + (1 - λ) y) > µ C (x) µ C (y); λ [0,1]. Se a função φ(α) é contínua, o problema de programação matemática nebulosa pode ser resolvido através da obtenção de α* tal que: α = sup µ G (x) x Cα. Algoritmo (1) k é estabelecido para k = 1 (2) calcule µ G k (x*) = max µ G (x) x Cα k. (3) se ε k = α k - µ G k (x*) > ε, vá para o passo (4), e se ε k < ε, vá para o passo (5). (4) faça: α k+1 = a k - r k ε k e k = k +1 e vá para o passo (2), sendo: r k é escolhido (arbitrado) tal que: 4

69 0 < α k+1 < 1 seja observado. (5) faça: α* = α k, encontre x* tal que: max µ G (x) = µ G (x*) x Cα k e finalize o processo. No algoritmo anterior, Passo (2), a solução é encontrada através de programação matemática convencional. Programação Linear Nebulosa PL (Programação Linear) nebulosa usando desigualdades nebulosas. Um problema de PL pode ser expresso por: min ou max FO = < c, x > s.a: A x < b X > 0 sendo: <.,. > = produto interno. Em termos da lógica nebulosa, este problema pode ser formulado do seguinte modo: < c, x > = c T x < z, A x ~ < b, x > 0, ~ sendo: < = é uma desigualdade nebulosa; ~ Exemplos: A x é uma expressão em torno de b ou menor e c T x é uma expressão em torno de z ou menor. 5

70 Programação Linear Nebulosa Problemas de PL nebulosa usando desigualdades O problema: Funções objetivos / restrições são dadas pelo seguinte sistema: min z = c T x s.a c T x s.a A x < b x > 0. < z ~ A x x > 0. < b ~ PL nebuloso sendo: c T x em torno de z ou menor (about z or less) A x em torno de b ou menor (about b or less). As funções objetivos e restrições são expressas por inequações da seguinte forma: B x < b B = matriz A aumentada (inclusão das linhas das funções objetivos). A i-ésima inequação em torno de b i ou menor é definida através das seguintes funções de pertinência: 6

71 µ i ([Bx] i ) = 1, para [Bx] i < b i 0 < µ i ([Bx] i ) < 1, para b i < [Bx] i < b i + d i µ i ([Bx] i ) = 0, para [Bx] i > b i + d i sendo: µ i = função de pertinência da i-ésima inequação di = valor máximo possível do lado direito da desigualdade (constante escolhida considerando-se as violações admissíveis). O problema de decisão maximizada: max µ D (x) = max µ C (x) µ G (x) = µ C (x*) µ G (x*) x x associado ao min {µ CG (x)} min{[bx]} consiste em encontrar x tal que: max min { µ i ([Bx] i ) } (4) x > 0 i sendo: µ i ([Bx] i ) = 1, para [Bx] i < b i µ i ([Bx] i ) = r i [Bx] i + s i = 1 ([Bx] i - b i ) / d i, b i < [Bx] i < b i + d i µ i ([Bx] i ) = 0, para [Bx] i > b i + d i NB.: fazendo-se: r i (b i ) + s i = 1 r i (b i +d i ) + s i = 0 r i (b i ) + s i = 1 -r i (b i +d i ) - s i = 0 (+) r i (b i - b i - d i ) = 1 7

72 r i = - 1/ d i s i = 1 - r i b i s i = 1 + b i / d i então: r i [Bx] i + s i = - [Bx] i / d i b i / d i = 1 ([Bx] i b i ) / d i Fazendo-se a normalização das equações: b i = b i / d i, [B ] ij = [B] ij / d i e considerando-se que as restrições são lineares, o problema (4) torna-se: max min {b i [B x] i } (5) x > 0 i Este problema (equação (5)) é equivalente ao seguinte problema de PL padrão (standard): max λ (6) λ < b i - [B x] i para i = 1,2,3,..., m. 8

73 NB.: fazendo-se: µ = r [Bx] + s r (b) + s = 0 r (b+d) + s = 1 -r (b) - s = 0 r (b + d) + s = 1 (+) r (b + d - b) = 1 r = 1/ d s = - r b s = - b / d então: µ = ([Bx] b) / d µ i ([Bx] i ) = 0, para [Bx] i < b i µ i ([Bx] i ) = r i [Bx] i + s i = ([Bx] i - b i ) / d i, b i < [Bx] i < b i + d i µ i ([Bx] i ) = 1, para [Bx] i > b i + d i 9

74 max min { µ i ([Bx] i ) } x > 0 i sendo: µ i ([Bx] i ) = 1, para [Bx] i < b i µ i ([Bx] i ) = r i [Bx] i + s i = 1 ([Bx] i - b i ) / d i, b i < [Bx] i < b i + d i µ i ([Bx] i ) = 0, para [Bx] i > b i + d i max λ (6) λ < b i - [B x] i para i = 1,2,3,..., m. 10

75 max min { µ i ([Bx] i ) } x > 0 i sendo: µ i ([Bx] i ) = 0, para [Bx] i < b i µ i ([Bx] i ) = r i [Bx] i + s i = ([Bx] i - b i ) / d i, b i < [Bx] i < b i + d i µ i ([Bx] i ) = 1, para [Bx] i > b i + d i max λ (6) λ < b i + [B x] i para i = 1,2,3,..., m. 11

76 Exemplo: PL standard (Problema de transporte: 4 caminhões trucks) Min z = x x x x 4 x sa: 0,84 x 1 + 1, 44 x 2 + 2,16 x 3 + 2,4 x 4 > x x x x 4 > 1300 x 1 > 6 Solução via PL convencional: x 1 * = 6 x 2 * = 17,85 x 3 * = 0 x 4 * = 58,64 z* = (função objetivo). Considerando-se, agora, a ambigüidade das restrições e os dados apresentados na seguinte tabela: Item Restrição Restrição não-nebulosa nebulosa d µ = 0 µ = 1 FO ª restrição ª restrição ª restrição

77 1 a restrição: about 170 or more, µ 1 (170) = 0 2 a restrição: about 1300 or more, µ 1 (1300) = 0 3 a restrição: about 6 or more, µ 1 (6) = 0 λ < b i + [B x] i ( para ss restrições 1, 2 e 3) 1 a restrição: b 1 = 170, d 1 =10 b 1 =170 / 10 = 17 λ < (0,84 x1 + 1,44 x2 + 2,16 x3 + 2,40 x4) / 10 λ < ,084 x1 + 0,144 x2 +0,216 x3 + 0,240 x4 2 a restrição: b 2 = 1300, d 2 = 100 b 2 = 1300 / 100 = 13 λ < ,16 x1 + 0,16 x2 +0,16 x3 + 0,16 x4 3 a restrição: b3 = 6, d3 = 6 b 3 = 6 / 6 = 1 λ < ,167 x1 Função objetivo: b 0 = , d 0 = b 0 = / = 8,4 λ < b 0 - [B x] 0 (para a função objetivo) λ < 8,4 0,083 x1-0,0886 x2-0,096 x3 0,098 x4 x > 0. 13

78 Solução convencional Solução do Problema PL X 1 = 6 X 1 = 17,41 X 2 = 17,85 X 2 = 0 X 3 = 0 X 3 = 0 X 4 = 58,65 X 4 = 66,54 Valor para as restrições Solução nebulosa Valor para as restrições , , , ,4 FO = FO = ,7% maior do que a solução standard. 14

79 Universidade estadual Paulista UNESP Campus de Ilha Solteira Programa de Pós-Graduação em Engenharia Elétrica Disciplina: Lógica Nebulosa Representação do Conjunto de Regras via Matriz Fuzzy Carlos Roberto Minussi Ilha Solteira-SP, agosto-2009.

80 Representação do Conjunto de Regras Via Tabela ou Matriz Exemplo: Considere o estado de um sistema representado por:. x = [ e e ] T e a variável de controle u. Então, pode-se compor uma tabela / matriz que contemple o conjunto de regras do tipo:. If e é A and e é B, then u é C. Quadro 1. Conjunto de Regras.. e e ZE PM PP ME PG NG ZE PG ZE PG indexador NP PG NG NG NP PP ZE NG NP PP PP PG PP PG PG PP PG NG PP indexador variáveis lingüísticas referentes à variável de controle. ou seja, por exemplo:. If e é PP and e é NP, then u é NG sendo: NG = Negativo Grande; NP = Negativo Pequeno; ZE = Próximo de Zero; PM = Positivo Muito pequeno; PP = Positivo Pequeno; ME = Médio; PG = Positivo Grande.

81 Geração Automática de Base de Regras A base de regra é estabelecida, basicamente, de duas formas: através da experiência via métodos automáticos (mais usuais): simulação numérica (plano de fase dividido em em várias células, sendo que em cada célula tem-se o conhecimento do estado do sistema (informações quantitativas e qualitativas) que permite estabelecer a base de regras; L mn = sendo: E 1m x E 2m L mn = região finita no espaço de estado E 1m e E 2m = m-ésimo subintervalos de x1 e x2, respectivamente. Relações transicionais: (u 11,u 21 ): L 11 L 12 (u 11,u 22 ): L 11 L (u 13,u 21 ): L 11 L 11 sendo: u1 e u2 = entradas.

82 Exemplo: sistema dinâmico:. x1 =. x2 x2 = k1 k2 sen(x1) sendo: k1, k2 > 0. Plano de fase. redes neurais artificiais - rede retropropagação - rede de Kohonen Grid de Kohonen. ZE PG ZE PG ZE PG NG NG NP PP ZE NG NP PP ZE PG NP PP PG PG NP PP PG NG PP

83 Rede Neural de Kohonen A rede de Kohonen é uma rede neural não-supervisionada de mapeamentos auto-organizável, conforme mostrada na Figura 1. É composta por um reticulado (grade) bi-dimensional e um conjunto de vetores pesos, fixado inicialmente considerando-se valores aleatórios compreendidos entre 0 e 1, w j = [ w 1j w 2j... w nj ] T, 1 = 1,..., nn, e x = [ x 1 x 2... x n ] T um vetor de entrada, sendo nn o número de neurônios sobre a grade da rede neural. Trata-se, portanto, de um mapeamento de R n em R 2. Figura 1. Estrutura da rede neural de Kohonen. Cada neurônio sobre a grade está conectado a entrada da rede, através do vetor de entrada, conforme é mostrado na Figura 2. Figura 2. Conexão do vetor padrão de entrada x com o j-ésimo neurônio da rede de Kohonen.

84 Deste modo, a saída y j (atividade do j-ésimo neurônio) pode ser calculado da seguinte forma: y j = < w j, x> (1) sendo: y j = atividade (saída) do j-ésimo neurônio sobre a grade de Kohonen; w j = [ w 1j w 2j... w nj ] T x = [x 1 x 2... x n ] T NB: Kohonen propôs esta rede baseada na regra de aprendizado de Hebb (Donald Hebb). Propôs, por conseguinte, um procedimento sistemático e simplificado do método de Hebb; o aprendizado é similar ao que ocorre no cérebro (neo-cortex cerebral). O treinamento (ou aprendizagem) é um processo através do qual os parâmetros de uma rede neural artificial são ajustados utilizando uma forma contínua de estímulos. No caso do treinamento por competição, dado um estímulo à rede (vetor de entrada), as unidades de saída disputam entre si para serem ativadas. O neurônio vencedor terá seus pesos atualizados no treinamento. A forma mais extrema de competição entre neurônios é chamada o vencedor leva tudo (winner take all). Como o próprio nome sugere, apenas um neurônio terá sua saída ativada. Já o mapeamento autoorganizável, proposto por Kohonen, que organiza os dados de entrada em agrupamentos (clusters), corresponde a um tipo de treinamento competitiva e não-supervisionada. Nesta forma de treinamento, as unidades que atualizam seus pesos, o fazem formando um novo vetor peso que é uma combinação linear dos pesos antigos e o atual vetor de entrada. O método consiste na adaptação de pesos da rede neural como mostrado na Figura 3 em que os vetores x e w encontram-se normalizados (comprimentos unitários). Considera-se um determinado vetor de pesos w(h) correspondente ao tempo discreto h. O novo valor w(h+1) pode ser encontrado da seguinte forma: w(h+1) = w(h) + α (x w(h) ). (2) sendo: α = taxa de treinamento (0 < α < 1); h = índice de atualização.

85 decrescente. A taxa de treinamento α pode ser um valor constante ou uma função Figura 3. Regra de adaptação de pesos da rede de Kohonen. O comprimento do vetor w, em cada atualização, será menor do que 1. Portanto, após cada adaptação de pesos, há necessidade de uma nova normalização do vetor de pesos. O neurônio vencedor é escolhido como sendo aquele que apresentar maior atividade (y) sobre a grade de Kohonen, ou seja: NV = ou: = max {<w i, x>} (3) i min { x w i } (4) i sendo: NV = neurônio vencedor;. = norma Euclidiana. Ao neurônio vencedor (Equação 3), atribui-se índice k. Deve-se observar que, quando os vetores w i e x encontram-se normalizados (comprimentos unitários), as indicações do neurônio vencedor, através do máximo produto interno (Equação 3), ou através da mínima distância (Equação 4), são rigorosamente as mesmas, ou seja, estes dois procedimentos são equivalentes. Usando-se, então, a regra de adaptação, Kohonen

86 propôs que o ajuste da rede neural em que os pesos são ajustados considerando-se vizinhanças em torno do neurônio vencedor, como mostrado na Figura 4, sendo: NC k (S i ) = vizinhança do neurônio vencedor k, referente à região S i, em que S 1 (contido) S 2 S 3. Figura 4. Vizinhanças (quadradas) do neurônio vencedor. Na Figura 5 são mostrados alguns tipos mais freqüentes de vizinhanças encontrados na literatura especializada. Figura 5. Tipos de vizinhanças mais utilizadas. Algoritmo (conceitual) Básico Passo 1. Iniciar os pesos da rede de Kohonen entre a entrada e a grade de Kohonen. Estes pesos podem ser gerados randomicamente com valores compreendidos entre 0 e 1.

87 Passo 2. Normalizar os vetores de pesos. Passo 3. Normalizar todos os vetores padrões de entrada. Passo 4. Apresentar um novo vetor padrão de entrada. O conjunto de vetores padrões contém M vetores). Passo 5. Calcular a distância ou o produto interno para todos os neurônios sobre a grade de Kohonen. Passo 6. Encontrar o neurônio vencedor (Equação 3 ou 4). Designe o neurônio vencedor pelo índice k. Passo 7. Adaptar os vetores pesos do neurônio vencedor e dos demais neurônios contidos na vizinhança escolhida (vide Figura 4). w i (h+1) = w i (h)+ α (x w i (h)), para i NC k. (5) w i (h+1) = w i (h), para i NC k. Passo 8. Renormalisar todos os vetores de pesos adaptados no passo 7. Este procedimento se faz necessário tendo em vista que o vetor peso, após a adaptação, não possui comprimento unitário, sendo portanto, necessário torná-lo (com comprimento unitário). Passo 9. Retornar ao Passo 2. Este procedimento deve ser repetido, considerando-se NB: um número fixo de ciclos de adaptação, ou até que as variações (módulos) dos pesos sejam inferiores a uma certa tolerância preestabelecida. No algoritmo anterior, um ciclo de adaptação é concluído após ter sido apresentado (p) todos os vetores padrões ( x, p = 1, 2,..., M, sendo M = número de vetores padrões).

88 A ordem de entrada dos vetores pode ser natural (ordem em que são fornecidos para a leitura) ou aleatória. Ressalta-se que a ordem aleatória proporciona melhores resultados, se comparada à ordem natural. A auto-organização se dá à medida que aumente o número de ciclos de adaptação. Treinamento lento. Aumento da velocidade de treinamento: Uso do conceito de consciência ([1]); Uso de lógica nebulosa ([4]). Referências Bibliográficas [1] DeSieno, D. Adding a Conscience to Competitive Learning, IEEE International Conference Neural Networks, San Diego, CA, 1987, vol. 1, pp [2] Kohonen, T. Self-organization and Associative Memory, Springer-Verlag, 2 nd Edition, Berling, Germany, [3] Kohonen, T. Self-organizing Map, Proceedings of IEEE, 1990, pp , vol 78, no. 09. [4] Terano, T.; Asai, K. and Sugeno, M. Fuzzy Systems Theory and its Application, Academic Press, New York, USA, 1987.

89 Sistemas Neuro-nebulosos Geração da base de regras nebulosas Interações Redes Neurais Lógica Nebulosa Atuação como técnica (ou auxílio) de ajuste de pesos na fase de treinamento W k+1 = W k + W k 1

90 1. Geração de Funções de Pertinência Usando Redes Neurais Deve-se usar algum método de clusterização (formação de clusters) e.g., a rede neural de Kohonen, rede neural ART. clusters Rede Neural Retropropagação (texto anexo) Exemplo: R 2 R 3 ( X 1, X 2 ) (entrada) ( R 1, R 2, R 3 ) (saída), a, b e c (0, 1) 2

91 Método de Desfuzificação Fases (da rede neural): 1) treinamento 2) testes / análise. Treinamento Entrada: X 1 0,7 0, X 2 0,8 0, Saída: R R R

92 Testes / Análise Por exemplo o ponto (0,5; 0,5):... if X 1 AND X 2, then,... Desfuzificação 4

93 Lógica Nebulosa para Auxílio do Treinamento da Rede- Neural Técnica Retropropagação: Treinamento supervisionado (estímulos de entrada / de saída) 5

94 Ajuste de pesos retropropagado (Gradiente descendente) V k+1 = V k + ( γ k ) sendo: k V = índice do processo iterativo; = vetor de pesos; 6

95 γ = função gradiente; = taxa de treinamento. O algoritmo Retropropagação (RP) consiste na adaptação de pesos, tal que, é minimizado o erro quadrático da rede. A soma do erro quadrático instantâneo de cada neurônio alocado na última camada (saída da rede) é dada por: ε 2 ns = i = 1 2 ε i (1) sendo: ε i = d i y i ; d i = saída desejada do i-ésimo elemento da última camada da rede; y i = saída do i-ésimo elemento da última camada da rede; ns = número de neurônios da última camada da rede. Considerando-se o neurônio de índice i da rede, e utilizando-se o método do gradiente descendente, o ajuste de pesos pode ser formulado como: sendo: V i (h+1) = V i (h) + θ i (h) (2) θ i (h) = γ [ i (h)] (3) γ h = parâmetro de controle da estabilidade ou taxa de treinamento; = representa o índice de iteração; i (h) = gradiente do erro quadrático com relação aos pesos do neurônio i avaliado em h; V i = vetor contendo os pesos do neurônio i = [ w 0i w 1i w 2i... w ni ] T. 7

96 Na equação (3) a direção adotada para minimizar a função objetivo do erro quadrático corresponde à direção contrária ao gradiente. O parâmetro γ determina o comprimento do vetor [θ i (h)]. A função sigmóide é definida por: y i = {1 exp ( λ s i )} / {1 + exp ( λ s i )} (4) ou y i = 1 / {1 + exp ( λ s i )} (5) sendo: λ = constante que determina a inclinação da curva y i O algoritmo RP é abordado na literatura sob várias formas com o propósito de torná-lo mais rápido computacionalmente. Uma formulação bastante interessante é o algoritmo RP com momento. Então, efetuando-se o cálculo do gradiente como indicado na equação (3), considerando-se a função sigmóide definida pela equação (4) ou (5) e o termo momento, obtém-se o seguinte esquema de adaptação de pesos: v ij (h+1) = v ij (h) + v ij (h) (6) sendo: v ij (h) = 2 γ (1 η) β j x i + η v ij (h-1); (7) v ij γ = peso correspondente à interligação entre o i-ésimo e j-ésimo neurônio; = taxa de treinamento; 8

97 η = constante momento (0 η < 1). Se o elemento j encontrar-se na última camada, então: β j = σ j ε j (8) em que: σ j = derivada da função sigmóide dada pela equação (4) ou (5), respectivamente, com relação a s j 2 = 0,5 λ (1 y j ) (9) = λ y j (1 y j ). (10) Se o elemento j encontrar-se nas demais camadas, tem-se: β j = σ j w jk β k (11) k R(j) sendo: R(j) = conjunto dos índices dos elementos que se encontram na fileira seguinte à fileira do elemento j e que estão interligados ao elemento j. O parâmetro γ serve como controle de estabilidade do processo iterativo. Os pesos da rede são iniciados randomicamente considerando-se o intervalo {0,1}. O treinamento, via RP, pode ser efetuado, basicamente, de duas formas: Procedimento 1. Consiste em ajustar os pesos da rede (considerandose todas as camadas), fazendo-se com que haja convergência para cada padrão, até que se complete o conjunto de padrões de entrada. O processo deverá ser repetido até a total 9

98 convergência, i.e., o erro quadrático seja inferior a uma tolerância preestabelecida para os padrões considerados. Procedimento 2. Este procedimento é idêntico ao primeiro, porém, fazendo-se somente uma iteração (ajuste de pesos) por padrão. O algoritmo retropropagação é considerado, na literatura especializada, um referencial em termos de precisão. Contudo, a sua convergência é bastante lenta. Deste modo, a proposta deste trabalho é o ajuste da taxa de treinamento γ durante o processo de convergência, visando a redução do tempo de execução do treinamento. O ajuste de γ é efetuado via procedimento baseado em um controlador nebuloso. A idéia básica da metodologia consiste na determinação do estado do sistema definido como sendo o erro global εg e a variação do erro global εg, cujo objetivo é a obtenção de uma estrutura de controle que consiga com que o erro tenda para zero em um número reduzido de iterações, se comparado ao RP convencional. O controle, neste trabalho, é formulado usando os conceitos de lógica nebulosa. O erro global εg e sua variação εg são os componentes do estado do sistema, e γ é a ação de controle que deve ser exercida no sistema. Inicialmente, define-se o erro global: np ns 2 εg = ε i (12) j = 1 i = 1 sendo: εg = erro global da rede neural; np = número de vetores padrões da rede. O erro global corresponde ao cálculo de erros de todas as saídas (neurônios de saída), considerando-se todos os vetores padrões da rede. O treinamento deve ser executado utilizando o procedimento 2 (uma iteração por padrão). O erro global é calculado em cada iteração e ajustado o parâmetro γ, através de um acréscimo γ determinado via lógica nebulosa. Este parâmetro será utilizado para ajustar o conjunto de pesos da rede referente à iteração subseqüente. O estado do sistema e a ação de controle são assim definidos: 10

99 E k = [εg k εg k ] T (13) u k = γ (14) sendo: k = o índice que indica a iteração corrente. O processo deverá, então, ser repetido até que o treinamento seja concluído. Trata-se de um procedimento bastante simples cujo sistema de controle requer um esforço adicional bastante reduzido, tendo em vista que o controlador possui duas variáveis de entrada e uma única de saída. Esta abordagem é uma versão da proposta apresentada na referência Arabshahi et al. (1996), ou seja, utilizando-se as mesmas variáveis εg e εg para efetuar o controle. Contudo, a proposta do controlador nebuloso é original. Lógica Nebulosa Lógica nebulosa é uma forma matemática para representação de definições vagas. Conjuntos nebulosos são generalizações da teoria de conjunto convencional. Contém objetos que contemplam imprecisão no referido conjunto. O grau de pertinência é definido por um valor da função de pertinência a qual tem valores compreendidos entre 0 e +1. Deste modo, a seguir são apresentados os principais conceitos sobre lógica nebulosa. Definição 1. Considere uma coleção de objetos Z. Então, um conjunto nebuloso A em Z é definido como sendo o conjunto de pares ordenados: A = {(z,µ A (z)) z Z} (15) sendo: µ A (z) = valor da função de pertinência do conjunto nebuloso A correspondente ao elemento z. 11

100 Operações semelhantes a AND, OR e NOT são alguns dos mais importantes operadores de conjuntos nebulosos. Supondo-se que A e B são dois conjuntos nebulosos com funções de pertinências designadas por µ A (z) e µ B (z), respectivamente, então, tem-se Operador AND ou interseção de dois conjuntos. A função de pertinência da interseção destes dois conjuntos nebulosos (C = A B) é definida por: µ C (z) = min {µ A (z), µ B (z)}, z Z (16) b) Operador OR ou união entre dois conjuntos. A função de pertinência da união destes conjuntos nebulosos (D = A B) é definida por: µ D (z) = max{µ A (z), µ B (z)}, z Z (17) c) Operador NOT ou o complemento de um conjunto nebuloso. A função de pertinência do complemento de A, A é definida por: d) µ A (z) = 1 µ A (z), z Z (18) 12

101 d) Relação Nebulosa. A função nebulosa R de A em B pode ser considerada como um grafo nebuloso e é caracterizada pela função de pertinência µ R (z,y), a qual satisfaz a seguinte regra de composição: µ B (z) = max { min [µ R (z,y), µ A (z)]} (19) z Z O controle nebuloso é um mecanismo constituído, basicamente, de três partes: nebulização que converte variáveis reais em variáveis lingüísticas; inferência que consiste em manipulação de base de regras utilizando declarações if-then e, ainda, operações nebulosas, como definidas anteriormente (equações (15) (19)) e desnebulização que converte o resultado obtido (variáveis lingüísticas) em variáveis reais, as quais constituem a ação de controle. As funções de pertinência nebulosas podem ter diferentes formas, tais como triangular, trapezoidal e gaussiana, de acordo com a preferência / experiência do projetista. O método mais comum de desnebulização é o método de centro de área (centróide) que encontra o centro da gravidade da solução dos conjuntos nebulosos. Para um conjunto nebuloso discreto tem-se (Arabshahi et al., 1996; Terano et al., 1991): n n u = { µ i δ i } / { µ i } (20) i = 1 i = 1 sendo: δ i = valor do conjunto que possui um valor de pertinência µ i ; 13

102 n = número de regras nebulosas. O valor u calculado pela equação (20) corresponde a projeção do centro de inércia da figura definida pelo conjunto de regras sobre o eixo da variável de controle. Cada variável de estado deverá ser representada entre 3 e 7 conjuntos nebulosos. A variável de controle também deverá ser representada com o mesmo número de conjuntos nebulosos. A variável εg deverá ser normalizada, considerando-se como fator de escala o primeiro erro global gerado pela rede, ou seja, de índice k = 0. Com esta representação, o intervalo de variação de εg deverá estar compreendido entre 0 e +1. Se a heurística de adaptação estiver devidamente sintonizada, a convergência do processo deverá ser exponencial decrescente. A variável εg deverá variar entre 1 e +1. Se o processo de convergência for exponencial decrescente os valores de εg deverão ser sempre negativos. Neste caso, embora a escala de εg varie entre 1 e +1, deve-se empregar, no conjunto de regras, um ajuste fino entre 1 e 0. No outro intervalo, o ajuste poderá ser mais relaxado. (a) funções de pertinência para o erro global εg. (b) funções de pertinência para a variação do erro global εg. (c) funções de pertinência para a ação de controle γ. Figura 1. Funções de pertinência para as variáveis εg, εg e γ (ação de controle). em que: NG = Negativo Grande; NP = Negativo Pequeno; ZE = Próximo de Zero; PM = Positivo Muito pequeno; 14

103 PP = Positivo Pequeno; ME = Médio; PG = Positivo Grande; lu = limite de variação de γ. As funções de pertinência dos conjuntos nebulosos para várias variáveis envolvidas no treinamento da rede neural com RP com controlador nebuloso são mostradas na Figura 1. No controlador nebuloso, as regras são codificadas na forma de uma tabela de decisões. Cada entrada representa o valor da variável nebulosa γ dados os valores do erro global εg e variação do erro global εg. O parâmetro γ deve ser arbitrado inicialmente em função de λ (inclinação da função sigmóide). Da mesma forma, as variações de γ também devem seguir o mesmo procedimento. Deste modo, o parâmetro lu deve ser ajustado para atender as especificações de cada problema e em função de λ. Na Tabela 1 (por exemplo) é apresentado o conjunto de regras nebulosas, totalizando 25 regras. Deste modo, tomando-se como exemplo o caso em que εg = PM e εg = NG (correspondente à coluna 2 e linha 1 da parte da tabela não sombreada), a regra é a seguinte: If εg é PM and εg é NG, then γ é PG. As demais regras seguem esta convenção. Tabela 1. Regras do controlador nebuloso. εg εg ZE PM PP ME PG NG ZE PG ZE PG ZE NP PG NG NG NP PP Se εg é PP e εg é NP, então, γ é NG ZE ZE NG NP PP PG PP PG NP PP PG NG 15

104 PG ZE PP PG NG PP O número de regras poderá ser aumentado visando melhorar o desempenho da rede no treinamento. A derivada σ tem forte semelhança com a curva de distribuição normal (de Gauss). Constitui-se de um corpo central e suas laterais designadas, como forma de simplificação, caudas esquerda e direita. Nota-se que a diminuição de λ produz uma suavização na função sigmóide y(s), enquanto que sua derivada σ tende a diminuir a amplitude da curva e alongar as caudas. No algoritmo retropropagação, a adaptação de pesos, que concorrem a cada neurônio, é efetuada utilizando-se, basicamente, o erro propagado no sentido inverso, multiplicado por σ e pela entrada no referido neurônio. Deste modo, os pesos têm efetivo ajuste somente para valores de s situados no corpo central da função σ. À medida que os pesos se tornarem significativos, há desaceleração dos ajustes dos mesmos, tendendo para a completa paralisia, justamente onde se encontram os terminais das caudas tanto direita como esquerda. Em vista disto, no caso específico do problema de determinação de tempos críticos, utiliza-se a função sigmóide com λ relativamente pequeno, proporcionando caudas mais longas. Isto permitirá a escolha de pesos da rede de forma menos restritiva, se comparada às adotadas na bibliografia, que de certo modo diminui a possibilidade da ocorrência de paralisia e aumenta a velocidade de convergência do algoritmo RP. Porém, com a diminuição de λ, a magnitude dos pesos tende a crescer. Por conseguinte, a escolha de λ deve ser feita com critério, levando-se em conta a experiência com treinamento. O parâmetro γ (taxa de treinamento), por conveniência, pode ser redefinido do seguinte modo: γ = (2 γ* / λ) (para sigmóide definida pela equação (4)); (21) ou γ = (γ* / λ) (para sigmóide definida pela equação (5)). (22) 16

105 Substituindo-se as expressões de γ (equações (21) e (22)) na equação. (7), será anulada a dependência da amplitude de σ com relação a λ. A amplitude de σ será mantida constante para qualquer valor de λ. Esta alternativa torna-se mais importante tendo em vista que λ atuará somente nas caudas esquerda e direita de σ. Assim, arbitrando-se um valor inicial para γ*, este parâmetro será ajustado via controlador nebuloso, substituindo-se γ por γ*. Assim, o parâmetro γ* é determinado usando um controlador nebuloso. Podese, ainda, uma estratégia que procure evitar que γ* sature ao longo do processo iterativo, ou seja: γ * k = exp ( α k ) ψ k (23) sendo: α = número arbitrário positivo; ψ q = variação produzida pelo controlador nebuloso no instante discreto k. Por exemplo: ( ψ, γ* ) γ* ψ Obtida via controle nebuloso γ * k = exp ( α k ) ψ k parâmetro nebuloso amortecido Prioridade (primeiras iterações) Figura 2. Comportamento de ψ e γ *. 17

106 Referências Arabshahi, P.; Choi, J. J.; Marks II, R. J. and Caudell, T.P. (1996). Fuzzy parameter adaptation in optimization, IEEE Computational Science & Engineering, Spring, pp Fine, T.L. (1999). Feedforward neural network methodology, Springer-Verlag, 1999, USA. Lopes, M. L. M. e Minussi, C. R. Treinamento de redes neurais via Retropropagação com controlador nebuloso, XIII Congresso Brasileiro de Automática, Setembro-200, Florianópolis-SC, pp Terano, T.; Asai, K. and Sugeno, M. (1991). Fuzzy systems theory and its applications, Academic Press, USA. Werbos, P. J. (1974). "Beyond regression: New tools for prediction and analysis in the behavioral sciences, Master Thesis, Harvard University. Widrow, B.; Lehr, M.A. (1990). 30 years of adaptive neural networks: perceptron, madaline, and backpropagation, Proceedings of the IEEE, pp , Vol. 78, n o 9. 18

107 Universidade estadual Paulista UNESP Campus de Ilha Solteira Programa de Pós-Graduação em Engenharia Elétrica Disciplina: Lógica Nebulosa Controlador Takagi-Sugeno Carlos Roberto Minussi Ilha Solteira-SP, agosto-2009.

108 Controlador Takagi-Sugeno A concepção de controle nebuloso, anteriormente apresentada, é comumente conhecida como controlador Mamdani [5] (em homenagem à primeira publicação na literatura sobre o controlador fuzzy); Existem concepções mais modernas, e.g., os controladores Takagi-Sugeno (T-S) [1], [4]; Os controladores T-S apresentam duas principais vantagens sobre os controladores Mamdani: 1. o processo de defuzzificação é mais fácil e mais rápido. Portanto, os controladores T-S são mais apropriados para aplicações em tempo real; 2. os controladores T-S envolvem somente aprendizado paramétrico, enquanto que os controladores Mamdani necessitam, também, do aprendizado estrutural. Este processo consiste na obtenção de uma função complexa, via técnica de aprendizado, baseada em regras nebulosas (e.g., redes neurais, mais especificamente, os sistemas neuro-fuzzy); Um sistema complexo (representado por equação não-linear) pode ser dividido por um conjunto de modelos matemáticos locais (aproximações locais). Trata-se, por conseguinte, de um algoritmo que cria modelos matemáticos que aproximam, localmente, a função a ser aprendida; Tais aproximações podem ser: (1) não-lineares e (2) lineares. As aproximações lineares (vide Figura 1) são as mais empregadas na literatura especializada; Deve-se ressaltar que estas aproximações lineares não devem ser confundidas com tangentes à curva a ser determinada. Tratam-se de aproximações que buscam garantir uma melhor representação da função, considerando-se a estabilidade do controlador. 1

109 Figura 1. O problema consiste no ajuste dos parâmetros de cada seguimento linear que minimize a distância entre a reta e a curva a ser aprendida; O modelo de T-S pode ser implementado via uso de redes neuro-nebulosas, e.g., rede neural retropropagação, etc.; Técnica alternativa de T-S: T-S-K (Takagi_Sugeno_Kang) [2] generalização do controlador T-S; Os controladores de T-S consistem de regras da forma (representação linear): Figura 2. R i i : se x 1 é A 1 i e x2 é A 2... e xn é A i n, então, y i = p i 0 + p 1 x 1 + p i 2 x p i n x n i (1) 2

110 sendo: R i x j i A j y i i p j = i-ésima regra nebulosa; = j-ésima variável de entrada; i = i-ésimo conjunto fuzzy associado à variável x j. Os A j são conjuntos caracterizados, e.g., por triângulos, tais como abordados anteriormente funções de pertinência; = variável de saída da i-ésima regra; = valor (ganho) real. Estes parâmetros deverão ser identificados. Se y i = p 0 i (pj 0 i = 0, para j > 1), o sistema (1) corresponde ao controlador ordem-zero. Formato baseado na equação de estado: R i : se x 1 é A 1 i e x2 é A 2 i... e xn é A n i, então,. x = [P] x + [Q] u y = [M] x + [N] u sendo: M, N, P e Q são matrizes; y = saída; x = estado; u = controle. Se as funções de pertinência forem triangulares, então: A j i = Máx i 2 x a j j 1, 0 i b j ou seja, cada termo lingüístico, para cada variável A i i j, é descrita por dois parâmetros a j e b i j ; 3

111 sendo: a i j e b i j = coeficientes que devem ser determinados por algum método, e.g., via redes neurais (formulação por um problema de otimização), LMI (Linear Matrix Inequality) [3], [4]. Se i = j i A j, a saída final y é dada por: y = m i i μ y i 1 m i μ i 1 (processo de defuzzificação). A saída de cada regra é um valor real; O número de regras é determinado pelo usuário. Um exemplo (aproximação linear ) é mostrado na Figura 3. Tratam-se de trechos superpostos relacionados à transferência de entrada e saída, e os conseqüentes (partes ENTÃO) definem aproximações lineares para estes trechos. 4

112 Figura 3. Representação esquemática do modelo de Takagi-Sugeno. Exemplo [6] Regra 1: se largura (W) é média e altura (H) é baixa, então, is é A 01 + A 11 L + A 21 H Regra 2: se largura (W) é baixa e altura (H) é média, então, is é A 02 + A 12 L + A 22 H 5

113 Figura 4. Referências [1] Takagi, T. and Sugeno, M. Fuzzy Identification of Systems and Its Applications to Modeling and Control, IEEE Transactions on SMC, Vol. 15, No. 1, pp , [2] Sugeno, M. and Kang, K.T. Structure Identification of Fuzzy Model, Fuzzy Sets Systems, Vol. 28, pp , [3] Van Antwerp J. G. and. Braatz R. D A Tutorial on Linear and Bilinear Matrix Inequalities, Journal of Process Control, Volume 10, Issue 4, August 2000, Pages [4] Sala, A.; Guerra T. M. and Babuška, R. Perspectives of Fuzzy Systems and Control, Fuzzy Sets and Systems, Volume 156, Issue 3, 16 December 2005, Pages [5] Mamdani, E. H. Application of Fuzzy Algorithms For Control of Simple Dynamic Plant, Proceedings of IEE, 121, Vol. 12, pp , [6] Shaw, I. Simões, M.G. Controle e Modelagem Fuzzy, Editora Edgard Blücher Ltda., São Paulo-SP,

114 Jerry M. Mendel University of Southern California, USA Abstract: This paper provides an introduction to and an overview of type-2 fuzzy sets (T2 FS) and systems. It does this by answering the following questions: What is a T2 FS and how is it different from a T1 FS? Is there new terminology for a T2 FS? Are there important representations of a T2 FS and, if so, why are they important? How and why are T2 FSs used in a rule-based system? What are the detailed computations for an interval T2 fuzzy logic system (IT2 FLS) and are they easy to understand? Is it possible to have an IT2 FLS without type reduction? How do we wrap this up and where can we go to learn more? 1994 DIGITALSTOCK CORP. 20 IEEE COMPUTATIONAL INTELLIGENCE MAGAZINE FEBRUARY X/07/$ IEEE Authorized licensed use limited to: UNIV ESTADUAL PAULISTA JULIO DE MESQUITA FILHO. Downloaded on August 20, 2009 at 12:27 from IEEE Xplore. Restrictions apply.