Documente Academic
Documente Profesional
Documente Cultură
COMPUTAO
INTELIGENTE
PARACONSISTENTE
Instituto de
Estudos
Avanados da
Universidade de
So Paulo
ASPECTOS DE
COMPUTAO
INTELIGENTE
PARACONSISTENTE
Instituto de
Estudos
Avanados da
Universidade de
So Paulo
Prefcio
Esta obra compe-se de temas correntes em Computao Inteligente escritos por
investigadores brasileiros no assunto, a maioria relacionados com tpicos que o Grupo de
Lgica e Teoria da Cincia do Instituto de Estudos Avanados da USP tem se ocupado,
bem como trabalhos desenvolvidos no Programa de Ps-Graduao em Engenharia de
Produo da Universidade Paulista. Convm ressaltar que boa parte dos captulos so
trabalhos convidados estendidos de palestras do Primeiro Workshop Intelligent Computing
Systems WICS2013 que se realizou nas dependncias do IEA-USP (Sala de Eventos
Alberto Carvalho da Silva) nos dias 11 e 12 de maro de 2013.
Agradecemos ao Instituto de Estudos Avanados da USP pela edio do presente volume e
B.ela Sheila Souza e Ma. Cristina Correa Oliveira pela ajuda na editorao do mesmo.
Jair Minoro Abe
Editor
Coordenador do Grupo de Lgica e Teoria da Cincia do IEA-USP
Sumrio
Sumrio
05
15
Extenso da LPA2v para LPA3v e para LPA4v, Germano Lambert Torres & Helga
Gonzaga Martins ..........................................................................................................
27
67
88
108
118
132
159
178
193
208
220
demario@pucsp.br
imagens
mamogrficas.
Uma
anlise
paraconsistente
que
combina
Abstract. The Paraconsistent Logic presents useful features for image processing. We
present two approaches to solve the classic problem of segmenting mammograms. An
analysis combining paraconsistent conveniently studied classical approaches shows
promising results
1 Introduo
A lgica paraconsistente tem obtido bons resultados prticos em diferentes reas do
conhecimento [1], So conhecidas aplicaes em robtica [2], reconhecimento de padres
eletroencefalogrficos [3], amostragem estatstica[4], dispositivos de auxlio a locomoo
de cegos [1] e vrias outras. Uma aplicao ainda pouco explorada diz respeito ao
processamento de imagens. O nosso intuito neste trabalho mostrar como a abordagem
paraconsistente pode ser interessante podendo levar a resultados melhores que os obtidos
com as abordagens clssicas tradicionais. Para tanto estudamos o problema da
segmentao de imagens radiogrficas provenientes de um conhecido banco de imagens
mamogrficas [6]. Foram feitas duas abordagens clssicas para o problema e em seguida
uma anlise paraconsistente desses resultados. Os resultados foram promissores e
passaremos a descrev-los.
Onde os tons de verde representam regies onde a proposio tende a ser Verdadeira,
quanto mais verde a regio mais Verdadeira a proposio. Por outro lado
representaremos em tons de vermelho as regies onde a proposio tende a ser Falsa.
Regies em tons de amarelo indicam Inconsistncia e tons de azul indicam
Paracompleteza.
4 O Problema
Quando estudamos imagens uma das primeiras tarefas identificar os elementos da
imagem. Tal procedimento conhecido como segmentao. Neste trabalho apresentamos
os procedimentos para identificar o msculo peitoral maior em imagens radiogrficas de
mama. As principais estruturas da mama so: Pele, tecido adiposo, ductos lactferos,
glndula mamria, msculo peitoral alm de vasos, mamilo e outras estruturas. Uma
radiografia uma projeo de um ou mais tecidos assim uma mamografia apresenta
regies onde somente a pele foi radiografada. Outra regio pode mostrar pele e tecido
adiposo, ou ainda, pele tecido adiposo e glndula mamria, enfim diferentes combinaes
de tecidos projetados sobre uma mesma tela. No correto afirmar que determinada regio
represente o msculo peitoral maior, seria mais correto dizer que tal regio represente
predominantemente o msculo, uma vez que tambm mostre pele e tecido adiposo ou
ainda outras estruturas. Do ponto de vista lgico a proposio: pA regio mostra o
msculo peitoral maior nunca ser Verdadeira uma vez que pelo menos a pele e algum
tecido adiposo tambm estar representado nessa regio. Como se pode ver o estudo de
imagens radiogrficas no tarefa simples e a lgica paraconsistente pode nos trazer
resultados melhores do que as abordagens clssicas.
5 Imagens Utilizadas
Utilizamos as imagens mamogrficas disponveis no banco de dados conhecido como Mini
MIAS [6]. Trata-se de uma coleo de mamografias provenientes de 161 pacientes na
incidncia Mdio Lateral Oblqua. As mamografias esquerdas foram rodadas em torno do
eixo vertical. Ao todo so 322 imagens das quais 282 foram utilizadas na massa de treino e
as 40 restantes na massa de teste. As imagens tem uma resoluo de 200 micrometros por
pixel ocupando 1024 x 1024 pixels em formato pgm.
6 Segmentao de Imagens
Para calibrar os modelos todas as imagens foram divididas manualmente em duas regies
distintas. Uma regio que mostra o msculo peitoral (verde) e outra onde o msculo no
aparece (vermelho). A regio onde poderia haver dvida dos limites do msculo no foi
utilizada na calibrao. As figuras II e III mostram as regies delimitadas e a rea que no
foi utilizada na calibrao.
10
11
Observe que o resultado mostra que o tamanho do msculo foi subestimado e que a regio
da glndula mamria foi interpretada como sendo msculo o que evidentemente est errado,
so falsos positivos.
9 Abordagem Paraconsistente
As abordagens clssicas apresentadas mostram resultados onde as evidncias favorveis e
desfavorveis so complementares. No existem inconsistncias ou paracompletezas. A
regresso logstica mostrou que tende, ainda que ligeiramente, a superestimar o tamanho
do msculo. J a abordagem convolucional frequentemente subestimou o tamanho do
msculo. Uma abordagem paraconsistente utilizando a evidncia favorvel da regresso
logstica e a evidncia desfavorvel da rede convolucional poderia levar a resultados
melhores que os anteriores. Foi o que testamos em seguida. E os resultados foram
realmente melhores pelo menos na massa de treino. Como as evidncias no so mais
complementares aparecem regies de inconsistncia (amarelo) e paracompleteza (azul)
com mostra a Figura IX e o respectivo gabarito na Figura X.
Figura X. Gabarito
12
10 Resultados Estatsticos
Na massa de treino:
A abordagem com regresso logstica acertou 94,660 % dos pixels avaliados, A rede
convolucional classificou corretamente 81,205 % dos pixels analisados. A abordagem
paraconsistente combinando a evidncia favorvel da regresso logstica com a evidncia
desfavorvel da rede convolucional acertou 94,958 % de todos os pixels. A diferena
pequena, mas o resultado melhor do que o obtido pelas duas tcnicas clssicas. Como o
nmero de pixels muito grande pode-se provar que esta diferena estatisticamente
significante.
Na massa de teste:
A regresso logstica acertou 94,021 % dos pixels, a rede convolucional teve uma acurcia
de 76,713 % entre os pixels avaliados. A abordagem paraconsistente no conseguiu superar
o desempenho da regresso logstica acertando 93,642 % dos pixels analisados.
Os resultados sugerem que a amostra utilizada para calibrar a rede convolucional seja
ainda muito pequena, o que explicaria o desempenho menos favorvel na massa de teste.
Referncias
1.
Abe, J.M., Da Silva Filho, J. I., U. Celestino & H.C. Arajo, Lgica Paraconsistente
Anotada Evidencial E. Santos, Editora Comunnicar, 2011.
2.
3.
13
4.
5.
6.
7.
LeCun,
Y.,
LeNet-5,
convolutional
neural
networks.
Disponvel
em:
14
15
Introduo
A primeira publicao que tratava dos fundamentos das Redes Neurais Artificiais
Paraconsistentes - RNAP com nfase em Neurocomputao apareceu em 2000, conforme
visto na referencia [1]. Neste primeiro trabalho os autores propuseram uma srie de
algoritmos baseados em Lgica Paraconsistente Anotada na sua forma especial onde
recebem para a anlise sinais de informao representados por dois valores de evidncia
(LPA2v) [3]. Estes algoritmos podem ser interligados entre si de tal modo que se
estruturam em redes de analises Paraconsistentes para simular algumas das funes
conhecidas do crebro [2]. A partir desse primeiro trabalho foram desenvolvidas vrias
pesquisas que trouxeram inovadoras aplicaes dessa tcnica em que envolvem
interligaes de mdulos compostos de algoritmos baseados em conceitos da Lgica
Aspectos de Computao Inteligente Paraconsistente
16
A Lgica Clssica, que sustenta a nossa atual tecnologia, regida por rgidas leis binrias
que a deixa impotente para manipular diretamente o conceito de inconsistncia. Essa
condio impossibilita que algoritmos baseados em Lgica Clssica faam diretamente um
tratamento de contradies de forma no trivial, portanto, sem que ocorra invalidade nas
concluses. No entanto, em um processo de analises de sinais de informao a existncia
da inconsistncia pode ser o fator que ir induzir o sistema a promover buscas e a encontrar
novas e esclarecedoras informaes e como resultado obter uma concluso confivel.
Diferentemente da Lgica Clssica, a Lgica Paraconsistente Anotada (LPA) apresenta
vantagens para estruturar sistemas de anlises, pois, dentro de determinadas condies,
17
P(, )
T = Inconsistente = P(1, 1)
F = Falso = P(0, 1)
V = verdadeiro = P(1, 0)
= Indeterminado = P(0, 0)
18
GC =
(1)
(2)
2.1
Com as suas entradas sendo alimentadas pelos Graus de Evidncia e retirados de base
de dados de Conhecimento Incerto o sistema de analise paraconsistente utiliza as equaes
obtidas da metodologia da LPA2v [3] e obtm os Graus de Certeza (GC) e de contradio
(Gct). A cada Grau de Certeza da anlise este transformado em Grau de Evidncia para
outra proposio P, da seguinte forma:
E =
onde:
1 + ( )
2
(3)
A partir da estrutura, que pode ser representada algoritmicamente pela equao (3)
denominada de Equao Estrutural Bsica (EEB), pode-se introduzir uma famlia de
Aspectos de Computao Inteligente Paraconsistente
19
3.1
20
+
2
1 + ( )
, e o Grau de Contradio
2
1 Ft c
1 + Ft c
1 Ft ct
1 + Ft ct
, Vscc =
e Vicct =
, Vscc =
.
2
2
2
2
Grau de Contradio considerado, portanto a sada ser calculada pela equao do Grau de
Evidncia resultante (3), S1 = E. Se no acontecer qualquer uma das condies acima a
sada S1 deve apresentar uma Indefinio de valor igual a 1/2. Por outro lado, na CNAPa
quando o Fator de tolerncia Certeza ajustado no seu valor mximo, Ftc=1, o Grau de
Evidncia resultante na sada da clula obtido pelas equaes da LPA2v. Quando o Fator
de tolerncia Certeza ajustado em um valor baixo; isto , prximo a 0, o valor do Grau
de Evidencia passa a sofrer maiores restries para ser considerado como sada. E com o
Fator de tolerncia Certeza Ftc ajustado em zero, qualquer resultado da anlise efetuada
pela clula considerado indefinido [3].
21
3.2
22
{ ( ( ) ) F } + 1 onde:
1
E k C
E(k)C
= 1- E(k). Considera-se a
23
Figura III. Smbolo simplificado, grfico caracterstico de sada e tabela de resultados da Clula Neural
Artificial Paraconsistente de Aprendizagem - CNAPap
24
Concluses
Da Silva Filho, J.I. & J.M. Abe, Fundamentos das Redes Neurais Artificiais
Paraconsistentes - destacando aplicaes em neurocomputao. ISBN 8574730424,
SP: Editora Arte&Ciencia, 296pp, 2000.
2.
Gallant, S.I., Neural Network Learning and Expert Systems, MIT Press, 1993.
3.
Da Silva Fiho, J.I., G. Lambert-Torres & J.M. Abe, Uncertainty Treatment Using
Paraconsistent Logic - Introducing Paraconsistent Artificial Neural Networks. IOS
Press, ISBN-10: 1607505576, 328 pp, 2010.
Joo Incio da Silva Filho - Possui graduao em Engenharia Industrial Eltrica Universidade Santa Ceclia dos Bandeirantes (1982), fez Mestrado em Engenharia Eltrica
-(Microeletrnica) pela POLI/USP-Escola Politcnica da Universidade de So Paulo
(1997) e Doutorado em Engenharia Eltrica - (Sistemas Digitais) pela POLI/USP-Escola
Politcnica da Universidade de So Paulo (1999). Em 2009 fez Ps Doutorado pelo
INESC-Porto Instituto de Engenharia de Sistemas e Computadores do Porto
Aspectos de Computao Inteligente Paraconsistente
25
26
Resumo. Este captulo apresenta uma extenso da Lgica Paraconsistente Anotada de Dois
Valores - LPA2v para Lgica Paraconsistente Anotada de Trs Valores - LPA3v, com a
introduo de um terceiro grau interpretado como 'Grau de Especialidade', e, em seguida,
para a Lgica Paraconsistente Anotada de Quatro Valores LPA4v, introduzindo a
varivel tempo de forma que os problemas descritos aproximam-se mais da sua real
condio, visto que a opinio de um especialista pode ser decisiva na avaliao de um
sistema.. O propsito de expandir a LPA2v para LPA3v est em permitir a incluso, na
base de conhecimento, de opinies de especialistas, de forma que os problemas descritos
aproximam-se mais da sua real condio, visto que a opinio de um especialista pode ser
decisiva na avaliao de um sistema. Enquanto a expanso para a LPA4v, analisar a
evoluo comportamental no decorrer do tempo, das opinies destes mesmos especialistas.
Este captulo tambm apresenta uma juno do modelo de funes crena, descrena,
especialidade e temporalidade da LPA3v e LPA4v para a recuperao de casos no domnio
de determinao de diagnsticos de um Raciocnio Baseado em Casos RBC. A
implementao da LPA3v e da LPA4v em um sistema inteligente permite trabalhar com
informaes
inconsistentes,
indefinies,
com
conhecimentos
parciais
com
27
Palavras-chave: Lgica Paraconsistente Anotada, Raciocnio Baseado em Casos, ParaEspecialista, Raciocnio Baseado em Casos Para-Especialista.
Abstract. This chapter presents an extension of Two Values Noted Paraconsistent Logic NPL2v to Three Values Noted Paraconsistent Logic - NPL3v, with the introduction of a
third grade interpreted as Expert Grade, and then to Four Values Noted Paraconsistent
Logic NPL4v, introducing the time to describe the more realistic ways real-life problems.
The aim for expanding the NPL2v to NPL3v is to allow the inclusion, in knowledge basis,
of experts opinions, in a way that the described problems come closer to their real
condition, once a specialist opinion may be decisive for a system evaluation. The aim for
expanding to NPL4v is to allow the inclusion of time in the knowledge base of experts
opinions, once an expert opinion may be ultimate for one system evaluation. Furthermore,
to analyze the behavioral evolution, as time goes by, of the opinions from these experts.
Besides that, this chapter presents a link of the functions model belief, unbelief and
specialty from NPL3v and NPL4v for cases retrieval in domain of diagnostic determination
of a Case Based Reasoning CBR. The implementation of NPL3v and NPL4v in one
intelligent system allows working with inconsistent information, undefined, with partial
knowledge and specialist knowledge in such a way that the system behavior become more
encompassing, approaching the real world as well as its answers.
Keywords: Noted Paraconsistent Logic, Case Based Reasoning, Para-Expert Algorithm,
Paraconsistent Case Based Reasoning.
28
Introduo
Nos estudos do reticulado associado Lgica Paraconsistente Anotada de Dois Valores LPA2v, de acordo com [1], [2], [3], utiliza-se o conceito do Quadrado Unitrio do Plano
Cartesiano - QUPC, que formado pelos eixos dos Graus de Crena e de Descrena,
como ferramenta bsica para a representao dos pontos notveis e da aplicao dos
operadores lgicos e apresentao da Nova Tabela Verdade da LPA2v estendendo a
Lgica Clssica, ou seja, "Se as proposies com as quais trabalhamos forem bem
comportadas, toda frmula vlida no clculo clssico deve continuar inalterada".
Utiliza-se ainda o conceito do QUPC para estender a LPA2v para uma Lgica
Paraconsistente Anotada de Trs Valores - LPA3v, com o propsito de descrever os
problemas de forma mais realista, ou seja, alm dos Graus de Crena e Descrena
introduz-se um terceiro grau, o Grau de Especialidade. A anotao deste grau traduz
opinies de especialistas de diversos nveis sobre a avaliao de um determinado sistema.
Em seguida, este captulo a extenso da LPA3v para a Lgica Paraconsistente Anotada de
Quatro Valores LPA4v, com a introduo da anotao tempo, t. Esta nova anotao
possibilita a avaliao do comportamento dos especialistas no decorrer do tempo, assim
descrevendo as situaes mais prximas da realidade.
De acordo com a referncia [4], [5] elaborou-se um algoritmo com o objetivo de
implementar a LPA3v e a LPA4v em uma linguagem computacional conveniente,
denominado Algoritmo Para - Especialista.
A tcnica do RBC tem sido utilizada como suporte de deciso nos mais diversos domnios
do conhecimento como: planejamento, projetos, diagnsticos, e tem se mostrado com
melhor desempenho do que outros sistemas de raciocnio. Seu paradigma pressupe a
existncia de uma memria onde casos j resolvidos ficam armazenados; usa estes casos,
pela recuperao, para ajudar na resoluo ou interpretao de novos problemas; e
Aspectos de Computao Inteligente Paraconsistente
29
promove a aprendizagem, permitindo que novos casos (recm- resolvidos ou recminterpretados) sejam incorporados memria [6].
O objetivo de um sistema de RBC recuperar de sua memria o caso mais similar ao novo,
propor a soluo ou uma adaptao deste como soluo da nova situao [7]. A
metodologia central do prottipo de recuperao a determinao da similaridade de um
novo caso com todos os casos prvios. As similaridades so determinadas por meio de
funes combinaes (casamento) e ao longo das caractersticas do caso novo e dos casos
prvios, [8], [9], [10].
2
Nos estudos do reticulado associado Lgica Paraconsistente Anotada de Dois Valores LPA2v, de acordo com [1], [2], [3], [4] utiliza-se o conceito do Quadrado Unitrio do
Plano Cartesiano - QUPC, que formado pelos eixos dos Graus de Crena, 1 e de
Descrena, 2, pelas linhas perfeitamente consistente (LPC) e perfeitamente inconsistente
(LPI) conforme Figura I.
2
LPI
I
LPC
1
V
O QUPC a ferramenta bsica para a representao dos pontos notveis de acordo com a
Figura II.
30
qF
qV
qV
1
qF
GI
|GI|
|GC|
I
GC
V
Seja dada uma proposio P, de tal forma que ela composta pelos graus de crena e
descrena dados P(1P,2P), aplicando o operador de negao obtm-se a seguinte
proposio: P(1P,2P) = P(1-1P, 1-2P), de acordo com a Figura IV.
31
P
0.8
0.2
0.4
0.6
1
V
O conectivo (OU) faz a Maximizao entre os valores dos graus de crena e faz a
Minimizao entre os valores dos graus de descrena entre duas proposies, para
encontrar o ponto resultante da aplicao do conectivo (OU) basta construir um
retngulo com os lados paralelos aos eixos cartesianos, tendo como vrtices,
diagonalmente opostos, as duas proposies, o resultado da disjuno ser o vrtice
inferior direito do retngulo. Isso representa o fato da aplicao sucessiva do operador
(OU) tender a levar o resultado mais prximo do ponto notvel de Verdade, Figura 5.
O conectivo (E) faz a Minimizao entre os valores dos graus de crena e faz a
Maximizao entre os valores dos graus de descrena entre duas proposies, para
encontrar o ponto resultante da aplicao do conectivo (E) basta construir um retngulo
com os lados paralelos aos eixos cartesianos, tendo como vrtices, diagonalmente opostos,
as duas proposies, o resultado da conjuno ser o vrtice superior esquerdo do
retngulo. Isso representa o fato da aplicao sucessiva do operador (E) tender a levar o
resultado mais prximo do ponto notvel de Falso, Figura V.
O objetivo da aplicao dos mtodos apresentados que os mesmos possibilitam uma
extenso da lgica clssica, quer dizer: "Se as proposies com as quais trabalhamos forem
bem comportada toda frmula vlida no clculo clssico deve continuar inalterada".
32
2
F
T
P
Conectivo (E)
Conectivo (OU)
V
Figura V. Representao no QUPC do mtodo de obteno dos conectivos OU e E
e
1
Fe (0,1,0)
2
Ve (1,0,0)
Para o plano e=1, tem-se o Grau de Especialidade Mximo, denominado Especialista, para
o plano e=0, tem-se o Grau de Especialidade Mnimo, denominado Nefito, para os planos
intermedirios tm-se Graus de Especialidades que variam no intervalo aberto (0,1).
Dos especialistas, espera-se tomadas de decises coerentes e determinadas, com o mnimo
de indecises ou desconhecimento de causa ou ainda inconsistncias, de forma que um
Aspectos de Computao Inteligente Paraconsistente
33
e
A
e = 1- 2
e = 2- 1
B
C
H
E
1
F
G
Dx;
Dy;
Dx;
34
Dy;
Dx.
Os pontos que esto abaixo deste plano e limitado pelo cubo so pontos que determinam o
diagnstico referente ao eixo x, os pontos acima esto em "Regio Tendenciosa";
Plano e = 2- 1 Plano Limite do caso clssico, Dy.
Os pontos que esto abaixo deste plano e limitado pelo cubo so pontos que determinam o
diagnstico referente ao eixo y, os pontos acima esto em "Regio Tendenciosa".
Com estas novas definies nota-se que se pode encontrar outras retas, outros planos e
regies do cubo unitrio e dar-lhes interpretaes adequadas, que ser feito na prxima
seo.
Contudo, se se restringir ao par (1,2), observa-se que o resultado dos estudos realizados
na referncia [4], um caso particular de Grau de Especialidade e = 0.5, visualizado na
Figura VIII, de modo que todas as consideraes analisadas podem ser expandidas de
acordo com o acrscimo ou decrscimo do Grau de Especialidade.
qF
V
qV
qV
qF
2
35
e
1
Dy
Dy
Dx
Dx
1
1
As regies hachuradas representam regies bem definidas, j que contm pontos que
permitem interpretaes que conduzem determinao de diagnsticos no tendenciosos.
Com efeito, o ponto (1,0,1), no plano e = 1, pode ser interpretado como indicao de um
Especialista decidindo-se por um diagnstico referente ao eixo x, Dx. Ao passo que, no
plano e = 0, para pontos limitados pela diagonal 1 = 2 e pelo eixo x, pode ser
interpretado como sendo um nefito decidindo pelo diagnstico Dx; sendo a maior regio
referente Dx devido, exatamente, falta de experincia do nefito. Conforme o grau de
especialidade for crescendo a regio para o Dx vai se restringindo at chegar no ponto
(1,0,1) analisado acima. Na Figura X, delimita-se o cubo unitrio em Regies Inconsistente
e Paracompleta.
36
e
1
Paracompleta
zero
Inconsistente
um
Dy
Dy
Dx
Dx
1
1
1
1
Nesta seo analisam-se cinco situaes diferentes, ou seja, cinco planos diferentes para a
coordenada e, ou ainda, analisam-se opinies de cinco especialistas diferentes. Isso feito,
pode-se fornecer uma generalizao para uma interpretao do Cubo Unitrio Analisador.
A primeira situao a ser analisada a situao do topo do cubo unitrio seguindo em
direo a sua base, conforme Figura XI.
37
1: e = 1- 2
2: e = 2- 1
e
1
Dy
Dx
1
1
1
Para a situao de e = 1, tem-se a seguinte anlise das regies, de acordo com a Figura XII.
2
Dy
T
1
Dx
38
qDy
qDx
T
qDx
1
qDy
qDy
Dy
qDx
qDx
qDy
Dx
39
qDy
qDx
Dy
qDx
Dx
1
qDy
T
Dy
Dx
1
40
RETA r:
1 = 0,2
2 = 0,9
e = 0,9- 0,2 = 0,7
Dy
Dx
2
1
41
SE GRAU DE
CRENA MAIOR
GRAU DE
DESCRENA
1P > 2P
ANLISE LGICA
PARACONSISTENTE
DE ANOTAO DE
TRS VALORES LPA3v
SE GRAU DE
DESCRENA
MAIOR GRAU
DE CRENA
2P > 1P
ANLISE LGICA
PARACONSISTENTE
DE ANOTAO DE
TRS VALORES LPA3v
e = 1P - 2P
PLANO LGICO
RESULTANTE
DE SADA.
Grau de
Especialidade
SINAL P
(
1P , 2P)
e = 2P - 1P
PLANO LGICO
RESULTANTE
DE SADA.
Grau de
Especialidade
Figura XVIII. Representao dos procedimentos para se obter Plano Lgico Resultante de Sada na LPA3v
Pode-se analisar um ponto se movendo ao longo do cubo unitrio analisador, como mostra
a Figura XIX, de acordo com [4].
e
1
t2, s2
C
t1, s1
1
42
Descritas as regies do Cubo Unitrio Analisador nas sees anteriores, torna-se vivel
elaborar um algoritmo com o objetivo de efetuar a implementao da LPA3v em
linguagem computacional.
Visando os estudos dos comportamentos em Sistemas Especialistas, baseado na LPA3v, o
algoritmo construdo pela descrio do Cubo Unitrio permite a elaborao de programa
computacional para aplicaes prticas e proporcionar simulaes de diferentes situaes.
43
Regio Dy
Regio T
qDy
Dy
T
Regio TqDy
Regio DyqDy
Regio DyqDx
Regio TqDx
I
qDx
qDx
Regio qDx
Regio qDy
Regio DxqDx
Dx
qDy
1
Regio DxqDy
Regio
Regio Dx
Figura XX. Definio das Regies para o algoritmo Para - Especialista
Paracompleto;
Inconsistente;
Dx
Dy
qDy
qDx
qDy
DxqDx
44
DxqDy
DyqDy
DyqDx
Indefinido.
45
As Grandezas de sada:
Dge
Diagnstico do especialista;
Da reta r:
PASSO 1:
1 = 0,2; 2 = 0,9;
e = 0,9 0,2 = 0,7
46
PASSO 2:
Ponto qDx
(1,0; 0,3)
Ponto qDy
(0,3; 1,0)
qDy
2
qnDx
qDx
Dx
1
qnDy
Vicc = - 0,7
Vici = - 0,3
PASSO 4:
PASSO 5:
qDy
T
2
qnDx
qDx
Dx
qnDy
qDy
2
qnDx
qDx
qnDy
Dx
47
PASSO 6:
Novo Caso
Memria de Casos
Grau de Casamento
48
49
forma disponvel no sentido que, se em algum momento o raciocinador quiser acrescentlo como ao de controle da base de conhecimento, o procedimento ser, somente alterar
seu grau de certeza, GC para o valor mximo 1 e a ao de controle relacionada a ele
assume o valor numrico do respectivo diagnstico encontrado.
Este novo prottipo baseado na LPA3v ser denominado neste trabalho de 'RBC- ParaEspecialista'.
O "RBC - Para - Especialista" oferece uma alternativa lgica baseada em duas teorias, a
'Lgica Paraconsistente' e 'Sistema de Raciocnio'. O mesmo faz um tratamento lgico de
forma Paraconsistente para que as contradies e as incertezas possam ser inseridas e
tratadas, de um modo no trivial, numa estratgia de tomada de deciso automtica. A fim
de apresentar uma idia geral e mais abrangente do "RBC- Para- Especialista", na Figura
XXIV est montado um esquema em diagrama, que exibe o processo de entrada do novo
caso a ser analisado: a recuperao de todos os casos da memria de dados; - O clculo do
Grau de Casamento e sua ordenao decrescente; a aplicao do algoritmo "ParaEspecialista" da LPA3v e conseqentemente a determinao dos trs possveis
diagnsticos, ou seja, a opinio de trs especialistas diferentes sobre uma situao nova
(caso novo), sendo que o diagnstico adotado na LPA3v o de maior especialidade, ou
seja, a opinio do mais especialista no domnio em questo; finalmente a recuperao do
caso mais adequado em relao ao diagnstico anteriormente encontrado.
50
Gcas
...Gcask
Gcas2=mi2 (Dy)
Gcas1=mi1(Dx)
Novo Caso
Memria de Casos
Diagnsticos Provveis
Especialista : De
Especialista1 : De1
Especialista2 : De2
Algoritmo Para-Especialista
Dy
... Caso k - Diag
Dx
Caso 2 - Diag
Caso1- Diag
Recuperao do Caso
Diagnstico mais adequado
51
e descrena podem ser interpretados como: "O Grau de Crena a evidncia favorvel ao
Diagnstico i como soluo do Caso Novo e o Grau de Descrena a primeira evidncia
contrria ao Diagnstico i como soluo do Caso Novo".
Como o conjunto do grau de casamento j foi devidamente ordenado decrescentemente e,
como definido acima, o grau de crena aquele de maior grau de casamento, nota-se que o
grau de descrena sempre estar em uma ordem menor que o grau de crena e ser aquele
que corresponder primeira evidncia desfavorvel ocorrncia do diagnstico i, Di. Em
uma aplicao do algoritmo 'Para- Especialista' no Sistema de Raciocnio com o Prottipo
Recuperador atuando da maneira como apresentada [10], sempre ocorrer uma situao
descrita acima. Com essa definio pode-se agora fazer uma anlise do cubo da LPA3v
para estudar o novo caso, j que todos os graus esto claramente estipulados.
10
Para efeito de comparao, a aplicao do 'RBC- Para - Especialista' tem como domnio o
mesmo utilizado em [10], ou seja, um funcionamento de um forno para obteno de
cimento, assim como em [11]. Para cada um desses atributos espera-se aes apropriadas,
esto listados conforme Tabela I.
Tabela I. Especificao das Descries e suas extenses
ATRIBUTOS
DESCRIES
Condio
a Granular
03
Condio
b Viscosidade
03
Condio
c Cor
02
Condio
d Nvel de pH
02
Deciso
e Velocidade Rotativa
01
Deciso
f Temperatura
03
52
DIAGNSTICO
D1
D2
D3
D4
0
1
1
3
2
1
CASOS
Ao de Controle
CASO 01
D1
CASO 02
D1
CASO 03
D1
CASO 04
D2
CASO 05
D2
CASO 06
D3
CASO 07
D3
CASO 08
D3
CASO 09
D4
CASO 10
D4
CASO 11
D4
CASO 12
D4
CASO 13
D4
O RBC- Para- Especialista, analisado na seo anterior, foi testado para vrios Casos
Novos, utilizando a Base de Conhecimento, de acordo com a tabela III acima, para este
exemplo o nmero de Aes de Controle est limitado em quatro D1, D2, D3 e D4. Assim
como em [10], apresenta-se o resultado de um mesmo caso analisado, sendo caso C14 - [2
2 2 1].
Aspectos de Computao Inteligente Paraconsistente
53
CASO NOVO: 2
2
2
1
Caso encontrado na Base de Conhecimento: 0
Gcas
CASO
DIAGNSTICO
0.8771
D1
0.8498
12
D4
0.7868
D4
0.7692
D3
0.7687
D1
0.7518
11
D4
0.7171
D1
0.7071
10
D4
0.6671
13
D4
10
0.6537
D3
11
0.6472
D2
12
0.6432
D3
13
0.5871
D2
14
0.5871
14
D4
Diagnsticos em Deciso:
Dx-Dy = 1-4
1 = 0.8771
2 = 0.8498
0.1
1: 0.8771
2: 0.8498
GC =
0.0272
e : 0.0272
GI =
0.7269
e: 0.0272
qD4
D4
qD1
qD1 =
qD4
C1 =
D1
C3 =
Determinao do Diagnstico para e:
D1
54
e1 = 0.0072
D4
0.0072
C2 =
-0.0072
C3 =
0.9928
C4 =
-0.9928
D1
e2 = 0.1272
qD4
D4
qD1
qD1
0.8728; 1.0000
qD4
D1
0.1272
C2 =
-0.1272
C3 =
0.8728
C4 =
-0.8728
TqD1
TqD1
Para e:
D1
Para e1:
D1
55
GI
2 1 1 1 D1
D1
2 1 1 0 D1
D1
2 2 1 1 D1
D1
1 1 1 0 D2
D2
1 1 1 1 D2
D2
2 1 1 2 D3
D3
2 2 1 2 D3
D3
3 2 1 2 D3
D3
3 2 2 2 D4
D4
10
3 3 2 2 D4
D4
11
3 3 2 1 D4
D4
12
3 2 2 1 D4
D4
13
3 0 2 1 D4
D4
14
3 1 1 1 D5
D4
C13
15
2 2 2 1 D6
D1
C3
11
CASO 3
Diagnstico encontrado
D1
0.0272
TqD1
56
a b c d Diag
C1
2 1 1 1 D1
C2
Ao
Diag
Diag-e2
D1
D1
2 1 1 0 D1
D1
C3
2 2 1 1 D1
D1
C4
1 1 1 0 D2
C5
1 1 1 1 D2
C6
Diag
Caso
GC
GI
D1
D1
D2
D2
D2
D2
2 1 1 2 D3
D3
D3
C7
2 2 1 2 D3
D3
D3
C8
3 2 1 2 D3
D3
D3
C9
3 2 2 2 D4
D4
D4
C10
3 3 2 2 D4
D4
D4
C11
3 3 2 1 D4
D4
D4
C12
3 2 2 1 D4
D4
D4
C13
3 0 2 1 D4
D4
D4
C14
3 1 1 1 D4
C13
D5
TqD4
D4
D4
0.0095 0.6878
C13
C15
2 2 2 1 D1
C3
D6
TqD1
D1
D1
0.1272 0.7269
C3
C16
1 3 2 1 D4
C11
D5
TqD4
D4
D4
0.0676 0.5476
C11
Recup
Controle Base
Recup
57
C17
1 3 1 0 D4
C16
D7
TqD5
D5
D4
0.1648 0.5479
C16
C18
2 3 2 2 D4
C10
D5
TqD4
D4
D4
0.0348 0.7627
C10
C19
1 1 2 2 D3
C6
D8
TqD3
D3
D3
0.0203 0.4464
C6
C20
2 1 0 2 D3
C6
D8
TqD3
D3
D3
0.1928 0.7046
C6
C21
3 1 0 1 D1
C14
D9
D5
D4
0.1516 0.7633
C14
C22
1 3 0 0 D4
C17
D10
D7
D4
0.1370 0.7700
C17
C23
2 3 1 1 D4
C17
D11
TqD7
D7
D4
0.0371 0.7275
C17
C24
1 2 0 0 D2
C3
D6
TqD1
D1
D1
0.0471 0.4614
C3
C25
3 3 0 0 D4
C11
D5
TqD4
D4
D4
0.0935 0.6758
C11
C26
1 1 2 1 D2
C19
D12
TqD8
D8
D3
0.0330 0.6403
C19
C27
2 1 1 0 D1
C2
D1
D1
D1
D1
C2
C28
1 1 1 2 D3
C6
D8
TqD3
D3
D3
0.0398 0.7132
C6
C29
1 0 0 1 D2
C5
D13
TqD2
D2
D2
0.0835 0.3307
C5
C30
3 0 0 1 D1
C21
D14
D9
D4
0.0406 0.8663
C21
C21
C24
C26
C30
3
1
1
3
1
2
1
0
0
0
2
0
1
0
1
1
Diag
Determ
D1
D2
D2
D1
D4
D1
D3
D4
Caso
Diag
Diag
Ao
Diag
Recup
Determ
e2
Controle Base
C14
C3
C19
C21
D9
D6
D12
D14
T
TqD
TqD
T
D5
D1
D8
D9
D4
D1
D3
D4
GC
GI
Caso
Recup
0.1516
0.0471
0.0330
0.0406
0.7633
0.4614
0.6403
0.8663
C14
C3
C19
C21
Para estas quatro situaes, na estrutura RBC, os casos recuperados no esto contidos no
conjunto dos respectivos 'diagnsticos determinados' e sim no conjunto dos 'diagnsticos
do caso recuperado', conforme colunas 6, 7 e 8 da tabela acima, de forma que ocorre uma
inconsistncia entre os casos recuperados e seus diagnsticos determinados. Enquanto que
na estrutura RBC- Para- Especialista, isto evitado devido ao suporte fornecido pela
LPA3v, que indica como 'diagnstico determinado' aquele proveniente do caso recuperado,
no permitindo haver nenhuma inconsistncia de dados.
Nesta estrutura todos casos novos tm como 'diagnstico determinado' diagnsticos com
novos ndices, porm no significa que um novo diagnstico est sendo indicado, mas uma
Aspectos de Computao Inteligente Paraconsistente
58
LPI
LPC
2
Dy
TqDx
DxqDy
qDx
qDy
DxqDx
Dx
1
qDy
Dx
Devido prpria estrutura do 'RBC- Para- Especialista', na qual o valor do grau de crena
sempre maior ou igual ao grau de descrena, 1 2 , exclui-se a possibilidade do caso
novo se encontrar na regio acima da Linha Perfeitamente Inconsistente - LPI. O que se
observa da Tabela IV que o GC - Grau de Certeza e GI - Grau de Incerteza sendo ambos
Aspectos de Computao Inteligente Paraconsistente
59
N de Casos
Porcentagem
T
qDx
Dx
Dx
qDx
Total
13
76%
3
18%
1
6%
0
0%
17
100%
60
12
Concluso
61
62
fato ao seu respectivo diagnstico, garantindo assim a consistncia entre caso versus
diagnstico.
13
Agradecimentos
2.
Da Costa, N.C.A., Abe, J.M., Da Silva Filho, J.I., A.C. Murolo & C.F.S Leite, Lgica
Paraconsistente Aplicada. So Paulo, Atlas, 1999.
3.
4.
5.
Martins, H.G., G. Lambert-Torres & L.F. Pontin, Extension from NPL2v to NPL3v,
In: Advances in Intelligent Systems and Robotics, por G. Lambert-Torres, J.M. Abe,
M.L. Mucheroni & P.E. Cruvinel, IOS Press, ISBN 1 58603 386-7, Vol. I, pp. 9-17,
2003.
6.
Kolodner, J.L., Case-Based Reasoning, San Mateo, CA: Morgan Kaufmann Publishers,
Inc., 1993.
63
7.
8.
9.
Bariess, R. & J.A. King, Similarity assessment in case-based reasoning, Proc. DARPA
Workshop Case-Based Reasoning, San Mateo, CA: Morgan Kaufmann, pp. 67- 71,
1989.
10. Martins, H.G. & G. Lambert-Torres, Retriever Prototype of a Case Based Reasoning:
A Study Case, Advances in Logic, Artificial Intelligence and Robotics Frontiers in
Artificial Intelligence and Applications, LAPTEC 2002, Ed. Jair M. Abe e Joo I. da
Silva Filho IOS Press, pp. 1-8, 2002.
11. Sandness, G.D., A Parallel Learning System, CS 890 Class Paper, Carnegie - Mellon
University, pp. 1-12, 1986.
64
65
66
Palavras-chave:
Lgica
Paraconsistente
Anotada,
Redes
Neurais
Artificiais
67
Introduo
Um rob mvel autnomo deve ser capaz de se locomover num ambiente no estruturado
sem colidir em obstculos. O projeto de um rob com estas caractersticas uma tpica
situao em que se deve lidar com contradies (inconsistncias), incertezas ou
paracompletezas. Os Sistemas Inteligentes tradicionais so usualmente baseados na lgica
clssica ou em algumas de suas extenses. E, em certas situaes, quando se defronta com
incertezas, contradies (inconsistncia) ou paracompletezas, muitas vezes algumas
simplificaes ou adaptaes so necessrias para que o sistema continue funcionando,
podendo torn-lo complexo ou, paradoxalmente, ineficiente.
Os trs projetos propostos tem como base a Lgica Paraconsistente Anotada Evidencial E.
A utilizao deste tipo de lgica permite se lidar com sinais eltricos que expressam
situaes incertas, contraditrias ou paracompletas de forma no trivial.
Apresenta-se neste texto uma breve descrio do Rob Mvel Autnomo Emmy I, Rob
Mvel Autnomo Emmy II e do Rob Mvel Autnomo Emmy III [19, 21].
O rob Emmy I capaz de desviar de obstculos num ambiente no estruturado e seu
controle se baseia na Lgica Paraconsistente Anotada Evidencial E. O rob Emmy II
possui, basicamente, as mesmas caractersticas que o rob Emmy I, mas sua estrutura
mecnica mais compacta e seu sistema de controle possui algumas diferenas em relao
Aspectos de Computao Inteligente Paraconsistente
68
ao rob Emmy I.
J o rob Emmy III tem por objetivo encontrar um destino pr-definido num ambiente noestruturado. O sistema de navegao e controle desse rob se baseia na utilizao das
Redes Neurais Artificiais Paraconsistentes (RNAP).
O rob mvel autnomo Emmy III ainda no construdo fisicamente.
2
O rob mvel autnomo Emmy I [1, 8] foi construdo em 1999 e consiste de uma
plataforma mvel de alumnio de formato circular de 30 cm de dimetro e 60 cm de altura.
O rob foi projetado em mdulos sobrepostos separados por funo no sistema de controle,
facilitando a visualizao da ao de cada mdulo no controle de movimentao do rob.
Na movimentao do rob Emmy I num ambiente no estruturado as informaes sobre a
existncia ou no de obstculo na sua trajetria so obtidas por intermdio do dispositivo
denominado Parasnico. O Parasnico capaz de captar obstculos na trajetria
transformando-os proporcionalmente as medidas de distncia entre o rob e o obstculo em
sinais eltricos, na forma de uma tenso eltrica contnua que pode variar de 0 a 5 volts.
O Parasnico basicamente composto por dois sensores de ultrassom tipo POLAROID
500 [53] e um Microcontrolador 8051. A funo do Microcontrolador 8051 fazer a
sincronizao entre as medies dos dois sensores de ultrassom e a transformao da
grandeza distncia em tenso eltrica.
O sistema de controle de navegao do rob feito por um Controlador Lgico
Paraconsistente - Paracontrol e que recebe e faz o tratamento dos sinais eltricos.
O Paracontrol recebe informaes na forma de graus de evidncia favorvel e contrria, faz
uma anlise paraconsistente que resulta em sinais representativos de estados lgicos e
graus de certeza e de incerteza. As duas formas de sada podem ser utilizadas no controle,
dependendo do projeto. O Paracontrol ainda oferece alternativa de ajustes de controle
Aspectos de Computao Inteligente Paraconsistente
69
Nos trabalhos relacionados com controle clssico de robs mveis autnomos descrevemse tcnicas tradicionais de planejamento e de navegao em roteiros conhecidos e
desconhecidos. Muito dos resultados apresentam tempo computacional muito alto ou um
sistema de controle muito complexo o que impossibilita a efetiva aplicao do controle.
Porm, a maior dificuldade o reconhecimento em situaes reais de mudanas de
ambiente, pois muitas indefinies e inconsistncias aparecem nas anlises dos sinais
captados.
A Lgica Paraconsistente Anotada Evidencial E possibilita considerar incertezas,
inconsistncias e paracompletezas de um modo no-trivial e por isso, se mostra mais
propcia no enquadramento de problemas ocasionados por situaes como essas.
O rob Emmy I obteve bons resultados apesar das limitaes tcnicas como ausncia de:
mltiplas velocidades, diferentes tipos de sensores, acionamentos de braos mecnicos,
sincronizao de velocidade entre os motores, amortecedores, freios, etc. Os testes
Aspectos de Computao Inteligente Paraconsistente
70
efetuados demonstram que o Paracontrol pode ser aplicado para ajudar a solucionar
problemas ligados a navegao de robs e tratamento de sinais representativos de
informaes sobre o ambiente.
O sistema de controle utilizando o Paracontrol apresenta boa capacidade de modificar o
comportamento do rob quando h modificaes inesperadas das condies ambientais.
Pode-se ver na Figura II o aspecto fsico do rob Emmy I.
71
O rob Emmy II constitui-se, basicamente, de dois sensores (S1 e S2) e dois motores
(motor 1 e motor 2) com rodas presas a seus eixos. Esses elementos esto acoplados a uma
plataforma circular de 25cm de dimetro. Um microcontrolador responsvel por receber
os sinais gerados pelos sensores de ultrassom, manipulando-os segundo o algoritmo Paraanalisador, e acionar os motores.
Os movimentos possveis neste rob so os seguintes:
1.
2.
Ir para trs em linha reta. Os motores 1 e 2 so acionados para trs ao mesmo tempo
com a mesma velocidade.
3.
Girar para a direita. Apenas o motor 1 acionado para frente com o motor 2 parado.
4.
Girar para a esquerda. Apenas o motor 2 acionado para frente com o motor 1
parado.
5.
Girar para a direita. Apenas o motor 2 acionado para trs com o motor 1 parado.
6.
Girar para a esquerda. Apenas o motor 1 acionado para trs com o motor 2 parado.
72
O sinal gerado pelo sensor S1 considera-se como grau de evidncia favorvel e o sinal
originado pelo sensor S2 considera-se como grau de evidncia contrria da proposio A
frente do rob est livre. Quando existe um obstculo prximo ao sensor S1 o grau de
evidncia favorvel baixo e quando o obstculo est distante do sensor S1 o grau de
evidncia favorvel alto. Por outro lado, quando existe um obstculo prximo ao sensor
S2 o grau de evidncia contrria alto e quando o obstculo est distante do sensor S2 o
grau de evidncia contrria baixo.
O rob decide qual movimento escolher baseado nos valores do grau de evidncia
favorvel, no grau de evidncia contrria e no sistema de controle proposto de acordo com
o reticulado com os respectivos estados lgicos extremos e no-extremos da Figura IV.
Figura IV. Reticulado com os estados lgicos utilizado pelo rob Emmy II
73
Significa obviamente que as respectivas rodas giram fazendo com que o rob se movimente para frente.
Este e outros abusos de linguagem so cometidos ao longo do trabalho.
74
girar para a direita. Aciona-se apenas o motor 1 para frente e mantendo o motor 2
parado.
- No estado de Falsidade (F), a frente do rob est obstruda por um o obstculo muito
prximo do rob. Portanto, a deciso recuar.
- No estado Quase-falso tendendo ao Inconsistente (QFT), a frente do rob continua
obstruda, com as seguintes caractersticas: o obstculo no est to prximo como na
Falsidade e o lado esquerdo est um pouco mais livre do que o direito. A deciso
girar para a esquerda acionando-se apenas o motor 1 para trs e mantendo-se o motor
2 parado.
- No estado Quase-falso tendendo ao Paracompleto (QF), a frente do rob continua
obstruda, do seguinte modo: o obstculo no est to prximo como na falsidade e o
lado direito est um pouco mais livre do que o esquerdo. A deciso girar para a
direita, acionando-se apenas o motor 2 para trs e mantendo-se o motor 1 parado.
A plataforma utilizada para a montagem do rob Emmy II possui aproximadamente 25 cm
de dimetro e 23 cm de altura. Os componentes principais do rob Emmy II so um
microcontrolador da famlia 8051, dois sensores de ultrassom e dois motores de corrente
contnua.
Os sensores de ultrassom so responsveis pela verificao de obstculos frente do rob.
Os sinais gerados pelos sensores so enviados para o microcontrolador. Os valores do grau
de evidncia favorvel () e do grau de evidncia contrria () na proposio A frente do
rob est livre so determinados pelo microcontrolador com base nos sinais recebidos dos
sensores de ultrassom. O microcontrolador tambm determina o movimento a ser
executado pelo rob, ou seja, qual motor deve ser acionado, com base na deciso
proveniente do Paracontrol.
75
A Figura V mostra o diagrama em blocos simplificado do rob mvel autnomo Emmy II.
Circuito de alimentao.
Circuito de controle.
Circuito de atuao.
A Figura VI mostra a vista frontal do rob Emmy II, a Figura VII mostra os dois sensores
ultrassnicos S1 e S2 e a Figura 8 mostra os motores do rob.
76
O rob Emmy II teve um desempenho satisfatrio nos testes realizados. Ele conseguiu
desviar da maioria dos obstculos existentes no ambiente de teste.
4
Tanto o rob Emmy I quanto o rob Emmy II so capazes de desviar de obstculos num
ambiente no estruturado. Mas, so incapazes de encontrar um destino pr-determinado e
se localizarem. O sistema de navegao e controle apresentado neste texto uma tentativa
de se construir um terceiro rob agora capaz de encontrar um destino num ambiente no
estruturado de forma autnoma. Esse rob seria chamado Emmy III. O Sistema de
Navegao e Controle do Rob Emmy III divide-se em trs partes: Subsistema Mecnico,
Subsistema de Planejamento e Subsistema de Sensoriamento.
Chama-se de Subsistema Mecnico a estrutura fsica do rob. Essa estrutura deve ser capaz
de carregar todos os sensores e dispositivos de controle que compe o Sistema de
navegao e Controle. O Subsistema Mecnico deve ser capaz de fornecer as informaes
necessrias para que o Sistema de Navegao e Controle funcione adequadamente, alm de
executar os movimentos determinados pelo Subsistema de Planejamento.
O Subsistema de Planejamento responsvel por gerar a sequncia de aes que a
estrutura mecnica deve realizar para sair de uma posio origem e alcanar uma posio
destino. Neste trabalho considera-se que o Subsistema de Planejamento mapeia o ambiente
Aspectos de Computao Inteligente Paraconsistente
77
78
79
tambm chamada de Subsistema Mecnico, deve ser capaz de interpretar esses nmeros e
executar os movimentos correspondentes.
O Subsistema Mecnico apesar de no ter sido implementado ainda, tem como base os
trabalhos anteriores, onde foram construdas as plataformas Emmy I e Emmy II.
Referncias
1.
2.
Da Silva Filho, J.I. & J.M. Abe, Para-Fuzzy Logic Controller Part I: A New Method
of Hybrid Control Indicated for Treatment of Inconsistencies Designed with the
Junction of the Paraconsistent Logic and Fuzzy Logic. In: International Icsc Congress
on Computational Intelligence Methods and Applications - CIMA99. 1999. Rochester
Institute of Technology, RIT, Rochester, N.Y., USA.
3.
Da Silva Filho, J.I. & J.M. Abe, Para-Fuzzy Logic Controller Part II: A Hybrid
Logical Controlller Indicated for Treatment of Fuzziness and Inconsistencies. In:
International Icsc Congress on Computational Intelligence Methods and Applications
- CIMA99. 1999b. Rochester Institute of Technology, RIT, Rochester, N.Y., USA.
4.
Da Silva Filho, J.I. & J.M. Abe, Para-Analyser and Inconsistencies in Control Systems.
In: Iasted International Conference on Artificial Intelligence And Soft Computing
(ASC99). Honolulu, Hawaii, USA, ago. 9-12, 78-85, 1999c.
5.
Da Silva Filho, J.I. & J.M.Abe, Emmy: a paraconsistent autonomous mobile robot, in
Logic, Artificial Intelligence, and Robotics. In: 2ND Congress of Logic Applied To
Technology Laptec2001. In: Abe, J.M.; Da Silva Filho, J.I. [edts.] Frontiers in
Artificial Intelligence and Its Applications. Amsterdam/Tokyo: IOS Press/Ohmsha, v.
71, 53-61, 287, 2001.
80
6.
Da Silva Filho, J.I. & J.M. Abe, Paraconsistent electronic circuits. International
Journal of Computing Anticipatory Systems, v. 9, 337-345, 2001.
7.
Da Silva Filho, J.I. & J.M. Abe, Para-Control: An Analyser Circuit Based On
Algorithm For Treatment of Inconsistencies. In: World Multiconference on Systemics,
Cybernetics And Informatics, Isas. Sci 2001, Vol. Xvi, Cybernetics and Informatics:
Concepts and Applications (Part I), Orlando, Florida, USA, 199-203, 2001.
8.
Silva Filho, J.I., C.R. Torres & J.M. Abe, Rob Mvel Autnomo Emmy: Uma
Aplicao Eficiente da Lgica Paraconsistente Anotada, Seleo Documental, ISSN
1809-0648, Nmero 3, Editora ParaLogike, Santos So Paulo, 19-26, JulhoSetembro/2006.
9.
10. Torres, C.R., J.M. Abe & G. Lambert-Torres, Sistema Inteligente para Controle de
Robs Mveis Autnomos. I Workshop UniversidadeEmpresa Em Automao,
Energia E Materiais. Taubat, So Paulo, 2004.
11. Torres, C.R., J.M. Abe & G. Lambert-Torres, Rob Mvel Emmy II. Coleo
Documentos, Srie Lgica e Teoria da Cincia, IEA-USP, n. 58, 1-14, 2005.
12. Torres, C.R., J.M. Abe & G. Lambert-Torres, Sistema Inteligente para Controle de
Robs Mveis Autnomos, Coleo Documentos, Srie Lgica e Teoria da Cincia,
IEA-USP, ISSN 16799429, Nmero 58, pg. 15-28, 2005b.
13. Torres, C.R., J.M. Abe & G. Lambert-Torres, Rob Mvel Autnomo Emmy II,
Seleo Documental, n. 4, ed. ParaLogike, Santos, So Paulo, 5-10, out./dez. de 2006.
14. Torres, C.R., Lambert-Torres, G., L.E.B. da SILVA & J.M. ABE, Intelligent System
of Paraconsistent Logic to Control Autonomous Moving Robots. In: 32nd Annual
Conference of The Ieee Industrial Electronics Society. Paris: IEEE Press, 2006.
Aspectos de Computao Inteligente Paraconsistente
81
15. Abe, J.M., Torres, C.R., Lambert-Torres, G., K. Nakamatsu & M. Kondo, Intelligent
Paraconsistent Logic Controller and Autonomous Mobile Robot Emmy II. Lecture
Notes in Computer Science, v. 4252, 851-857, 2006.
16. Abe, J.M., Torres, C.R., Lambert-Torres, G., K. Nakamatsu & M. Kondo, Intelligent
Paraconsistent Logic Controller and Autonomous Mobile Robot Emmy II. In: 10th
International Conference on Knowledge-Based, Intelligent Information & Engineering
Systems, KES2006, 2006, Bournemouth. Proceedings of the 10th International
Conference on Knowledge-Based, Intelligent Information & Engineering Systems.
Bournemouth - UK : KES Pub., 2006.
17. Torres, C.R., J.M. Abe & G. Lambert-Torres, Sistema Inteligente Paraconsistente para
Controle de Robs Mveis Autonmos. Seleo Documental, ISSN 1809-0648,
Nmero 7, Editora ParaLogike, Santos So Paulo, 13-18, Julho-Setembro/2007.
18. Torres, C.R. & M.R. Bombacini, Rob Autnomo com Sistema de Controle
microprocessado e Fundamentado em Lgica Paraconsistente. Seleo Documental, n.
5, ed. ParaLogike, Santos, So Paulo, 14-18, jan./mar. de 2007.
19. Abe, J.M., Lambert-Torres, G., Da Silva Filho, J.I., C.R. Torres & H.G. Martins,
Paraconsistent Autonomous Mobile Robot Emmy III. In: 6th Congress of Logic
Applied To Technology LAPTEC2007. Proceedings of the VI Congress of Logic
Applied to Technology. Santos, So Paulo, 2007.
20. Torres, C.R., Abe, J.M., Lambert-Torres, G., J.I. Da Silva Filho & H.G. Martins,
Autonomous Mobile Robot Emmy III. In: Nakamatsu, K., Phillips-Wren, G., Jain,
L.C., Howlett, R. J.[Orgs.]. New Advances in Intelligent Decision Technologies, 1 ed.
Helderberg: Springer-Verlag, v. 199, 317-327, 2009.
21. Abe, J.M., Torres, C.R., Lambert-Torres, G., Da Silva Filho, J.I. & H.G. Martins,
Paraconsistent Autonomous Mobile Robot Emmy III. In: Torres, G.L.; J.M. Abe; J.I.
Aspectos de Computao Inteligente Paraconsistente
82
83
Engenharia de Produo da
84
38. Abe, J.M. & J.I. Da Silva Filho, Inconsistency and Electronic Circuits. In:
International Icsc Symposium on Engineering of Intelligent Systems (EIS98). v 3.
ALPAYDIN, E. [ed.]. Artificial Intelligence, ICSC Academic Press International
Computer Science Conventions, Canada/Switzerland, 191-197, 1998.
39. Akama, S. & J.M. ABE, Fuzzy annotated logics. In: 8th International Conference On
Information Processing And Management Of Uncertainty In Knowledge Based
Systems, IPMU2000. Universidad Politcnica de Madrid (Spain), jul. 3-7, 2000,
Madri, Espanha, v. 1, 504-508, 2000.
40. Da Costa, N.C.A.; J.M. Abe & V.S. Subrahmanian, Remarks on Annotated Logic.
Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, v. 37, 561-570,
1991.
41. Da Costa, N.C.A., Abe, J.M., Da Silva Filho, J.I., A.C. Murolo & C.F.S Leite, Lgica
Paraconsistente Aplicada. So Paulo, Atlas, 1999
42. Da Costa, N.C.A., Prado, J.P.A., Abe, J.M., B.C. vila & M. Rillo, Paralog: Um
Prolog Paraconsistente Baseado Em Lgica Anotada. Coleo Documentos Srie
Lgica e Teoria da Cincia, col. Documentos, IEA - USP, So Paulo, n.18, 1-28, 1995.
43. Da Silva Filho, J. I., Implementao de Circuitos Lgicos Fundamentados em Uma
Classe de Lgicas Paraconsistentes Anotada. Dissertao. Escola Politcnica da
Universidade de So Paulo, So Paulo, 131pp, 1997.
44. Nakamatsu, K.; J.M. Abe & A. Suzuki, Defeasible Reasoning Between Conflicting
Agents Based on Valpsn. American Association For Artificial Intelligence - AAAI99,
AAAI Press American Association for Artificial Intelligence, Menlo Park, California,
USA, 20-27, 1999.
45. Nakamatsu, K.; J.M. Abe & A. Suzuki, Annotated Semantics for Defeasible Deontic
Reasoning, Rough Sets and Current Trends in Computing, The Second International
Aspectos de Computao Inteligente Paraconsistente
85
86
54. Desiderato, J.M.G. & E.N. De Oliveira, Primeiro Prottipo do Rob Mvel Autnomo
Emmy III. Monografia (Trabalho de Concluso de Curso). Universidade Metodista de
So Paulo, So Bernardo do Campo, SP, 2006.
55. Maran, L.H.C., Riba, P.A., R.G. Collett & R.R. De Souza, Mapeamento de um
ambiente no estruturado para orientao de um rob mvel autnomo utilizando
redes neurais paraconsistente. Monografia (Trabalho de Concluso de Curso).
Universidade Metodista de So Paulo, So Bernardo do Campo, 2006.
56. Leal, B.R., D.M. Da Silva & D.B.Vieira, Segundo Prottipo do Rob Mvel
Autnomo Emmy III. Monografia (Trabalho de Concluso de Curso). Universidade
Metodista de So Paulo, So Bernardo do Campo, SP, 2009.
87
Mauricio Conceio Mario1, Jair Minoro Abe2, Neli R. S. Ortega3, Marinho Del Santo Jr.4
1
88
as
informaes
originadas
pelas
variveis
craniomtricas.
As
variveis
89
on the PAL will be properly grouped into structures called Paraconsistent Artificial Neural
Networks - PANNet, so that they can process information arising from craniometric
variables. The craniometric variables are treated in blocks of PANNet to classify
malocclusion in anteroposterior and vertical dimensions, and an additional block of
PANNet Is used to evaluate the dental changes.
Keywords:
Craniometric
variables,
Paraconsistent
Annotated
Logic,
Diagnosis,
Introduo
90
pesquisa e simulaes:
Variveis Craniomtricas
2.1
Campos de Anlise
91
92
93
A Lgica Paraconsistente Anotada com anotao de dois valores - LPA2v uma extenso
da LPA e pode ser representada atravs de um reticulado de quatro vrtices [2] onde
podemos estabelecer algumas terminologias e convenes, do seguinte modo:
Seja = < ||, > um reticulado finito fixo, onde:
1. = [0, 1] [0, 1]
2. = {((1, 1), (2, 2)) ([0, 1] [0, 1])21 2 e 1 2} (onde indica a
ordem usual dos nmeros reais). Tal reticulado denomina-se reticulado de
valores-verdade.
5
Na anlise paraconsistente o objetivo principal saber com que medida ou grau de certeza
podemos afirmar que uma proposio Falsa ou Verdadeira. Portanto, considerado como
resultado da anlise apenas o valor do grau de certeza Gc. O valor do grau de contradio
Gct um indicativo que informa a medida da inconsistncia. Se houver um baixo valor de
certeza ou muita inconsistncia o resultado uma indefinio.
Denomina-se Clula Artificial Paraconsistente bsica (CAPb) o elemento capaz de,
composto de quando um par de graus de crena e descrena (u1a, u2a) for apresentado na
sua entrada fornecer um resultado na sua sada na forma de uma tripla dada por: Gct = grau
de contradio resultante, Gc = grau de crena resultante e X = constante de anotao
resultante Indefinido [7].
Na Clula Neural Artificial Paraconsistente bsica CNAPb representada pelo algoritmo
Para-Analisador, foram considerados todos os valores envolvidos nas equaes, sendo
assim, se os valores dos graus de certeza e de contradio estiverem fora dos valores
impostos pelos limites ajustveis, a sada um estado denominado de no-extremo, sendo
a este atribudo um valor indefinido I.
Aspectos de Computao Inteligente Paraconsistente
94
A partir da Clula Artificial Paraconsistente bsica (CAPb) foram criadas outras Clulas as
quais denominam-se Clulas Neurais Artificiais Paraconsistentes (CNAPs). Os estudos
das CNAPs deram origem a uma famlia de Clulas Neurais Artificiais Paraconsistentes
que constituem os elementos bsicos das Redes Neurais Artificiais Paraconsistentes RNAPs. Neste trabalho para elaborao do Classificador de Sinais foram necessrios
apenas trs tipos [7] de Clulas denominadas: Clula Neural Artificial Paraconsistente de
Aprendizagem CNAPap, que consegue aprender e memorizar um padro aplicado em
sua entrada; uma Clula Neural Artificial Paraconsistente de Conexo Lgica Simples de
Maximizao CNAPLs, que determina a sua sada pelo maior valor aplicado na entrada e
uma Clula Neural Artificial Paraconsistente de Deciso - CNAPd, que determina a sada
final resultante da anlise paraconsistente.
5.1
95
96
6.1
Quando uma varivel de paciente inserida em uma das unidades, ela ir ser comparada
com uma varivel normal de um banco de dados com as mdias das variveis normais de
uma amostra da populao brasileira de crianas e adolescentes de 6 a 18 anos, feminino e
masculino, e que est armazenado na prpria rede. A varivel do paciente comparada
com uma varivel normal, e a comparao segue o critrio de que a varivel normal tenha
sido obtida de pessoas com mesmo sexo e idade do paciente.
A parametrizao ser efetuada dentro do intervalo de trabalho da Lgica Paraconsistente,
ou seja, sero atribudos valores entre 0 e 1; todas as variveis normais tero valor 1,
e, s variveis dos pacientes, sero atribudos valores proporcionais de acordo com os
seguintes critrios:
- Se a varivel do paciente for igual a varivel normal (considerando mesmo sexo e
idade), indicando que o paciente tem a respectiva medida normail, ser atribudo um
grau de evidncia = 0 para esta varivel. O grau de evidncia, portanto, um
indicador da discrepncia entre a medida da varivel do paciente e uma varivel
normal. O grau de evidncia da varivel do paciente se aproximar de 1 quando sua
medida estiver prxima a trs vezes o valor do desvio padro estipulado para a
varivel, no banco de dados utlizado.
6.2
Mdulo de Modelagem
A curva da variao do grau de evidncia para cada varivel ser moldada com o desvio
padro variando de acordo com os valores das variveis. Tal efeito far com que as curvas
tenham as caractersticas de diferentes inclinaes de acordo com o valor das variveis, e
de formato simtrico, o que as aproxima dos casos reais.
Aspectos de Computao Inteligente Paraconsistente
97
6.3
Clula de Aprendizagem
Esta unidade dividida em dois nveis, sendo que o primeiro nvel ou nvel I trata as
variveis anb e wits, classificando suas diferentes combinaes nas classificaes de
malocluso anteroposterior:
a) Classe I
b) Classe II
c) Classe III
98
99
A combinao das avaliaes dos grupos I, II e III tambm resultar em uma avaliao
normal, vertical ou horizontal.
Ainda so fornecidos os graus de evidncia das variveis NaAns e AnsMe [14].
6.8
100
e) tende a lingualizado
As classificaes vestibularizado e lingualizado vm acompanhadas dos respectivos graus
de evidncia.
7
101
Validao e resultados
Discusso
102
2.
Abe, J.M & J.I Da Silva Filho, Inconsistency and Electronic Circuits, Proceedings of
The International ICSC Symposium on Engineering of Intelligent Systems (EIS98),
103
Ackerman, J.L. & W.R. Proffit, Soft tissue limitations in Orthdontics: treatment
planning guidelines, Angle Orthod, 1997.
4.
5.
Bishop, C.M., Neural Networks for Pattern Recognition. 1.ed. Oxford University
Press, 1995.
6.
Da Costa, N.C.A., J.M. Abe & V.S. Subrahmanian, Remarks on Annotated Logic,
Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, Vol.37, 561570, 1991.
7.
Da Silva Filho, J.I. & J.M. Abe, Fundamentos das Redes Neurais Paraconsistentes:
Destacando Aplicaes em Neurocomputao. So Paulo, Arte & Cincia, 2001.
8.
9.
104
13. Mcculloch, W. & W. Pitts, A Logical Calculus of the Ideas Immanent in Nervous
Activity. Bulletin of Mathematical Biophysics, 1943.
14. Moyers, R., Ortodontia. Rio de Janeiro, Guanabara Koogan, 1988.
15. Rezende, S.O.,Sistemas Inteligentes,Fundamentos e Aplicaes. So Paulo, Manole,
2003.
16. Rich, E. & K. Knigth, Artificial Intelligence. NY, Mc Graw Hill, 1983.
17. Riolo, M.L., Moyers, R.E., J.S.Jr. Mcnamara & W.S. Hunter, An Atlas of Craniofacial
Growth, University of Michigan, 1974.
18. Rosenblatt, Principles of Neurodynamics. NY, Spartan Books, 1962.
19. Russel, S. & P. Norvig, Inteligncia Artificial. SP, Campus, 2004.
20. Siebert, W., Stimulus Transformation in Peripheral Auditory System in Recognizing
Patterns. Cambridge, Ed. Murray Eden, MIT Press, 1968.
21. Suzuki, Y., Self-Organizing QRS-Wave Recognition in ECG Unsing Neural Networks
IEEE Trsnd. On Neural Networks, 6, 1995.
22. Subrahmanian, V.S., On the Semantcs of Quanttatve Logc Programs, In: 4th IEEE
Symposium on Logic Programming, Computer Society Press. Washington D.C.,173182, 1987
23. Zerbini, R.C., Metodologia para a Classificao de VCG atravs de redes neurais.
Tese, Escola Politcnica da USP, Brasil, 1993.
105
Jair Minoro Abe - Bacharel e Mestre em Matemtica, Doutor em Filosofia e LivreDocente em Medicina, todos pela Universidade de So Paulo. Foi Professor Visitante ou
Palestrista ocasional em instituies da Amrica do Sul, Europa, Mxico, Japo e Taiwan.
Coordena um grupo de estudiosos em aplicaes das lgicas paraconsistentes anotadas e
coordena a rea de Lgica e Teoria da Cincia do Instituto de Estudos Avanados da USP.
Professor Titular da Universidade Paulista.
106
107
Prefeitura do Municpio de So Paulo - Secretaria de Planejamento, Oramento e Gesto Coordenadoria de Gesto de Pessoas.
estatisticoeuro@hotmail.com
Resumo. Este texto sugere sobre como calcular um tamanho de amostra com base no uso
de um instrumento de coleta de dados formado por itens categricos. Os argumentos para
esta sugesto esto embasados nas teorias da Combinatria e da Lgica Paraconsistente. O
propsito sugerir um procedimento de clculo simples e prtico para obter um tamanho
de amostra aceitvel para coletar informaes, organiz-las e analisar dados de uma
aplicao de um instrumento de coleta de dados baseado, exclusivamente, em itens
discretos (itens categricos), ou seja, cada item do instrumento considerado como uma
varivel no-paramtrica com um nmero finito de categorias. Uma frmula para o clculo
do tamanho da amostra foi proposta para tamanhos de populao desconhecidos e um
ajuste dessa frmula foi proposto para populaes de tamanho conhecido.
Palavras-chave: Amostragem, Clculo do tamanho da amostra, Lgica Paraconsistente,
Estatstica no-paramtrica, Instrumento de coleta de dados.
Abstract. This text suggests how to calculate a sample size based on the use of a data
collection instrument consisting of categorical items. The arguments for this suggestion are
based on theories of Combinatorics and Paraconsistent Logics. The purpose is to suggest a
practical and simple calculation procedure to obtain an acceptable sample size to collect
108
Introduo
Mesmo toda Lgica sendo binria, a dimensionalidade das lgicas varia, em termos de que
elas conseguem traduzir, de modo binrio e/ou multidimensional, suas caractersticas
109
Figura I. Esquema didtico-lgico, demonstrando a estrutura do raciocnio humano e sua inter-relao direta
frente aos estados lgicos da Lgica Paraconsistente Anotada Evidencial
110
cE k cE
n1 = i
2 i =1 2
Aspectos de Computao Inteligente Paraconsistente
(1)
111
(2)
onde:
n2 tamanho da amostra considerando o grau de similaridade
gS grau de similaridade
Conhecendo-se o grau de similaridade, calculamos o tamanho da amostra. O problema
reside no fato de que esse grau de similaridade , na prtica, desconhecido, apesar de
passvel de estimao. Logo, desejamos buscar um estimador para o grau de similaridade.
O grau de similaridade apresenta-se como inversamente proporcional ao nmero de
categorias originais do instrumento de coleta. Ento, podemos escrever que:
1 gS
1
cO
(3)
112
n2 =
1
n1
cO
(4)
Com isso, o tamanho da amostra (n) poder ser calculado do seguinte modo:
c E k ciE
2
2
i =1
n= O
c
(5)
c E k ciE
2
i =1 2
n=
k
c
i =1
(6)
O
i
O numerador da frmula (6) tem sua base assentada sobre o nmero de categorias efetivas
(de teor paraconsistente), enquanto que o denominador caracterizado pelo nmero de
categorias originais (de teor clssico).
Para amostras ditas pequenas [7], e/ou, para clculos de tamanho de amostra em que seja
necessrio, por razes tcnicas, levar em conta o tamanho da populao da qual a amostra
ser coletada [4] [12] [5], pode-se ajustar o clculo acima, considerando a frmula (7):
113
c E k ciE
2
i =1 2
k
n=
c
i =1
O
i
(7)
c E k ciE
1 2 i =1 2
1+
1
k
N
O
ci
i =1
onde:
N tamanho da populao
Pela frmula (7), quando o tamanho da populao for relativamente pequeno, haver um
ajuste a ser levado em conta, e tanto maior seja o tamanho da populao, o ajuste ser cada
vez menor, fazendo com que a frmula (7) possa ser substituda pela frmula (6).
Um grau de perda de observaes, sugere [11], (um percentual entre maior do que 0% e
menor do que 100%) pode ser incrementado: seja p a proporo de perdas esperada,
mostrada na frmula (8):
n =
n
1 p
4.1
Vantagens
(8)
114
Desvantagens
115
2.
3.
Borg, I & P.J.F. Groenen, Modern multidimensional scaling theory and applications,
2ed. New York, Springer, 2005.
4.
Cochran, W., Sampling Techniques, 2nd ed., Boston, John Wiley & Sons, 1985.
5.
6.
116
Gordon, I. & R. Watson, A note on sample size determination for comparison of small
probabilities, Control Clin Trials, 15: 77-9, 1994.
8.
Grifitts, H.B. & P.J. Hilton, Matemtica Clssica - uma interpretao contempornea,
So Paulo, Edgard Blucher, EDUSP, 1975.
9.
10. Kish, L., Survey sampling, New York, John Wiley & Sons, 1965.
11. Skalski, J.R., Sample size calculations for Normal variates under Binomial censoring,
Biometrics, 48: 877-82, 1992.
12. Vickers, A., How to reduce the number of patients needed for randomized trials: a
basic introduction. Complement Ther Med, 9: 234-6, 2001.
Euro de Barros Couto Junior - Possui graduao em Cincias Fsicas e Biolgicas pela
Faculdade Tibiri (1984), graduao em Estatstica pelo Instituto de Matemtica e
Estatstica da Universidade de So Paulo (1990), mestrado (2002) e doutorado (2004) em
Cultura e Literatura Russas pela Faculdade de Filosofia, Letras e Cincias Humanas (USP especialidade: Histria da Msica Russa) e doutorado em Cincias pela Faculdade de
Medicina da Universidade de So Paulo (2009 - especialidades: Bioestatstica e
Amostragem No-paramtrica). Trabalhou na Prefeitura do Municpio de So Paulo, como
estatstico, entre junho de 1992 e junho de 2007. Entre junho de 2007 e dezembro de 2008,
trabalhou como estatstico comissionado da Faculdade de Medicina da USP (LIM-01,
Informtica Mdica). Voltou a exercer suas atividades como estatstico, na Prefeitura do
Municpio de So Paulo, a partir de 1 de janeiro de 2009. A partir de 2007, passou a
integrar o Grupo de Lgica e Teoria da Cincia (IEA-USP), como membro colaborador.
117
inconsistentes
paracompletos
sem
trivializao.
processo
de
118
Artificial
Intelligence,
Pattern
Recognition,
Character
Recognition,
Introduo
reconhecimento
de
caracteres.
Embora
existam
vrios
estudos
em
reconhecimento de caracteres [4] [9] [15], escolhemos o estudo desse ramo devido sua
intrnseca importncia e constante desenvolvimento, alm de permitir ajustes para o
reconhecimento de diferentes tipos de sinais. Esse estudo realizado atravs do uso de um
novo tipo de Rede Neural Artificial (RNA) baseada na Lgica Paraconsistente Anotada
Evidencial E [1].
O reconhecimento de caracteres uma das mais conhecidas e exploradas modalidades de
reconhecimento de padres que, grosso modo, consiste em extrair algumas caractersticas
119
120
121
Metodologia
122
3.1
123
O conjunto de listas de graus de evidncia obtido nessa fase considerado como entrada
do processo de extrao de caractersticas.
3.2
Extrao de Caractersticas
124
No final desse processo, teremos listas de graus de evidncia que representam cada uma
das caractersticas extradas da imagem para compor a entrada da fase "Reconhecimento da
imagem".
125
Reconhecimento da Imagem
126
No final desse processo cada caractere padro ter um nico grau de evidncia de
reconhecimento. O caractere padro com maior grau de evidncia representa o caractere
reconhecido e, o caractere padro com menor grau de evidncia representa o caractere
descartado pelo sistema (4 camada, Figura II).
Resultados
O desempenho do sistema foi avaliado com dados reais de lotes de cheques bancrios
brasileiros e caracteres numricos manuscritos digitalizados.
O melhor desempenho do sistema para ambos os tipos de caracteres, CMC7 e caracteres
numricos manuscritos, foi obtido considerando apenas as seguintes caractersticas:
"Histograma: Borda Externa", "Histograma: Borda Diagonal Interna (direita/esquerda)" e
"Histograma: Borda Diagonal Interna (esquerda/direita)".
127
Caractere
0
Acurcia
0,995
264
261
98,86
0,989
1,000
0,998
122
120
98,36
0,984
1,000
0,999
153
152
99,35
0,993
0,998
0,998
152
151
99,34
0,993
1,000
0,999
190
17
173
91,05
0,911
1,000
0,991
111
109
98,20
0,982
0,993
0,993
98
97
98,98
0,989
1,000
0,999
146
145
99,31
0,993
0,999
0,999
102
98
96,08
0,961
0,996
0,994
78
69
88,46
0,885
1,000
0,995
39
39
100,00
1,000
0,994
0,994
39
38
97,44
0,974
1,000
0,999
1,930
2.23%
97.77%
Total
O melhor teste realizado pelo sistema com caracteres numricos manuscritos utilizando
uma amostra de 1.050 caracteres apresentou 91,14% de acertos. A quantidade de acertos,
erros e valores de Sensibilidade, Especificidade e Acurcia so apresentados na Tabela II
para cada caractere numrico manuscrito.
128
92
30
62
67,39
0,674
0,997
0,969
121
117
96,69
0,967
0,985
0,983
134
13
121
90,30
0,903
0,993
0,982
85
76
89,41
0,894
0,996
0,988
103
24
79
76,70
0,767
0,997
0,974
104
103
99,04
0,990
0,972
0,974
88
87
98,86
0,989
0,991
0,990
116
109
93,97
0,940
0,981
0,976
98
94
95,92
0,959
0,998
0,994
1.050
8,86%
91,14%
Total
Concluso
2.
129
Abe, J.M., Lopes, H.F.S. & R. Anghinah, Paraconsistent Artificial Neural Network
and Alzheimer Disease: A Preliminary Study. Dementia & Neuropsychologia, vol. 3,
241-247, 2007.
4.
5.
Amend, K. & M.S. Ruiz, Handwriting Analysis: The Complete Basic Book. Franklin
Lakes, NJ, 1980.
6.
Bortolozzi, F., Brittto Jr, A.S., L.E.S. Oliveira & M. Morita, Recent Advances in
Handwriting Recognition. In: Umapada Pal; Swapan K. Parui; Bidyut B. Chaudhuri.
(Org.). Document Analysis, Chennai, 1-30, 2005.
7.
Da Silva Filho, J.I., Paraconsistent algorithm extractor of contradiction's effects ParaExtrctr (in Portuguese). Seleo Documental, Santos, vol. 15, 21-25, 2009.
8.
Da Silva Filho, J.I., Lambert-Torres, G. & J.M. Abe, Uncertainty Treatment Using
Paraconsistent Logic Introducing Paraconsistent Artificial Neural Networks. IOS
Press, Holanda, 211, 328, 2010.
9.
130
131
Abstract. This work presents the development of a braking system for labeling machines
in general. Who uses Annotated Paraconsistent Evidential Logic E, based on signal
Aspectos de Computao Inteligente Paraconsistente
132
Introduo
O processo de produo sofre atrasos frequentes, principalmente por apresentar sua linha
de produo montada em estgios subsequentes. Segundo [17] atrasos ocorrem por falha
operacional ou por necessidade de manuteno dos equipamentos, caso particular da
produo de refrigerantes envasados em garrafas de politereftalato de etileno (PET). O
primeiro estgio da produo define o formato da garrafa (PET), que se trata de um tubo
plstico (pr-forma) que aquecido, colocado em um molde e aps receber uma carga de
ar, toma a forma final. O equipamento utilizado nesse processo denominado sopradora.
No segundo estgio a garrafa recebe o rtulo do produto em um equipamento denominado
rotuladora e no terceiro estgio o lquido inserido na garrafa em um equipamento
denominado enchedora.
Em levantamento de campo das paradas em um perodo de 30 dias conforme mostra a
Tabela I, constatou-se que a mquina que apresenta nvel mais elevado de problemas a
Aspectos de Computao Inteligente Paraconsistente
133
Paradas dirias
(perodo de 30 dias)
Sopradora
Rotuladora
Enchedora
17
70
31
Objetivo
Esse trabalho tem como objetivo a automatizao do sistema de frenagem de uma mquina
usada para colocar rtulo em garrafas PET. Tentando assim reduzir o nmero excessivo de
paradas.
134
Rotuladora
135
Enchedora
Materiais e Mtodos
136
137
Estudo de Caso
O estudo de caso foi realizado em uma fbrica de refrigerantes real que contribui com
apoio financeiro e com sua estrutura para realizao dos testes. Por opo da empresa seu
nome no pode ser revelado neste trabalho por critrios de sigilo industrial.
Na medida em que a bobina de rtulos vai sendo consumida necessrio aplicar uma
frenagem com maior intensidade sobre o eixo de sustentao da bobina de rtulos, para
que no ocorra um desalinhamento do rtulo Figura V.
138
7.1
3
1
2
Figura V. Sistema de Frenagem Manual
A Tabela II mostra dados da produo usando o freio manual, essa amostra foi coletada por
um perodo de 30 dias, perodo compreendido entre: 01/03/2011 30/03/2011.
139
Data
01/3/2011
02/3/2011
03/3/2011
04/3/2011
05/3/2011
06/3/2011
07/3/2011
08/3/2011
09/3/2011
10/3/2011
11/3/2011
12/3/2011
13/3/2011
14/3/2011
15/3/2011
16/3/2011
17/3/2011
18/3/2011
19/3/2011
20/3/2011
21/3/2011
22/3/2011
23/3/2011
24/3/2011
25/3/2011
26/3/2011
27/3/2011
28/3/2011
29/3/2011
30/3/2011
Total
Nmers
Paradas
85
73
52
55
47
52
54
62
43
38
38
45
58
48
53
48
50
40
38
42
38
38
38
43
53
53
45
35
53
48
1465
Tempo Parado
(minuto)
32
13
10
12
9
8
7
12
10
5
6
5
12
9
15
23
12
9
23
19
17
15
13
13
9
13
13
6
10
12
372
Perda
Garrafa
1
1
1
1
1
1
1
1
1
1
1
1
4
2
18
Perda Rtulo
(unidade)
55
12
8
13
14
10
18
25
8
10
11
13
8
10
4
13
10
8
11
6
6
12
15
12
14
23
24
12
4
5
394
140
10
Leitura do CLP
Para determinar a frenagem a ser aplicada no eixo de sustentao da bobina rtulos pelo
disco de freio, sero analisadas trs proposies:
1. motor em alta rotao;
2. bobina pequena;
3. a intensidade da frenagem alta.
Proposio 1: Motor em alta rotao
Para a leitura da rotao do motor a tarefa ser divida em duas partes:
Chamada de tempo um (t1)
Chamada de tempo dois (t2), onde t2 = t1 + t e t = 5 ms.
Em t1, o CLP indica na sua sada y8, um sinal analgico que varia de 0 Volts a 5 volts,
indicando a rotao do motor. O microcontrolador envia um sinal de nvel lgico 1, atravs
do pino P26 ao CLP, ao perceber o sinal na entrada x8, o CLP atravs da sada Y8 envia
um sinal analgico ao pino P25 do microcontrolador.
Ao perceber um sinal no pino P25, o microcontrolador interrompe o seu processamento
para atender a chamada externa. O valor recebido no pino P25 guardado por uma varivel
chamada de Evidncia Favorvel a proposio p = motor em alta rotao 2, Figura VI.
Aps fazer a leitura da primeira varivel (2) contado um tempo de 5 ms, para efetuar a
leitura da segunda varivel (2).
141
11
Leitura do Sensor
142
143
144
145
Primeira situao:
Aps fazer a leitura da rotao do motor, ser verificado se 2 = 0, se verdadeiro calcular o
Gce da primeira proposio p = motor em alta rotao. Nesse caso o motor est parado,
Figura X.
Motor: 2= 0 e 2 = 1;
Gce = |( - ) = (0 - 1)| = 1
Nessa situao calculado o Gce, devido 2 ser igual a zero e aplicada uma frenagem 1.0,
numa escala que varia de 0 a 1, ou seja, a frenagem deve ser mxima.
146
Caso o motor no esteja parado, verificada a segunda fonte de informao (sensor), para
que seja maximizado o grau de evidncia favorvel e minimizado o grau de evidncia
desfavorvel, das duas primeiras proposies, na sequncia calculado o Gce da terceira
proposio.
Segunda Situao:
O motor em alta rotao e a bobina pequena, Figura XI.
Motor: 2= 0.8 e 2 = 0.2;
Sensor: 1= 0.7 e 1 = 0.3;
Maximizao: 2 = 0.8;
Minimizao: 1 = 0.2;
Gce = |( - ) = (0.8 - 0.2)| = 0.6
147
Terceira situao:
O motor em baixa rotao e a bobina grande Figura XII.
Motor: 2 = 0.1 e 2 = 0.9;
Sensor: 1 = 0.2 e 1 = 0.8;
Maximizao: 1 = 0.2;
Minimizao: 1 = 0.8;
Gce = |( - ) = (0.2- 0.8)| = 0.6
148
149
12
150
Data
Nmero Paradas
Tempo Parado
Perda Garrafa
Perda Rtulo(unidade)
01/5/2011
02/5/2011
03/5/2011
04/5/2011
05/5/2011
06/5/2011
07/5/2011
08/5/2011
09/5/2011
10/5/2011
11/5/2011
12/5/2011
13/5/2011
14/5/2011
15/5/2011
16/5/2011
17/5/2011
18/5/2011
19/5/2011
20/5/2011
21/5/2011
22/5/2011
23/5/2011
24/5/2011
25/5/2011
26/5/2011
27/5/2011
28/5/2011
29/5/2011
30/5/2011
Total
80
70
45
50
45
50
40
51
40
35
35
37
49
45
33
37
31
28
35
40
38
33
21
34
50
45
28
32
40
45
1242
30
13
8
10
9
8
7
6
9
5
4
5
6
8
12
23
12
8
23
19
17
15
12
13
8
7
13
6
5
3
324
1
1
1
1
1
1
1
1
1
4
2
15
5
18
1
61
12
15
10
4
15
18
6
6
50
21
23
53
4
4
326
13
Resultados Mquina
151
Nmero Paradas
Tempo Parado (minuto)
Perda Garrafa (unidade)
Perda Rtulo
Freio Manual
1465
372
18
394
Freio Eletromagntico
1242
324
15
326
14
Discusso
152
ii.
iii.
iv.
v.
vi.
153
Concluso
A empresa utilizada como estudo de caso mantm uma linha de produo adicional para o
perodo de alta temporada. Levando-se em considerao que o perodo de alta temporada
corresponde a apenas quatro meses do ano, em um perodo de oito meses a referida linha
se mantm inativa. Para a empresa ocorre um desperdcio de investimento em
infraestrutura, pois a linha reserva poderia estar sendo utilizada em outra planta fabril.
Se a automatizao da mquina rotuladora melhorar em apenas 20% a sua produtividade se
justifica a mudana do modelo manual para o modelo automatizado, pois a empresa possui
seis linhas de produo sendo uma reserva. Um aumento de 20% na produtividade em
cinco linhas de produo corresponde a produtividade de uma nica linha. Sendo assim a
linha sobressalente pode ser realocada para outra planta fabril.
No estudo de caso obteve-se um ganho de 15% do modelo automatizado em relao ao
modelo manual, portanto, faltam apenas 5% no aumento de produtividade para que a linha
adicional possa ser desativada.
Como trabalho futuro, pode-se realizar uma reanlise do processo produtivo das linhas de
produo a fim de se reduzir em 5% a ineficincia das mesmas.
Os resultados mostraram que a Lgica Paraconsistente Anotada Evidencial E bastante
eficiente para tratamento de informaes e pode ser empregada no controle de processos
industriais.
Referncias
1.
2.
154
Abe, J.M & J.I Da Silva Filho, Logic, Artificial Intelligence, and Robotics, Editors,
Frontiers in Artificial Intelligence and Its Applications, IOS Press, Amsterdan,
Ohmsha, Tokyo, Vol. 71, 287p., 2001.
4.
Abe, J.M & J.I Da Silva Filho, Manipulating Conflicts and Uncertainties in Robotics,
Multiple-Valued Logic and Soft Computing, V.9, 147-169, 2003.
5.
Abe, J.M., Para-fuzzy logic controller. Lecture Notes In Computer Science, 3214,
Springer, 935-941, 2004.
6.
Abe, J.M., C.R. Torres & K. Nakamatsu, Intelligent Paraconsistent Logic Controller
and Autonomous Mobile Robot Emmy II, Lecture Notes in Computer Science,
Springer, 4252, 851-857, 2006.
7.
Abe, J.M., Annotated logics Qt and model theory, in Logic, Artificial Intelligence, and
Robotics, Proc. 2nd Congress of Logic Applied to Technology LAPTEC2001, Edts.
8.
Abe, J.M & J.I Da Silva Filho, Frontiers in Artificial Intelligence and Its Applications,
IOS Press, Amsterdan, Ohmsha, Tokyo, Editores, Vol. 71, ISBN 1 58603 206 2 (IOS
Press), 4 274 90476 8 C3000 (Ohmsha), ISSN 0922-6389, 1-12, 287, 2001.
9.
Abe, J.M & J.I Da Silva Filho, Manipulating Conflicts and Uncertainties in Robotics,
Multiple-Valued Logic and Soft Computing, V.9, ISSN 1542-3980, 147-169, 2003.
10. Abe, J.M., Da Silva Filho, J. I., U. Celestino & H.C. Arajo, Lgica Paraconsistente
Anotada Evidencial E. Santos, Editora Comunnicar, 2011.
11. vila, B.C., Uma Abordagem Paraconsistente Baseada em Lgica Evidencial para
Tratar Excees em Sistemas de Frames com Mltipla Herana. Tese. Universidade
de So Paulo, So Paulo, 133, 1996.
12. Acroname. Disponivel em Acroname Robotics http:// www.acroname.com, acessado
em outubro, 2011.
155
156
M.P.,
Automation,
production
systems,
and
computer-integrated
Acesso
em
novembro
2011,
disponvel
em:
http://www.mitsubishielectric.com/company/ir/index.html
32. Multi.
Acesso
em
dezembro
2011,
disponvel
em:
http://loja.multcomercial.com.br/ecommerce_site/produto_4700_4689_Programadore-Gravador-USB-e-ICD2-para-Microcontroladores-PIC-MultiPROG-2
33. Pereira, F., Microcontroladores pic Programando em C. So Paulo, Erica, 2003.
34. Prado, J.P.A., Uma Arquitetura em Inteligncia Artificial Baseada em Lgica
Paraconsistente, Tese. Universidade de So Paulo, So Paulo, 1996.
35. Reale, G. & D. Antiseri, Histria da Filosofia - Antiguidade e Idade Mdia (Vol.
vol.1). So Paulo, Paulus.
36. Romi,
Acesso
em
dezembro
2011,
disponvel
em:
http://www.romi.com.br/fileadmin/Editores/IP/Catalogos/Portugues/MP_Inform_2011
_AA_BX.pdf.
157
158
159
Introduo
Em vista do avano da Inteligncia Artificial (IA), com aplicao nos mais variados
campos, tais como robtica, automao industrial, etc. torna-se natural tentar aplic-la no
auxlio s pessoas portadoras de deficincia fsica.
A Organizao Mundial de Sade (OMS) define como Cegueira Legal a acuidade visual,
no olho de melhor viso, sendo este igual ou menor que 6/60, ou correspondente perda de
campo visual, sendo este restrito a 20 graus de amplitude, com a melhor correo ptica,
ou seja, o que uma pessoa com viso normal consegue ler ao se colocar a uma distncia 60
metros, uma pessoa com baixa viso s poder ler a seis metros de distncia [11].
Acuidade visual ou agudeza visual a capacidade de transformar estmulos luminosos, que
so refletidos dos objetos que esto nossa volta em imagens, permitindo sua identificao
e localizao [14].
Aspectos de Computao Inteligente Paraconsistente
160
161
Metodologia
162
A lgica clssica limita-se apenas a dois estados lgicos, o verdadeiro e o falso. Quase
todos os conceitos do mundo real possuem um grau de impreciso, e ao manipular
elementos deste mundo tm-se respostas que no sero absolutamente falsas ou
verdadeiras.
A Lgica Paraconsistente pertence classe das lgicas chamadas no-clssicas e teve
origem nos trabalhos elaborados e publicados em 1948, de modo independente, por
Stanislaw Jaskowski, um polons, e pelo brasileiro Newton C.A. da Costa.
Esses
trabalhos
pioneiros
consideravam
contradio
foram
denominados
paraconsistentes, que significa ao lado de. O termo foi cunhado pelo filsofo peruano
Francisco Mir Quesada em 1976.
Um sistema lgico nomeia-se paraconsistente se puder ser empregado como lgica
subjacente de teoria inconsistente, porm, no-triviais. Isto leva a derrogar o princpio da
no-contradio, entre duas proposies contraditrias, uma falsa.
A Lgica paraconsistente permite manipular sistemas informacionais inconsistentes e
extraordinariamente fortes, sem a necessidade de eliminar as contradies e sem a
ocorrncia de trivializao [4].
Na Lgica Paraconsistente Anotada (LPA) as frmulas proposicionais vm acompanhadas
de anotaes. Cada anotao pertencente a um reticulado finito , que atribui valores sua
correspondente frmula proposicional. Percebe-se o significado da proposio por meio de
uma linguagem.
163
= verdadeiro
= falso
= inconsistente
= paracompleto
164
165
Algoritmo Para-analisador
Hardware
5.1
Microcontrolador
166
5.2
Sensor de Ultrassom
167
5.3
O sentido do tato se encontra por toda a superfcie do corpo humano no havendo uma
regio especfica, uma vez que todo o tecido possui receptores nervosos que percebem
vibraes e variaes de temperatura.
A interface entre o usurio e o dispositivo feita atravs do sentido mais usado pelo
deficiente visual, o tato. Por intermdio desse sentido podem-se perceber os ambientes,
como ao se fazer uso da bengala e utiliz-la como uma extenso dos braos, ou quando se
faz a leitura de um texto em Braille.
Para enviar as informaes ao usurio do dispositivo foram utilizados dois micromotores
vibratrios eltricos de corrente contnua com dimetro de 7mm e comprimento de
16,5mm. A tenso de alimentao dos motores variam entre 1.3VCC com uma corrente de
60 mA [14].
A vibrao dos motores permite que o usurio crie uma imagem mental do ambiente o qual
ele est percorrendo. O motor vibratrio um motor eltrico de corrente contnua, com o
eixo fora do centro. Quando o motor comea a girar esse eixo fora do centro produz uma
vibrao que pode ser percebida pelo usurio do dispositivo.
Alimentao do Circuito
A alimentao do dispositivo feita por quatro pilhas recarregveis modelo AA NiMH
(Nquel-Metal Hydride). Cada pilha com uma tenso nominal de 1,2 Volts associadas em
168
5.4
Dispositivo Keller
Aps a realizao da pesquisa junto aos colaboradores deficientes visuais que contriburam
de forma atuante, foi observado que havia uma preocupao em proteger os membros
superiores, bem como o rosto e os ombros, pois o uso de uma bengala proporciona uma
varredura muito eficiente, porm, com uma cobertura limitada e, conforme foi constatado,
a bengala faz a deteco somente de objetos estticos, no dando ao deficiente visual a
percepo de objetos que se movem.
Segundo a ABNT, barreira arquitetnica, urbanstica ou ambiental "qualquer elemento
natural, instalado ou edificado que impea a aproximao, transferncia ou circulao no
espao, mobilirio ou equipamento urbano" [5].
Com base na pesquisa que consultou a opinio do pblico interessado no desenvolvimento
desse projeto conclui-se que o melhor local para a fixao dos sensores neste prottipo
seria em culos, por ser um acessrio que j est incorporado ao dia-a-dia do deficiente
visual. Com estas consideraes iniciais, foi possvel avanar uma etapa importante: a de
adaptao com mais uma fonte de informao, as fornecidas pelos sensores de ultrassom.
169
170
Memorizao do Ambiente
171
Obstculo
Por definio do dicionrio Aurlio, obstculo tudo que impede ou dificulta a realizao
de alguma coisa; embarao, estorvo ou impedimento.
Precisamos desta definio para poder fazer uma considerao importante sobre o que
obstculo e o que uma situao que compe um ambiente.
Vamos dar o exemplo de uma mesa em uma sala: se a mesa no estiver fora do local onde
normalmente deve estar ela no por assim dizer um obstculo, pois ela pertence ao
contexto daquela sala. Porm, se nesta mesma sala encontra-se uma cadeira muito afastada
da mesa em um local que pode atrapalhar a passagem de pessoas, ento podemos dizer que
esta cadeira um obstculo.
Estas constataes vm ao encontro do objetivo do prottipo que estamos desenvolvendo:
detectar a presena ou a ausncia de um obstculo e gerar informaes suficientes para que
o usurio tome suas prprias decises.
A identificao de um obstculo pode servir de subsdio para o deficiente visual, pois este
passa a ser um ponto de referncia para a sua locomoo.
172
173
Concluso
Pelos testes realizados, tendo em vista a preciso das informaes passadas pelo
dispositivo ao usurio, pde ser constatado que o dispositivo atende s expectativas iniciais
deste projeto, informando ao usurio quanto existncia de obstculos.
O trabalho mostra que no tem a pretenso de criar um dispositivo que prive o deficiente
de sua individualidade, e nem alterar a maneira como se comporta ao se locomover.
Com a avaliao dos resultados alcanados, constatou-se, mais uma vez, que a Lgica
Paraconsistente Anotada surge como uma importante ferramenta no desenvolvimento de
projetos ligados rea de IA e robtica.
Um ponto positivo observado foi a deteco de objetos em movimento. Durante os testes, o
dispositivo permitiu que o usurio percebesse a presena de pessoas que circulavam ao seu
redor - a bengala se limita deteco de objetos estticos. Ao girar o rosto, o usurio faz a
varredura do local mantendo as mos livres, e esta uma contribuio muito significativa
deste estudo.
10
Trabalhos Futuros
174
2.
3.
4.
Da Silva Filho, J.I. & J.M. Abe, Fundamentos das Redes Neurais Paraconsistentes:
Destacando Aplicaes em Neurocomputao. So Paulo, Arte & Cincia, 2001.
5.
6.
7.
Da Costa, N.C.A., Abe, J.M., Da Silva Filho, J.I., A.C. Murolo & C.F.S Leite, Lgica
Paraconsistente Aplicada. So Paulo, Atlas, 1999
8.
175
World
Health
Organization.
Disponvel
em
Ohw:
http://www.who.int/mediacentre/news/releases/2003-/pr73/en/, acesso em 20 de
fevereiro de 2009. 2003.
12. Pcuc. Clube Portugus de Utilizadores de Co-guia. Disponvel em Pcuc:
http://www.cpuc.org.pt/cao-guia.html, acesso em 12 de Julho de 2009. 2005.
13. Pereira, F. Microcontroladores pic Programando em C. So Paulo, Erica, 2003
14. Precision Microdrives. Disponvel em http://www.precisionmicrodrives.com/, acesso
em 1 de outubro de 2005. 2005. 91
15. Sbo.
Sociedade
Brasileira
de
Oftalmologia.
Disponvel
em
Sbo:
176
177
Buscando sustentabilidade energtica atravs de um carregador de baterias solar autoorientvel baseado na Lgica Paraconsistente
Buscando sustentabilidade energtica atravs de um carregador de baterias solar
auto-orientvel baseado na Lgica Paraconsistente.
lvaro Andr Colombero Prado1, Jair Minoro Abe1, Cristina Corra Oliveira1
1
Resumo. A crescente busca por dispositivos que constituam solues simples para os
problemas enfrentados pelas pessoas nas mais diferentes situaes, tem levado muitos a
um esforo contnuo para melhorar tcnicas e processos, visando atender s exigncias que
estes devem seguir. Em paralelo, tambm existe um grande interesse para que estes
dispositivos possam manter-se forma sustentvel, resultando em um impacto ambiental
reduzido, e resultados otimizados. Neste ponto, um assunto tocante o fornecimento de
energia eltrica em locais onde a mesma no est disponvel. Normalmente em situaes
do tipo, as solues geralmente adotadas geram um alto impacto ambiental, uma vez que
trabalham com a queima de combustveis fsseis, resultando em emisses de carbono.
Este artigo visa apresentar-lhes um carregador de baterias solar com painel auto-orientvel,
que funciona de forma independente da rede eltrica, e que busca resultar em um baixo
impacto ambiental resultante, com rendimento otimizado atravs do uso da Lgica
Paraconsistente na parte de tomada de decises por seu sistema agente.
Palavras-chave:
Sustentabilidade,
Energia,
Carregador
De
Baterias,
Lgica
Paraconsistente.
178
Buscando sustentabilidade energtica atravs de um carregador de baterias solar autoorientvel baseado na Lgica Paraconsistente
Abstract. The growing demand for devices which constitute simple solutions to the
problems faced by people in different situations has led many to an ongoing effort to
improve techniques and processes to meet the requirements that such devices should
follow. In parallel, it is also noticeable a very high tendency to develop equipment capable
of maintaining a sustainable way, generating a reduced environmental impact, with
optimum results. At this point, there is the supply of electricity on places where this is not
available. In these cases, normally the solutions most commonly adopted generate high
environmental impact, since working with the burning of fossil fuels, with consequent
carbon emissions. This article aims to present to them the idea of a battery charger with
solar panel auto-rotatable with working independent of any type of outlet, and provides
income support to any charger designed to operate on the grid, with advantage of reduced
environmental impact.
Keywords: Sustainability, Energy, Battery Charger, Paraconsistent Logic.
Introduo
Nos tempos presentes, uma crescente busca pelo desenvolvimento de tecnologias que
tragam cada vez mais recursos e sofisticao, aliados a parmetros de confiabilidade cada
vez mais crescentes muito notada, acompanhada de um grande aperfeioamento das
tcnicas e processos de fabricao, eliminao e gerao de energia, visando um impacto
ambiental to baixo quanto possvel, levando em conta o conceito de sustentabilidade,
combinando mximos resultados de sada com um mnimo de perdas para o meio-ambiente.
Ao mesmo tempo, contrastando com este cenrio de grande desenvolvimento, no so
raros os casos em que mesmo os mais bsicos recursos so muito escassos, especialmente
em locais distantes dos centros urbanos e, portanto, desprovidos de muitas das vantagens
oferecidas por eles.
Aspectos de Computao Inteligente Paraconsistente
179
Buscando sustentabilidade energtica atravs de um carregador de baterias solar autoorientvel baseado na Lgica Paraconsistente
Um desses recursos a energia eltrica, muitas vezes indisponvel por conta da distncia
entre as redes de distribuio e os locais em si, ou mesmo pela grande importncia do
ecossistema local, o que dificulta muito, ou mesmo impede a implementao de qualquer
sistema especfico. Segundo [3] "As grandes distncias, a baixa taxa de ocupao e a
importncia do seu ecossistema constituem um grupo de dificuldades que exigem
tratamento especial-mento para atender as necessidades de energia eltrica."
Vrias solues podem ser adotadas nestes casos, porm em sua maioria resultando em
elevado impacto ambiental. O uso de geradores movidos por motores de combusto, ou
mesmos arcaicos lampies a gs ou querosene, apresentam altas taxas de emisso de gases
poluentes, apresentando tambm riscos fsicos para quem os manuseia.
No se pretende, no entanto, a construo de um sistema que gere um impacto ambiental
igual a zero, uma vez que este praticamente impossvel, mas um impacto que seja
sabidamente reduzido j pode ser perfeitamente aceitvel, uma vez que, de acordo com [2]
"No h energia limpa. Para uma maior ou menor grau, todas as fontes de energia causar
danos ao meio ambiente.
Um mtodo interessante para a obteno de energia, seguindo esses preceitos atravs da
luz solar. Os gastos envolvidos implicam apenas no custo do equipamento (e no na
gerao de energia em si), com a vantagem deda no emisso de carbono.
Um problema importante encontrado, neste caso, est relacionado ao tamanho do painel e
posicionamento do mesmo, que frequentemente fixo e no tem capacidade de seguir o
movimento natural do sol durante o dia. Existem opes para contornar este problema,
mediante o uso de temporizadores, controlando um servomotor que coloca o painel em um
conjunto de posies pr-estabelecidas experimentalmente, as quais, no entanto, podem
no coincidir com a posio real do sol. Este tipo de arranjo conhecido como "Solar
Tracker", e (...) um dispositivo para orientar um painel fotovoltaico em direo ao sol,
Aspectos de Computao Inteligente Paraconsistente
180
Buscando sustentabilidade energtica atravs de um carregador de baterias solar autoorientvel baseado na Lgica Paraconsistente
aumentando assim a efetividade deste equipamento sobre a de qualquer posicionamento
fixo, sob o custo de uma maior complexidade adicional do sistema." [4].
Ao utilizar um sistema agente, ligado a sensores e atuadores acoplados ao painel,
possvel obter um posicionamento em tempo real correcta do mesmo. Esta alternativa
combinada com a utilizao da lgica paraconsistente para o processo de tomada de
deciso busca permitir um melhor desempenho com um painel de relativamente pequeno.
No se pretende, no entanto, uma comparao final entre o modelo aqui proposto com
quaisquer outras solues semelhantes, com base em sistemas diferentes ou mesmo na
lgica clssica, uma vez que isso se constitui de objetivo para novas iteraes.
A concepo do carregador de bateria auto-sustentvel aqui proposto destina-se a prover
funcionamento a pequenos dispositivos de uso dirio, por meio da carga de baterias que
podem ser usadas em vrias aplicaes, dispensando assim as solues anteriormente
mencionadas.
2
Lgica Paraconsistente
181
Buscando sustentabilidade energtica atravs de um carregador de baterias solar autoorientvel baseado na Lgica Paraconsistente
Newton C. A. Da Costa, iniciou nos anos 50, estudos que pudessem levar a construo de
sistemas lgicos que pudessem tratar inconsistncias.
Indo muito alm dos trabalhos de Jaskowski, Da Costa estendeu seus sistemas para o
tratamento de casos muito particulares, tendo sido reconhecido por isso, como sendo o
criador das Lgicas Paraconsistentes. Dando continuidade aos estudos de Da Costa, o
matemtico tambm brasileiro Jair Minoro Abe, definiu outras vrias aplicaes dos
Sistemas Anotados, com base no estudo da Lgica de Predicados, a Teoria de Modelos e a
Teoria Anotada de Conjuntos.
A Lgica Paraconsinstente Anotada Evidencial E, um segmento da Lgica
Paraconsinstente, a ser aplicada neste projeto, traz relao com certos tipos de reticulados
completos, que executam um importante papel. As concluses dos fatos que no so
categricas nos evidenciam a crena (evidncia) dos fatos que esto sendo analizados.
2.1
Com base nos pontos cardeais expressos na Figura I, e atravs do uso das propriedades dos
nmeros reais, pode ser definida uma estrutura matemtica com o intento de permitir a
manipulao do conceito de incerteza, contradio e de paracompleteza, dentre outros.
Tal mecanismo ir conter naturalmente, os estados verdadeiro e falso, j tratados dentro do
escopo da lgica clssica, com todas as suas conseqncias. Outros conceitos, intuitivos,
sero tambm includos, buscando-se atingir a finalidade definida:
182
Buscando sustentabilidade energtica atravs de um carregador de baterias solar autoorientvel baseado na Lgica Paraconsistente
Pontos
Estados
A (1.0, 0.0)
Verdadeiro
B (0.0, 1.0)
Falso
C (1.0, 1.0)
Inconsistente
D (0.0, 0.0)
Paracompleto
Com base nestes pontos cardeais, e atravs do uso das propriedades dos nmeros reais,
possvel definir-se uma estrutura matemtica que permita a manipulao dos conceitos de
incerteza, contradio e de paracompleteza, dentre outros.
Este mecanismo ir englobar intrnsecamente, de algum modo, os estados verdadeiro e
falso, j tratados na lgica clssica, com todas as suas conseqncias. Outros conceitos,
intuitivos, sero tambm includos, buscando-se atingir a finalidade definida:
Aspectos de Computao Inteligente Paraconsistente
183
Buscando sustentabilidade energtica atravs de um carregador de baterias solar autoorientvel baseado na Lgica Paraconsistente
Segmento perfeitamente definido AB:
+ -1 = 0; 0 , 1
- = 0; 0 , 1
Grau de Paracompleteza:
Grau de Veracidade:
Grau de Falsidade:
184
Buscando sustentabilidade energtica atravs de um carregador de baterias solar autoorientvel baseado na Lgica Paraconsistente
Pode-se ver que o Grau de Veracidade permite uma espcie de medio, de quanto uma
anotao (, ) se distancia do segmento perfeitamente definido e de quanto se aproxima
do estado verdade, ao mesmo tempo que o Grau de Falsidade indica o quo uma anotao
(, ) est distante do segmento perfeitamente definido e quanto se aproxima do estado
falso.
De modo similar, o Grau de Inconsistncia mede o quo uma anotao (, ) est distante
do segmento perfeitamente indefinido e o quanto se aproxima do estado inconsistente, ao
mesmo tempo que o Grau de Paracompleteza mostra o quanto uma anotao (, ) se
distancia do segmento perfeitamente indefinido e quo se aproxima do estado
paracompleto.
Chama-se Grau de Incerteza Gin(, ) de uma anotao (, ) a qualquer um dos graus de
inconsistncia ou de paracompleteza.
2.2
Com os conceitos acima expostos, fica possvel trabalhar com faixas de verdade ao invs
da mesma como conceito, inflexvel.
Torna-se ento, a verdade, uma faixa de certeza com respeito certa proposio. Os
valores servem como um guia quando tal proposio considerada; por exemplo,
"verdadeira", a fim de tomar uma deciso de forma positiva, e assim por diante acordo com
a Figura II.
Os estados extremos so representados pela verdade (V), Falso (F), inconsistente (T) e
paracompleto (); e os estados lgicos no-extremos pelas reas intermedirias entre os
estados. As reas delimitadas por valores no-extremos dependem de cada aplicao.
185
Buscando sustentabilidade energtica atravs de um carregador de baterias solar autoorientvel baseado na Lgica Paraconsistente
2.3
A partir dos princpios indicados, o sistema agente trabalha com base nas leituras de um
fotoresistor, que funciona como sensor de luz, situado ao lado do painel solar e fornecendo
placa controladora os valores de luminosidade em forma de nveis de tenso entre zero e
5 volts, correspondentes a cada posio.
Para trabalhar com tais valores usando a lgica E, o sistema utiliza-se de um algoritmo
Para-Analizador, desenvolvido pelo [7], que capaz de expressar a anlise paraconsistente
tratando as evidncias favorveis e contrrias, fornecendo uma palavra binria de doze bits,
mais um nico bit ativo, que representa o estado logico da anlise resultante, alm de uma
sada analgica, representando a certeza e valores contradio. O funcionamento do
algoritmo detalhado na Figura III.
186
Buscando sustentabilidade energtica atravs de um carregador de baterias solar autoorientvel baseado na Lgica Paraconsistente
Entrada
Entrada
Anlise
Paraconsistente
Grau de Certeza
Grau de Incerteza
Algortimo
Para - Analizador
Gct = + - 1
Gc = -
DECISO
____________
Estado Lgico
Figura III - Algoritmo Para-Analisador, [7].
187
Buscando sustentabilidade energtica atravs de um carregador de baterias solar autoorientvel baseado na Lgica Paraconsistente
valores com evidncias favorveis e contrrias suficientes
Hardware Utilizado
O mdulo solar utilizado, capaz de fornecer uma tenso 17,5V sob uma corrente mxima
de 286mA, tratando-se de um dispositivo de dimenses relativamente pequenas (338mm x
315mm x 18mm), com capacidade de fornecimento no muito grande [9], o que
proporcionar a bateria uma carga lenta, mas ainda assim, efetiva. No foi escolhido um
modelo maior por questes de peso, levando-se em conta que o mesmo possui quase 0.9Kg,
e o sistema de movimentao com servomotor poderia no suportar cargas mais elevadas.
Para a seo da placa controladora, responsvel por armazenar e operacionalizar o software
embarcado, foi escolhido um modelo comercial, a Arduino Duemilanove, baseada no
conhecido microcontrolador AVR ATMEGA168. um modelo bastante verstil e
poderoso, que comporta com folga o Software Embarcado a ser utilizado. A respeito da
famlia de microcontroladores ATMEGA, "A arquitetura AVR suporta um completo
188
Buscando sustentabilidade energtica atravs de um carregador de baterias solar autoorientvel baseado na Lgica Paraconsistente
espectro de preo-desempenho, desde simples pequeno-pin-contagem de controladores (...)
na extremidade baixa, a alta gama de dispositivos com grandes memrias em chip (...)" [8].
Como sensor, um Fototransistor montado em invlucro cilndrico de plstico escuro aberto
em apenas uma das extremidades, confere a direcionalidade necessria para fornecer ao
software uma noo da posio do sol em relao ao painel solar. Fica posicionado ao lado
do mesmo.
Como atuador, foi escolhido um servomotor de antena parablica de baixo custo, conforme
Figura V, conectado mecanicamente ao painel solar, por meio de um par de braos
basculantes. Um simples circuito regulador baseado no integrado LM317T encarregado
de proporcionar o ajuste da corrente de carga, adequando-a ao tipo de bateria empregada,
no caso, um conjunto acumulador Chumbo-cido selado (SLA), com tenso nominal de
12V e corrente mxima de 1.3Ah, que funciona em regime de carga cclica. Um segundo
conjunto de baterias, mantido em regime de carga contnua e conectado a outro circuito
regulador, fica incumb ido de prover a energia para o funcionamento do sistema de
posicionamento do painel solar, sob reduzido consumo de corrente.
189
Buscando sustentabilidade energtica atravs de um carregador de baterias solar autoorientvel baseado na Lgica Paraconsistente
O uso de baterias tipo Chumbo-cido providencial, visto que so os tipos de bateria que
admitem recarga mais facilmente disponveis, alm de apresentarem um custo mais baixo,
quando comparadas com outros tipos.
4
Concluso
Este artigo visa propor uma alternativa sustentvel para a alimentao de pequenos
dispositivos eletrnicos, em locais onde a energia eltrica no est disponvel. Indo alm
de outros mtodos de gerao de energia, o carregador proposto consiste em uma
alternativa de baixo impacto ambiental, sem queima de combustveis fsseis e, portanto,
sem liberao de carbono para o meio ambiente, alm de no oferecer riscos fsicos para o
usurio.
Atravs do uso da Lgica Paraconsistente Anotada Evidencial E, um tipo de lgica notrivial e capaz de aceitar contradies, na parte de tomada de deciso pelo sistema agente,
buscada uma otimizao importante, permitindo o uso de um painel solar relativamente
pequeno, com um rendimento final mais efetivo.
No se pretende, contudo, uma comparao entre o modelo aqui proposto com quaisquer
outras solues semelhantes, com base em sistemas diferentes ou mesmo na lgica clssica,
uma vez que a mesma constitui-se de objeto para novas iteraes, que se seguiro
posteriormente ao presente trabalho.
Referncias
1. Abe, J.M., Da Silva Filho, J. I., U. Celestino & H.C. Arajo, Lgica Paraconsistente
Anotada Evidencial E. Santos, Editora Comunnicar, 2011.
2. Bermann, C. Energia no Brasil: Para qu? Para quem? Crise e alternativas para um pas
sustentvel, Livraria da Fsica/Fase Editora, 2002.
Aspectos de Computao Inteligente Paraconsistente
190
Buscando sustentabilidade energtica atravs de um carregador de baterias solar autoorientvel baseado na Lgica Paraconsistente
3. Bursztyn, M.A., Difcil Sustentabilidade: poltica Energtica e Conflitos Ambeintais,
Garamond, 2001
4. Camacho, E.F., Berenguel M., F.R. Rubio & D. Martnez, Control of Solar Energy
Systems, 2012, Springer.
5. Da Costa, N.C.A., Abe, J.M., Da Silva Filho, J.I., A.C. Murolo & C.F.S Leite, Lgica
Paraconsistente Aplicada. So Paulo, Atlas, 1999
6. Da Costa, N.C.A. & J.M Abe, Paraconsistncia em Informtica e Inteligncia Artificial,
Estudos Avanados, So Paulo, v. 14, n. 39, ago. 2000 .
Disponvel em
191
Buscando sustentabilidade energtica atravs de um carregador de baterias solar autoorientvel baseado na Lgica Paraconsistente
Jair Minoro Abe - Bacharel e Mestre em Matemtica, Doutor em Filosofia e LivreDocente em Medicina, todos pela Universidade de So Paulo. Foi Professor Visitante ou
Palestrista ocasional em instituies da Amrica do Sul, Europa, Mxico, Japo e Taiwan.
Coordena um grupo de estudiosos em aplicaes das lgicas paraconsistentes anotadas e
coordena a rea de Lgica e Teoria da Cincia do Instituto de Estudos Avanados da USP.
Professor Titular da Universidade Paulista.
192
Resumo. Depresso ou transtorno de humor uma variao do humor que afeta as pessoas
principalmente na idade adulta, prejudicando a qualidade de vida da populao
economicamente ativa.
193
Abstract. In this paper we purpose to discuss the role of depression at work; for instance
according to the Brazilian health data ministry, statistical data. So it is important to develop
a serious study of this mental diseases especially in the context in production engineering
as the data frequently contain uncertainly, conflicting subjective and even incompleteness
we need a new kind of theories based on Non-Classical logics such Paraconsistent logic .
In this paper we consider de possibility of application of paraconsistent annotated
evidential logic E and Artificial neural network . We present the first ideas in this
direction.
Keywords: Paraconsistent Logic, Artificial Neural Networks, Depression
1. Introduo
A histria da doena mental to antiga quanto da humanidade, sendo a histria
psiquitrica recente [3] e seu entendimento est relacionado ao conhecimento e aos valores
de sua poca. Na antiguidade, a melancolia era atribuda ao desrespeito e pecados dos
homens, sendo punido pelos deuses. Hipcrates (460370 a.C.) retira a discusso do
sobrenatural e cria a teoria do desequilbrio dos humores (fleuma, bile amarela, bile negra e
sangue) em termos cientficos, superando a superstio pela adoo da observao clnica.
A teoria dos humores continuava na Idade Mdia, somente a partir da segunda metade do
sculo XVIII, John Locke sugere que a loucura seria resultado de uma falha nas
associaes das informaes recebidas pelos processos sensrias [3].
Depresso uma variao do humor que afeta as pessoas na idade adulta, prejudicando a
qualidade de vida da populao [10] economicamente ativa, o que torna a doena onerosa
com a incapacitao do individuo, levando 38,5% das pessoas com depresso ao suicdio.
A depresso classificada como transtorno do humor [7] e possui vrios sintomas e sinais
como: humor deprimido, perda de energia e interesse, sentimento de culpa, dificuldade
Aspectos de Computao Inteligente Paraconsistente
194
para concentrar-se, perda de apetite e tendncias suicidas. Outros sinais e sintomas incluem
alteraes nos nveis de atividades com perda da produtividade no trabalho, capacidade
cognitiva diminuda e alterao das funes vegetativas como sono, apetite, atividade
sexual e outros ritmos biolgicos. Essas mudanas impactam na vida social, interpessoal e
principalmente na vida ocupacional j que um indivduo com depresso tende a ter mais
faltas mensais [10].
Uma avaliao psiquitrica costuma ser feita com uma entrevista onde o paciente relata sua
queixa principal, a histria de sua doena e a sua histria pessoal. O psiquiatra observa
como o paciente relata os fatos e como se ele se comporta na entrevista, incorporando estas
observaes da condio atual do paciente.
Segundo [7] os pacientes se dizem tristes, sem esperanas e essas caractersticas so
descritas muitas vezes como sendo uma dor emocional lancinante. Outra queixa, com alto
ndice de relato, a diminuio de energia resultando em dificuldades para terminar
tarefas, baixo comprometimento no trabalho e motivao diminuda para assumir novos
projetos. Outros sintomas significativos [2] na depresso so atpicos como: aumento do
sono, aumento do apetite e conseqentemente aumento de peso e agravamento de doenas
mdicas coexistentes como diabete, hipertenso, doenas pulmonares obstrutiva e
cardiopatia. A ansiedade, queixas somticas e o abuso do lcool so fatores complicadores
no tratamento da depresso assim como os sintomas cognitivos que incluem incapacidade
de concentrao e comprometimento do pensamento.
O diagnstico da depresso depende das categorias e das manifestaes de determinados
sintomas, o que torna seu diagnstico e tratamento complexo [12].
Depresso, caracterizado como transtorno de humor [7], tornou-se um problema de sade
pblica, uma a cada duas pessoas apresenta transtornos mentais ao longo da vida. Este
projeto visa a construo de um sistema de apoio a deciso mdica (SADM) utilizando
Aspectos de Computao Inteligente Paraconsistente
195
2. Diagnsticos da Depresso
A elaborao do diagnstico de depresso tem como principal objetivo determinar a
presena ou a ausncia de um conjunto de caractersticas clnicas. Segundo [2], a avaliao
dos sintomas, no caso da depresso, essencial para a elaborao do diagnstico. As
escalas de avaliao da depresso ajudam na avaliao dos sintomas e na elaborao do
prprio diagnstico.
As escalas da avaliao de depresso variam de questionrios respondidos pelos pacientes,
denominada auto-avaliao; as que so aplicadas por observadores, e as hbridas (autoavaliao e observador). A auto-avaliao requer julgamento do prprio paciente, ou de
uma pessoa prxima que o conhea bem e apresenta a vantagem de ser econmica [4] com
relao ao tempo ao ser aplicada por uma equipe de sade. Uma desvantagem que o
prprio paciente deve fornecer informaes sobre seu humor e principalmente seus
sentimentos e sua confiabilidade limitada pois pressupe que o paciente consiga avaliar a
gravidade dos seus sintomas e aceite o tratamento.
A escala de Avaliao da Depresso de Hamilton [7] uma avaliao aplicada por
avaliadores treinados e consiste em 17 a 24 itens sendo cada item classificado de 0 a 4 ou
de 0 a 2, com uma pontuao variando de 0 a 76. Essa escala feita atravs de entrevista
clnica com o paciente e feita uma abordagem sobre sentimentos de culpa, suicdio,
hbitos de sono, sintomas somticos e finalmente uma anlise do desempenho no trabalho
e atividades.
importante destaca [2] que a Escala de Avaliao da Depresso de Hamilton no fornece
pontos de corte para os indicativos dos graus de gravidade da depresso: leve, moderada,
Aspectos de Computao Inteligente Paraconsistente
196
197
para as proposies. Seja [8] a proposio p = Pedrinho est doente, se p= (1.0, 0.0) a
leitura ser: Pedrinho tem 100% - evidencia favorvel total ou Pedrinho est doente.
Uma anotao (0.8, 0.4) indica que Pedrinho est com uma evidencia favorvel de 80% e
uma evidencia contrria de 40%. Se a anotao for p= (0.0, 1.0) deve ser feita a leitura que
Pedrinho tem evidencia favorvel nula e evidencia contraria total e p falsa. Se a
anotao for p= (1.0,1.0) leia como contradio total (falso e verdadeiro) e
inconsistente. A anotao p=(0.0, 0.0) com evidncia favorvel nula e evidncia contraria
nula denominado paracompleto pois falta de informao. A ltima anotao a
p=(0.5,0.5) que pode ser lida como 50% de condio favorvel e 50% de condio
desfavorvel e p indefinida. A Lgica Paraconsistente Anotada Evidencial E trata os
estados intermedirios como: falso tendendo ao inconsistente; quase inconsistente;
inconsistente; verdadeiro tendendo ao inconsistente; quase verdadeiro; verdadeiro;
verdadeiro tendendo ao indeterminado; quase indeterminado; indeterminado; falso
tendendo ao indeterminado; e quase falso.
De acordo com [1] , Lgica Paraconsistente Anotada Evidencial E est relacionada com o
reticulado completo denominado QUPC - Quadrado Unitrio do Plano Cartesiano, como
mostra a Figura I.
198
2,
(0,0) pode ser lida como uma proposio paracompleta (evidncia favorvel nula e
evidncia contrria nula).
(1,1) pode ser lida como uma proposio inconsistente (evidncia favorvel total e
evidncia contrria total).
(1,0) pode ser lida como uma proposio verdadeira (evidncia favorvel total e
evidncia contrria nula).
(0,1) pode ser lida como uma proposio falsa (evidncia favorvel nula e
evidncia contrria total).
(0.5,0,5) pode ser lida como uma proposio indefinida (evidncia favorvel igual
evidncia contrria de 0.5).
Com base nos pontos cardeais expressos na Figura II, e atravs do uso das propriedades
dos nmeros reais [1], pode ser definida uma estrutura matemtica com o intento de
permitir a manipulao do conceito de incerteza, contradio e de paracompleteza, dentre
outros.
Tal mecanismo ir conter naturalmente, os estados verdadeiro e falso, j tratados dentro do
escopo da lgica clssica, com todas as suas conseqncias. Outros conceitos, intuitivos,
sero tambm includos, buscando-se atingir a finalidade definida:
199
200
+ -1 = 0; 0 , 1
- = 0; 0 , 1
Grau de Paracompleteza:
Grau de Veracidade:
Grau de Falsidade:
Observa-se que o Grau de Veracidade permite uma medio, de quanto uma anotao (,
) se distancia do segmento perfeitamente definido e de quanto se aproxima do estado
verdade, e o Grau de Falsidade indica o quanto uma anotao (, ) est distante do
segmento perfeitamente definido e quanto se aproxima do estado falso.
201
202
203
204
A partir dos princpios indicados, o sistema ParaDep est em construo com as categorias
da escala de Hamilton, utilizando uma rede neural artificial paraconsistente, onde cada
critrio corresponder a uma clula neural artificial, CNAPs, sendo responsvel por
processar sinais conforme a Lgica Paraconsistente Anotada, capaz de expressar a anlise
paraconsistente tratando as evidncias favorveis e contrrias.
Referncias
1. Abe, J.M., Da Silva Filho, J. I., U. Celestino & H.C. Arajo, Lgica Paraconsistente
Anotada Evidencial E. Santos, Editora Comunnicar, 2011.
2. Calil, H.M. & M..L.N. Pires, Aspectos gerais das escalas de avaliao de depresso.
Revista de Psiquiatria Clnica, Vol 25, No 5, Setembro / Outubro de 1998.
3. Cordas, T.A., Depresso: da bile negra aos neurotransmissores, uma introduo
histrica. So Paulo, Lemos Editorial, 2002.
4. Couto Junior, E.B. Abordagem no-paramtrica para clculo do tamanho da amostra
com base em questionrios ou escalas de avaliao na rea de sade. Tese. Faculdade
de Medicina, Universidade de So Paulo, So Paulo, 2009.
5. Da Costa, N.C.A. & J.M Abe, Paraconsistncia em Informtica e Inteligncia Artificial,
Estudos Avanado.,
So Paulo,
v. 14,
n. 39, ago.
2000.
Disponvel em
205
da
Previdncia.
Disponvel
em:
<
206
Jair Minoro Abe - Bacharel e Mestre em Matemtica, Doutor em Filosofia e LivreDocente em Medicina, todos pela Universidade de So Paulo. Foi Professor Visitante ou
Palestrista ocasional em instituies da Amrica do Sul, Europa, Mxico, Japo e Taiwan.
Coordena um grupo de estudiosos em aplicaes das lgicas paraconsistentes anotadas e
coordena a rea de Lgica e Teoria da Cincia do Instituto de Estudos Avanados da USP.
Professor Titular da Universidade Paulista
207
208
Abstract. The use of software and hardware resources for computational implementation
of mathematical theories are not new. But the lack of professional training for such
function in relation to non-classical theories, becomes an agent to slowness the
development of new applications. One of these theories, the Paraconsistent Artificial
Neural Network (PANN), that allows the treatment of uncertain information and / or
contradictory,
has
extensive
practical
applicability,
and
easy
computational
implementation. In this way, this article aims to illustrate some solutions implementation
of PANN.
Keywords: Programming Techniques, Paraconsistent Logic, Artificial Neural Networks,
algorithm, partner recognition.
Introduo
209
Uma dessas teorias, a Rede Neural Artificial Paraconsistente (RNAP), que permite o
tratamento de informaes incertas e/ou contraditrias, possui uma vasta aplicabilidade
prtica, sendo de fcil implementao computacional.
Desde modo, este artigo tem o objetivo de ilustrar algumas solues de implementao da
RNAP.
Mtodo
Rede Neural Artificial Paraconsistente (RNAP) uma nova classe de rede neural artificial
introduzida em [7]. Sua base se apia em lgica paraconsistente anotada E [1].
Utilizando os conceitos da Clula Neural Artifical Paraconsstente (CNAP) bsica,
podemos obter a famlia de CNAP usados em nosos estudos: Conexo analtica (CNAPca),
Maximizao (CNAPmax), e Minimizao (CNAPmin), conforme descrito na Tabela I:
Tabela I. Clulas neurais artificiais paraconsistentes
CNAP
Conexo
Analtica
CNAPca
Maximizao
CNAPmax
Entradas
Ftct,
Ftce
Minimizao:
CNAPmin
Clculos
c = 1 -
Gun Gce,
r = (Gce + 1)/2
Gce
r = (Gce + 1)/2
Gce
r = (Gce + 1)/2
Output
If |Gce| > Ftce then
S1 = r and S2 = 0
If |Gun| > Ftct and |Gun| > | Gce| then
S1= r and S2 = |Gun|
if not S1 = and S2 = 0
If r > 0.5, then
S1 =
If not S1 =
If r < 0.5, then
S1 =
if not S1 =
210
Figura I. Exemplo de Arquitetura de RNAP utilizada em [9]. Trs sistemas especialistas: PA, para o Sistema
Especialista 1; PB, para o Sistema Especialista 2, and PC, para o sistema Especialista 3:
Primeira camada da RNAP: C1 processa os dados de entrada de PA e PB; C2 processa os dados de entrada de
PB e PC; C3 processa os dados de entrada de PC e PA.
Segunda camada da RNAP: C4 calcula o valor da evidncia maxima entre as clulas C1 e C2; C5 calcula o
valor da evidncia mnima entre as clulas C2 e C3;
Terceira camada da RNAP: C6 calcula o valor da evidncia mxima entre as clulas C4 e C3; C7 calcula o
valor da evidncia mnima entre as clulas C1 e C5.
Quarta camada da RNAP: C8 resulta o valor de deciso final.
PANC A = Clula Neural Artificial Paraconsistente de Conexo Analtica (CNAPca).
PANCMax = Clula Neural Artificial Paraconsistente de Conexo Logica simples de maximizao
(CNAPmax).
PANCMin = Clula Neural Artificial Paraconsistente de Conexo Logica simples de minimizao
(CNAPmin).
Ftce = Fator de tolerncia certeza; Ftct = Fator de tolerncia contradio.
Sa = Sada da clula C1; Sb = Sada da clula C2; Sc = Sada da clula C3; Sd = Sada da clula C4; Se =
Sada da clula C5; Sf = Sada da clula C6; Sg = Sada da clula C7.
C = Valor de entrada complementada;
r = Valor de sada da RNAP; r = Valor de sada da RNAP;
211
212
Resultados
213
Delta
0,1 Hz a 4,0 Hz
Teta
4,1 Hz a 8,0 Hz
Alfa
8,1 Hz a 12,5 Hz
Beta
Maior que 13 Hz
Figura II. Bandas de frequncias clinicamente estabelecidas e habitualmente encontradas no EEG [10].
Para alimentar a RNAP (Figura I), foram criados trs sistemas especialistas, responsveis
por extrair caractersticas especficas do exame de EEG. Tais caractersticas foram
quantificadas e normalizadas em um intervalo real fechado [0,1], de modo a gerar um valor
de evidncia favorvel () e, por complementao, um valor de evidncia contrria ().
Desta forma temos:
214
Figura III. Reticulado para tomada de deciso utilizada no processo de anlise da RNAP. rea 1: Estado
lgico Falso (DA provvel abaixo da mdia populacional); rea 2: Estado lgico Quase-verdadeiro (DA
provvel acima da mdia populacional); rea 3: Estado lgico Quase-falso (normal abaixo da mdia
populacional); rea 4: Estado lgico Verdadeiro (normal acima da mdia populacional); rea 5: Estado
lgico de indefinio (rea no utilizada no estudo).
215
Como resultado final do estudo obteve-se, com base na casustica da tabela VI, os valores
apresentados nas tabelas VII.
Tabela VI. Casustica utilizada em [9]. (Fig. I).
Indivduos Normais
Indivduos DA provvel
Grupo Controle
Grupo DA
8
6
Homens
26
27
Mulheres
61,38
68
Idade mdia
8,12
6,21
Escolaridade
24,53
20,58
MEEM
Grupo de indivduos selecionados para o estudo. Homens: Pacientes do gnero masculino; Mulheres:
Pacientes do gnero feminino; Idade mdia: Mdia das idades dos pacientes; Escolaridade: Mdia dos anos
de estudos dos pacientes; MEEM: Mdia da pontuao do mini exame de estado mental.
Total
Negativo
19,40%
8,96%
28,36%
Positivo
29,85%
41,79%
71,64%
Total
49,25%
50,75%
100,00%
Sensibilidade: 82%
Especificidade: 61%
Concluso
216
Referncia
1.
Abe, J.M., Foundations of Annotated Logics, PhD thesis (in Portuguese) University of
So Paulo, Brazil, 1992.
2.
3.
Abe, J.M., H.F.S. Lopes & K. Nakamatsu, Paraconsistent Artificial Neural Networks
and Delta, Theta, Alpha, and Beta Bands Detection. Intelligent Systems Reference
Library, v. 29, p. 331-364, 2012.
4.
5.
Abe, J.M., H.F.S. Lopes & R. Anghinah, Paraconsistent Artificial Neural Network and
Alzheimer Disease: A Preliminary Study, Dementia & Neuropsychologia, Vol 3, 241247, 2007.
6.
217
7.
Da Silva Filho, J.I.; J.M. Abe & G. Lambert-Torres, Inteligncia Artificial com Redes
de Anlises Paraconsistentes: Teoria e Aplicao. Rio de Janeiro, LTC, 2008.
8.
9.
10. Montenegro, M.A, Cendes, F., Guerreiro N.M. Guerreiro CAM, editors. EEG na
prtica clnica, So Paulo: Lemos Editorial; 2001.
11. Kocyigit Y., A. Alkan & H. Erol, Classification of EEG Recordings by Using Fast
Independent Component Analysis and Artificial Neural Network. Journal of Medical
Systems. Springer Netherlands, 2008: 32;1;17-20.
12. Rocha, A.F., E. Massad & A. Pereira Jr., The Brain: From Fuzzy Arithmetic to
Quantum Computing, Springer-Verlag Berlin Heidelberg, 14349922, 2005.
218
Jair Minoro Abe - Bacharel e Mestre em Matemtica, Doutor em Filosofia e LivreDocente em Medicina, todos pela Universidade de So Paulo. Foi Professor Visitante ou
Palestrista ocasional em instituies da Amrica do Sul, Europa, Mxico, Japo e Taiwan.
Coordena um grupo de estudiosos em aplicaes das lgicas paraconsistentes anotadas e
coordena a rea de Lgica e Teoria da Cincia do Instituto de Estudos Avanados da USP.
Professor Titular da Universidade Paulista.
219
220
Aspectos Gerais
1.1
A noo de grupo
xyz x (y z) = (x y) z
(2)
xy (x y) = y x
(3)
x, (x ) = x.
b) x, (x x) = x x; (x x) = x x
c)
x, x = x x x
d) xy, x = x y y
e)
Prova.
a)
A expresso x y ser abreviada por xy. Tambm, abreviaremos por nx a expresso (x + x + + x) onde x
aprarece n vzes.
1
221
1.2
A noo de Anel
xyz x + (y + z) = (x + y) + z (associatividade de +)
(2)
xy x + y = y + x (comutatividade)
(3)
(4)
xy x + y = 0 (elemento oposto)
(5)
xyz x (y z) = (x y) z (associatividade de )
(6)
(7)
xy x y = y x
Uma quadra (R, +, , 0, 1) (1 0) chama-se anel com elemento unidade se (R, +, , 0) for
um anel e
(9)
x x 1 = x = 1 x
xy x y = 0, acarreta x = 0 ou y = 0.
Um anel com unidade (R, +, , 0, 1) denomina-se anel Booleano (ou anel de Boole) se
(11)
222
A caracterstica de um anel (R, +, , 0, 1) define-se como o menor nmero natural n tal que
1 + 1 + ... + 1 = 0, onde 1 aparece n vezes.
Teorema 1 Em um anel (R, +, , 0, 1) Booleano x = -x. Tambm, a caracterstica do anel
2.
Demonstrao: Com efeito, consideremos (x + x)2 = x + x. Ou, x2 + x2 + x2 + x2 = x + x + x
+ x = x + x, ou seja, x + x = 0, donde x = -x. Fazendo x = 1, temos 1 + 1 = 0. 1 no pode ser
0 por definio.
Teorema 2 Em um anel (R, +, , 0, 1) Booleano xy = yx, i.e., todo anel Booleano
comutativo.
Demonstrao: Com efeito, consideremos (x + y)2 = x + y. Ou seja, x2 + xy + yx + y2 = x +
xy + yx + y = x + y, donde xy = yx pelo teorema anterior.
Definio 3 Uma dupla [A, ] diz-se um sistema ordenado se
(1)
x, x x (reflexibilidade)
(2)
Se x y e y x temos x = y. (anti-simetria)
(3)
Se x y e y z temos x z. (transitividade)
por x y.
Definio 5 Um reticulado [A, ] chama-se distributivo se
(5)
(6)
223
224
xyz x (y z) = (x y) z (associatividade de )
(9)
xyz x (y z) = (x y) z (associatividade de )
(10)
xy x y = y x (comutatividade de )
(11)
xy x y = y x (comutatividade de )
(12)
(13)
(x) = x
b) (x y) = x y
c)
(x y) = x y
x (y z) = (x y) z (Associatividade de )
(2)
x (y z) = (x y) z (Associatividade de )
(3)
x y = y x (comutatividade de )
225
(4)
x y = y x (comutatividade de )
(5)
x 0 = x (elemento neutro de )
(6)
x 1 = x (elemento neutro de )
(7)
x (y z) = (x y) (x z) (distributividade de )
(8)
x (y z) = (x y) (x z) (distributividade de )
(9)
x x = 1 (complementariedade de )
(10)
x x = 0 (complementariedade de )
(x y) = x y (Leis de De Morgan)
b) (x y) = x y (Leis de De Morgan)
c)
d) 1 = 0
e)
0 = 1
x x x (reflexibilidade).
Se x y e y z temos x z (transitividade)
d) x x 1
e)
x 0 x
f)
x, y sup{x, y} = x (y x)
g) x, y inf{x, y} = x y
226
determinado de A.
2.
determinado de A.
3.
4.
Se x, y A, ento x y y x (comutatividade de )
5.
Se x, y, z A, ento x (y z) (x y) z (associatividade de )
6.
Se x, y, z A, ento x y x, ento x y z z
7.
Se x, y, z A e x y z z, ento x y x
8.
Se x, y A, ento x y, ento x y
univocamente determinado de A.
2.
determinado de A.
3.
TA
4.
227
5.
Se x, y A, ento [x [y x]] T
6.
Se x, y A, ento [x y] [y x ] T
7.
Se x, (x y) T, ento y T
228
lgebra Procosicional C1
Nesta sesso apresentamos uma aplicao dos estudos anteriores aos clculos C1 de Da
Costa.
Definio 13 Uma lgebra proposicional C1 uma estructura <A, , , , , > onde A
(com A ), , , e so operaes binrias e um operador unrio sobre A
satisfazendo as seguintes condies (x* abrevia (x x)):
(1) x, y A x (y x)
(2) x, y, z A (x y) ((x (y z) (x z)
(3) (x A e x y ) y
(4) x, y A x y x
Aspectos de Computao Inteligente Paraconsistente
229
(5) x, y A x y y
(6) x, y A x (y x y)
(7) x, y A x x y
(8) x, y A y x y
(9) x, y, z A (x z) ((y z) (x y z))
(10) x A x x
(11) x, y A y x x
(12) x, y A x* ((x y) ((x y) x))
(13) x, y A x* y* (x y)*
(14) x, y A x* y* (x y)*
(15) x, y A x* y* (x y)*
(16) x A x* (x)*
Definio 14 (1) x y abrevia (x y) (y x)
(2) x abrevia x .
Teorema 10 Em uma lgebra proposicional C1 temos:
(1) x x
(2) x y y x
(3) (x y) (y x) (x y)
(4) x y y x
(5) x* x x y
(6) y (x x)
(7) (x y) z x (y z)
(8) (x y) z x (y z)
Aspectos de Computao Inteligente Paraconsistente
230
(9) x (y z) (x y) (x z)
(10) x (y z) (x y) (x z)
(11) (x y) (x z y z)
(12) x (x y)
(13) ((x y) x) x
(14) (x*)*
(15) (x y) (y z) (x z)
Definio 15 (1) x y abrevia x y e x y abrevia x y.
Temos x y x y e y x.
Teorema 11 Temos: (1) uma relao de equivalncia
(2) uma quase-ordem
(3) x y x y x
(4) x y x y y
(5) 0 x 1
Teorema 12 Se <A, , , , , > uma lgebra proposicional C1, se definirmos e 0
=Def x0 x0 e se abrevia , ento <A, , , , , 0, > uma lgebra de Curry C1.
Teorema 13 Se <A, , , , , 0, > uma lgebra proposicional C1, se definirmos
como o conjunto dos elementos x tais que x y y para algum x A, e representarmos o
operador por , a estrutura <A, , , , , > uma lgebra proposicional C1.
Teorema 14 Os conceitos de lgebra de Curry C1 e lgebra proposicional C1 so
equivalentes.
231
Concluses
232
Abe, J.M., 'A note on Curry algebras', Bulletin of the Section of Logic, Polish
Academy of Sciences, vol. 16, number 4, 151-158, 1987.
2.
3.
Abe, J.M., Curry Algebras N1, Atti Acc. Lincei Rend. Fis., s.9, vol. 7, 125-128, 1996.
4.
5.
Abe, J.M., K. Nakamatsu & S. Akama, A Note on Monadic Curry System P1,
Lecture Notes in Computer Science - LNAI 5712, ISBN 978-3-642-04591-2,
Springer-Verlag, Berlin/Heidelberg, Alemanha, 388394, 2009.
6.
7.
Abe, J.M., S. Akama & K. Nakamatsu, Monadic Curry Algebras Q, Lecture Notes
in Computer Science, Vol.4693, Springer-Verlag, 893-900, 2007.
233
8.
Barros, C.M., N.C.A Da Costa & J.M. Abe, Tpicos de Teoria dos Sistemas
Ordenados : vol. I; Sistemas
Barros, C.M., N.C.A. Da Costa & J.M. Abe, Tpico de teoria dos sistemas
ordenados: vol. II, sistemas de Curry, Coleo Documentos, Srie Lgica e Teoria
da Cincia, IEA-USP, 20, 132pp, 1995.
10.
Barros, C.M., N.C.A. Da Costa & J.M. Abe, Tpico de Teoria de Sistemas
Ordenados, Vol. III: Sobre Algumas Classes de Sistemas Ordenados Sup-contnuos e
suas Representaes, Coleo Documentos, Srie Lgica e Teoria da Cincia, IEAUSP, no 21, ISSN 16799429, 107 pp, 1995.
11.
12.
13.
Da Costa, N.C.A., Logics that are both paraconsistent e paracomplete, Atti Acc.
Lincei Rend. fis., S. VIII, vol. LXXXIII, 29-32, 1989.
14.
15.
Da Costa, N.C.A., "Oprations non monotones dans les treillis', C.R. Acad. Sc. Paris
263, 429-432, 1966.
16.
Da Costa, N.C.A., 'Filters et idaux d'une algebrie Cn', C.R. Acad. Sc. Paris 264,
549-552, 1967.
17.
Da Costa, N.C.A., 'On the theory of inconsistent formal systems', Notre Dame, J. of
Formal Logic 15, 497-510, 1974.
18.
Da Costa, N.C.A. e D. Marconi, 'A note on paracomplete logic', Atti Acc. Lincei
Rend. fis., S. VIII, vol. LXXX, 504-509, 1986.
234
19.
20.
Eytan, M., Tableaux of Hintikka et Tout a: un Point de Vue Algebrique, Math. Sci.
Humaines, 48: 21-27, 1975.
21.
Fidel, M., The decidability of the calculi Cn, Reports on Mathematical Logic 8, 31-40,
1977.
22.
Grtzer, G., General lattice theory. Series on Pure e Applied Math., Academic Press,
1978.
23.
24.
25.
26.
27.
Henkin, L., J.D. Monk & A. Tarski, Cylindric Algebras, Part I, North-Holland
Publishing Company, Amsterdam, 1971.
28.
Iski, K., Contribution to lattice theory, Publ. Math. Debrecen vol. 12, 194-203, 1951.
29.
30.
Jsson, B. & A. Tarski, 'Boolean algebras with operators', Part I, Amer. J. Math. 73,
891-939, 1951.
31.
32.
Mortensen, C., 'Every quocient algebra for C1 is trivial', Notre Dame J. of Formal
Logic 21, 694-700, 1977.
33.
235
34.
35.
Jair Minoro Abe - Bacharel e Mestre em Matemtica, Doutor em Filosofia e LivreDocente em Medicina, todos pela Universidade de So Paulo. Foi Professor Visitante ou
Palestrista ocasional em instituies da Amrica do Sul, Europa, Mxico, Japo e Taiwan.
Coordena um grupo de estudiosos em aplicaes das lgicas paraconsistentes anotadas e
coordena a rea de Lgica e Teoria da Cincia do Instituto de Estudos Avanados da USP.
Professor Titular da Universidade Paulista.
236