Você está na página 1de 5

ISSN 1809-0648 Janeiro/Fevereiro/Maro 2010 20

N.17 Ano 5 Ed. Paralogike - Santos - SP Brasil


ISSN 1809-0648 ATC2 01/ 2010
Introduo ao conceito de estado
Lgico Paraconsistente


Joo Incio da Silva Filho

Da Silva Filho, J.I.
inacio@unisanta.br

GLPA - Grupo de Lgica Paraconsistente Aplicada
UNISANTA - Universidade Santa Ceclia -Ncleo de Pesquisa em Eletrnica NPE
Rua Osvaldo Cruz, 288 CEP 11045-000- Santos-SP Brasil

IEA-USP- Instituto de Estudos Avanados da Universidade de So Paulo
Av. Prof. Luciano Gualberto, Trav. J n
o
374, Trreo, Cidade Universitria
CEP 05508-900, So Paulo - SP- Brasil.



Resumo Neste artigo apresentamos uma introduo ao conceito de estado Lgico Paraconsistente como principal fundamento bsico
na aplicao da Lgica Paraconsistente Anotada LPA em sistemas fsicos. Atualmente uma forma de aplicao da lgica paraconsistente com
bons resultados vem sendo feita atravs de uma lgica paraconsistente especial denominada de Lgica Paraconsistente Anotada com
anotao de dois valores (LPA2v). A LPA2v trata-se de uma lgica evidencial e teve a primeira aplicao real no sistema de controle
denominado de Controlador Lgico Paraconsistente ou ParaControl, construdo em 1999. O ParaControl recebe informaes sobre o
ambiente atravs de dois sensores de ultrasom e, aps a anlise gera 12 estados lgicos representados por regies delimitadas que servem
como informao para controlar as aes do Rob Emmy I. Nesse controlador, os dois valores em forma de Graus de evidncia so
equacionados e interpretados em um Reticulado associado LPA2v e produzem estados lgicos Paraconsistentes relacionados ao valor da
medida da distncia do Rob a obstculos em um ambiente no-estruturado. Nesse artigo introduzimos um refinamento na anlise no
Reticulado da LPA2v que permite uma melhor conceitualizao de um estado Lgico Paraconsistente e a sua relao com o estado de um
corpo, ou de uma partcula, no mundo fsico. Dessa forma, os resultados dessa anlise levam a concluir que, utilizando os fundamentos da
LPA2v para tratar informaes originadas de medies de Variveis Observveis do mundo fsico pode-se correlacionar efeitos fsicos e
paraconsistentes. Essa caracterstica de correlao de estados que apresenta a LPA2v permite a construo de modelos capazes de simular
fenmenos da fsica atravs da Lgica Paraconsistente.

Palavras chave: lgica Paraconsistente, lgica Paraconsistente Anotada, fsica.

Abstract In this paper we presented an introduction to the concept of Paraconsistent Logical state as main basic foundation in the
application of the Paraconsistent Annotated Logic PAL in physical systems. Recently the application of the Paraconsistent logic has been
made with good results through of a special Paraconsistent logic that is named of Paraconsistent Annotated Logic with annotation of two
values (PAL2v). The PAL2v had his first application in the control system denominated of Paraconsistent Logical Controller or ParaControl
,built in 1999. The ParaControl received information on the environment through two ultrasonic sensors and it generated 12 logical states
represented by delimited areas served as information to control actions of the Robot Emmy I. In that controller the two values in form of
evidence Degrees were set out and interpreted in an Lattice associated at PAL2v and produced paraconsistent logical states related the
distance of the Robot to the obstacles in a non-structured environment. In that article we introduced a refinement of the analysis in the Lattice
that allows the creation of the Paraconsistent Logical state concept and his relationship with the state of a body or of a particle in the physical
world. In that way, the results bring the conclusion that, using the foundations of PAL2v for analyses originated information of measurements
of Observable Variables of the physical world we can be correlated physical effects with the paraconsistent ones. That correlation
characteristic that presents PAL2v offers properties for the construction of models capable to simulate phenomena of the Physics through the
Paraconsistent Logic.

Keywords: Paraconsistent logic, Annotated paraconsistent logic, physics.

I INTRODUO

A Lgica Paraconsistente uma Lgica No-Clssica que
revoga o principio da No Contradio e admite o tratamento
de sinais contraditrios na sua estrutura terica [2] [3]. Desde
a sua recente criao as lgicas paraconsistentes tm sido
utilizadas em uma ampla variedade de domnios onde se
permite um tratamento lgico da crena, nveis de incerteza e
de inconsistncias.
No contexto da cincia fsica, cada sistema, ou componente
de um sistema, ocupa, ou apresenta, em um dado instante de
tempo, um estado [11] [13]. O estado apresentado pelo
sistema fsico, portanto, o apresentado por um corpo fsico,
ou uma partcula, uma forma abstrata de representao das
suas propriedades fsicas em funo do tempo. Com o passar
do tempo o sistema evolui de um estado para outro estado e
esta evoluo estudada pelas leis da fsica.
As informaes para as equaes das leis fsicas que regem
o estado do sistema so obtidas por medies das Variveis
Observveis no mundo fsico [11].

ISSN 1809-0648 Janeiro/Fevereiro/Maro 2010 21
N.17 Ano 5 Ed. Paralogike - Santos - SP Brasil
ISSN 1809-0648 ATC2 01/ 2010
Nesse trabalho procura-se mostrar que o conceito de estado
Lgico Paraconsistente pode ser correlacionado ao conceito
fundamental de estado na cincia fsica atravs da anlise no
Reticulado da LPA2v [7] [8]. Para isso apresentada uma
introduo do conceito de estado lgico paraconsistente
voltado a aplicao da Lgica Paraconsistente na anlise de
Sistemas fsicos. trazido assim um estudo introdutrio
sobre o estado lgico Paraconsistente e sua correlao com o
estado de corpos fsicos ou de subpartculas no mundo fsico.
Apresenta-se a seguir uma pequena descrio da Lgica
Paraconsistente.

I.1.1 A LGICA NO-CLSSICA PARACONSISTENTE

Dentre as vrias idias no mbito das Lgicas no-
Clssicas criou-se uma famlia de lgicas que teve como
fundamento principal a revogao do principio da No
Contradio, a qual recebeu o nome de Lgica
Paraconsistente [1] [3] [4] [5] [6] [7]. Portanto, a Lgica
Paraconsistente uma Lgica no-Clssica que revoga o
principio da No Contradio e admite o tratamento de
informaes contraditrias na sua estrutura terica.
Os precursores da Lgica Paraconsistente foram o 1gico
polons J. Lukasiewicz [8] e o fi1sofo russo N.A. Vasilv,
que simultaneamente, por volta de 1910 de maneira
independente, sugeriram a possibilidade de uma lgica que
restringiria, por exemplo, o princpio de contradio.
Os sistemas iniciais de Lgica Paraconsistente, contendo
todos os nveis lgicos, envolvendo, clculos proposicionais,
de predicados e de descries, bem como lgicas de ordem
superior, deve-se a N.C.A. da Costa (1954 em diante) [1] [4]
[5] [6] [7] [14]. Atualmente existem, inclusive, sistemas
paraconsistentes de teorias de conjuntos, estritamente mais
fortes do que os clssicos, sendo, ento, considerados como
subsistemas paraconsistentes.
Um resumo dos princpios tericos que sustentam a Lgica
Paraconsistente [3] [14] pode ser visto da seguinte forma:
- Sabe-se que uma teoria consistente se entre seus
teoremas no existem aqueles que afirmam algo que seja a
negao de outros teoremas pertencentes a mesma teoria.
Caso isto acontecesse a teoria seria chamada de inconsistente.
Dada uma teoria (dedutiva) T, assentada na lgica L, diz-se
consistente se entre seus teoremas no existem tais, que um
seja a negao do outro; em hiptese contrria, T denomina-
se inconsistente. A teoria T chama-se trivial se todas as
sentenas (frmulas fechadas) de sua linguagem forem
teoremas; se isto no ocorrer, T no-trivial. Se L for uma
das lgicas comuns, como a clssica, a teoria T trivial se e
somente se for inconsistente. A lgica L denomina-se
Paraconsistente se puder funcionar como fundamento de
teorias inconsistentes e no triviais.
Isto significa que, uma Lgica Paraconsistente mostra-se
capaz de manipular sistemas inconsistentes de informaes
sem que o peso dos conflitos invalide as concluses.

I.1.1 CONCEITO INICIAL DE UM ESTADO LGICO
PARACONSISTENTE
A representao do conceito inicial de estado Lgico
Paraconsistente teve incio na criao, no ano de 1999, de
um Controlador Lgico ParaconsistenteParaControl [6] [8]
utilizado para controlar as aes de movimentao por
ambiente no-estruturado do Rob Emm I. O rob mvel
autnomo Emmy I, conforme mostrado na figura 1, consiste
de uma plataforma mvel de alumnio de formato circular de
30 cm de dimetro e 60 cm de altura especialmente projetada
para pesquisas de aplicao das lgicas paraconsistentes
anotadas em robtica [6] [8].


Figura 1 Rob Emmy I que funciona com controlador lgico
Paraconsistente ParaControl gerador de 12 estados lgicos
paraconsistentes .

Na movimentao do rob Emmy em ambiente no-
estruturado as informaes sobre a existncia ou no de
obstculo na sua trajetria so obtidas por intermdio de um
dispositivo composto de dois sensores de ultra-som. Os
sensores so capazes de gerar sinais que indicam obstculos
na trajetria do rob mvel autnomo transformando
proporcionalmente as medidas de distncia entre o rob e o
obstculo em sinais eltricos. Os sinais so apresentados na
forma de uma tenso eltrica contnua que pode variar de 0 a
5 volts. O sensor que traz o sinal que varia de 0 a +5 volts o
extrator do Grau de Evidncia favorvel . O sensor que traz
o sinal que varia de +5 a 0 volt o extrator de Grau de
Evidncia desfavorvel .
Na anlise paraconsistente efetuada no ParaControl os
dois sinais obtidos pelos sensores so normalizados e
equacionados resultando em Grau de Certeza G
C
e Grau de
Contradio G
ct
. Um estado Lgico Paraconsistente um
ponto no Reticulado da LPA2v identificado pelo par ordenado
(G
C
,G
ct
).
As equaes para a obteno dos Graus de Certeza e de
contradio so obtidas da anlise no Reticulado associado
Lgica Paraconsistente Anotada LPA. Na prxima seo
feita a apresentao da Lgica Paraconsistente Anotada LPA
e seus principais fundamentos.

II. LGICA PARACONSISTENTE ANOTADA

A Lgica Paraconsistente Anotada LPA pode ser
representada de modo particular, atravs de um Reticulado de
quatro Vrtices em que, intuitivamente, as constantes de
anotao representadas nos seus Vrtices vo dar conotaes

ISSN 1809-0648 Janeiro/Fevereiro/Maro 2010 22
N.17 Ano 5 Ed. Paralogike - Santos - SP Brasil
ISSN 1809-0648 ATC2 01/ 2010
de estados lgicos extremos s proposies [6] [7]. A
anotao pode ser composta por 1, 2 ou n valores,
dependendo da classe de Lgica Paraconsistente utilizada.
Nesse trabalho utiliza-se uma lgica Paraconsistente Anotada
com anotao de dois valores, portanto n=2, conforme ser
apresentada na prxima seo.

II.1. A LGICA PARACONSISTENTE ANOTADA DE ANOTAO
COM DOIS VALORES LPA2V
Conforme visto em [7] [4] e [15] pode-se obter uma
representao sobre o quanto as anotaes, ou as evidncias,
expressam o conhecimento sobre uma proposio P. Isso
feito utilizando um Reticulado formado por pares ordenados
de valores (
,
), os quais comporo a anotao. Neste caso,
fixado um operador ~: || || onde:
= {(, )

|
,


[0, 1] }.
Se P uma frmula bsica, ento: ~ [(
,
)]

= (
,


)

onde,
,

[0, 1] .
O operador ~ constitui o significado do smbolo lgico
de negao do sistema que ser considerado. Dessa forma,
um reticulado de quatro vrtices associado Lgica
Paraconsistente Anotada de anotao com dois valores
(LPA2v) [10] pode ser apresentado tal como na figura 2.

















Figura 2 Reticulado de quatro Vrtices.

Nessa representao, o primeiro elemento do par
ordenado representa o grau em que as evidncias
favorveis sustentam a proposio P, e o segundo elemento
representa o grau em que as evidncias desfavorveis, ou
contrrias, negam ou rejeitam a proposio P. A
representao; P
(, )
denominada de Sinal Lgico
Paraconsistente, onde a proposio P traz a anotao (, )
composta pelo Grau de Evidncia favorvel e pelo Grau de
Evidncia desfavorvel [8] [7]. Como so originados de
fontes distintas estes valores de e de podem ser iguais,
representando uma consistncia, ou diferentes, e assim,
representando uma contradio.
Atravs de uma anlise matemtica em um Quadrado
Unitrio no plano cartesiano QUPC [3] [4] [7] obtm-se de
um Reticulado k, similar ao associado LPA2v, a
transformao linear representada pela equao:
T(x, y)=(x-y, x+y-1) (1)
Relacionando os componentes da transformao T(x, y),
obtida no Reticulado k com o Reticulado associado a LPA2v
e utilizando a sua nomenclatura usual, onde:
x = Grau de evidncia favorvel
y = Grau de evidncia desfavorvel
O primeiro termo obtido no par ordenado da equao da
transformao (1) denomina-se de Grau de Certeza G
C
.
Portanto, o Grau de Certeza obtido por:
G
C
= - (2)
Seus valores, que pertencem ao conjunto , variam no
intervalo fechado -1 e +1 e esto no eixo horizontal do
Reticulado de valores, denominado de Eixo dos graus de
certeza.
O segundo termo obtido no par ordenado da equao da
transformao (1) denomina-se de Grau de Contradio G
ct
.
Portanto, o Grau de Contradio obtido por:
G
ct
= + 1 (3)
Os valores resultantes de G
ct
pertencem ao conjunto e
variam no intervalo fechado +1 e 1. Estes valores so
dispostos no eixo vertical do reticulado denominado de Eixo
dos graus de contradio.

III REPRESENTAO DO ESTADO LGICO
PARACONSISTENTE


Sabe-se que e so valores contidos no intervalo fechado
entre 0 e 1, e pertencentes ao conjunto dos nmeros reais [2]
[5] [7]. Estes valores so considerados representantes das
informaes obtidas atravs de medies das Variveis
Observveis instaladas no mundo fsico que so as fontes
fornecedoras de evidncias a favor, e contrrias a respeito da
mesma proposio P. Das equaes (1) e (2) pode-se ento
representar um estado Lgico Paraconsistente

, como
funo de e de , portanto:

(, )
= ( - , + - 1) (4)
Ou ento

(, )
= (G
C
, G
ct
) (5)

onde G
C
e G
ct
so encontrados em funo de e de
atravs das equaes (2) e(3), respectivamente.
Na anlise paraconsistente para cada valor de e de tem-
se um par ordenado (G
C
,G
ct
) que representa um ponto interno
ao Reticulado de valores constituindo assim, um estado
lgico paraconsistente

.

III.1 REPRESENTAO DO ESTADO LGICO PARACONSISTENTE
Em uma medio das Variveis Observveis no mundo
fsico, na qual se obtm os valores de Graus de Evidncia
favorvel e desfavorvel para a determinao dos Graus
de Certeza G
C
e de Contradio G
ct
, sempre se encontra um
nico estado lgico paraconsistente relacionado s duas
informaes. Dessa forma, um estado lgico Paraconsistente
representado por um nico ponto interno ao Reticulado de
valores, o qual obtido pela interpolao do Grau de Certeza
G
C
e Grau de Contradio G
ct
. Portanto existe uma correlao
entre o estado lgico Paraconsistente e o estado fsico do
Sistema ou partcula existente no mundo fsico. A figura 3
mostra uma representao da correlao entre o mundo fsico
P
(, )
T = Inconsistente = P
(1, 1)

F = Falso = P
(0, 1)

V = verdadeiro = P
(1, 0)

= Indeterminado = P
(0, 0)


T
(1, 1)



(0, 0)

F

(0, 1)

V
(1, 0)


ISSN 1809-0648 Janeiro/Fevereiro/Maro 2010 23
N.17 Ano 5 Ed. Paralogike - Santos - SP Brasil
ISSN 1809-0648 ATC2 01/ 2010
de onde so extrados os Graus de evidncia, e o mundo
Paraconsistente, de onde so equacionados, resultando em um
estado lgico paraconsistente .

Figura 3 Representao da correlao entre o mundo fsico e o
mundo Paraconsistente

Verifica-se na correlao que resulta em um estado lgico
Paraconsistente existe a dependncia direta dos Graus de
Certeza G
C
e de Contradio G
ct
com os valores de e de
obtidos nas medies das Variveis Observveis do meio
fsico.
Na anlise efetuada no ParaControl do Rob Emmy I
existe uma correlao entre a distncia dos obstculos e o
sinal de informao na forma de Graus de Evidncia. As
Variveis Observveis no meio fsico so identificadas pela
obteno do valor da distncia entre o Rob e os objetos
existentes no ambiente no-estruturado. Os sinais extrados
das Variveis Observveis so inicialmente identificados
pelas tenses eltricas V
1
e V
2
advindas dos dois sensores.
Atravs de uma equao de normalizao, que pode ser de
tipo linear, exponencial, etc... os valores das tenses so
considerados como os Graus de Evidncia e variando
continuamente entre 0 e 1.
Com uma anlise mais refinada no Reticulado da LPA2v
[7] permite-se calcular uma distncia d do ponto onde se
localiza o estado Lgico Paraconsistente at a um dos
Vrtices Extremos do Reticulado na extremidade do eixo de
Graus de Certeza. A distncia d calculada por:

2 2
(1 | |)
C ct
d G G = + (6)
Onde: G
C
= Grau de Certeza calculado pela equao (2).
G
ct
= Grau de Contradio calculado pela equao (3).
Dessa forma, possvel calcular um Grau de Certeza Real [7]
onde o seu valor apresenta-se subtrado dos efeitos da
contradio.
O valor do Grau de Certeza Real (G
CR
) determinado pela
projeo da distncia d sobre o eixo dos graus de certeza do
Reticulado de Estados, segundo as condicionais:
a) Se o valor do Grau de Certeza positivo (G
C
>0), ento o
Grau de Certeza Real ser calculado por:

CR
G 1 d = (7)
ou
2 2
CR
G 1 (1 | |)
C ct
G G = + (8)
b) Se o valor do Grau de Certeza for negativo (G
C
<0), ento
o Grau de Certeza Real ser calculado por:

CR
G 1 d = (9)
ou:
2 2
CR
G (1 | |) 1
C ct
G G = + (10)
Onde:
G
CR
= Grau de Certeza Real.
G
C
= Grau de Certeza calculado pela equao (2).
G
ct
= Grau de Contradio calculado pela equao (3).
c) Se o valor do Grau de Certeza for nulo (G
C
= 0), ento
o Grau de Certeza Real tambm ser nulo:
CR
G 0 =
O Grau de Intensidade do estado Lgico Paraconsistente
Real [7] o valor normalizado obtido a partir do Grau de
Certeza Real, portanto:

CR
ER
G 1

2
+
= (11)
Onde:
ER
= Grau de Intensidade do estado Lgico
Paraquntico Real
G
CR
= Grau de Certeza Real calculado pela equao
(8) ou (11) dependendo do sinal de G
C
.

Na prtica os dois valores em forma de Graus de evidncia
extrados das Variveis Observveis no mundo fsico so
equacionados e interpretados no Reticulado associado
LPA2v onde produzem o Grau de Certeza G
C
e o Grau de
Contradio G
ct
. Os valores dos Graus de Certeza G
C
e de
Contradio G
ct
, por sua vez, identificam um estado lgico
Paraconsistente , que localizado em um nico ponto no
Reticulado da LPA2v. Os valores observados nos processos
de anlises so os que esto sobre o eixo dos Grau de Certeza
Real, portanto, o valor de G
CR
e de
ER
.
A figura 4 mostra essa condio de correlao entre o
mundo fsico e o mundo Paraconsistente atravs do estado
Lgico Paraconsistente obtido da extrao de Graus de
Evidncia de Variveis Observveis na forma de medidas de
comprimento.


Figura 4 Representao de um Estado lgico Paraconsistente
no Reticulado de Estados da LPA2v.

ISSN 1809-0648 Janeiro/Fevereiro/Maro 2010 24
N.17 Ano 5 Ed. Paralogike - Santos - SP Brasil
ISSN 1809-0648 ATC2 01/ 2010
III.2 O ESTUDO DO ESTADO LGICO PARACONSISTENTE NO
RETICULADO DE ESTADOS
O estado lgico Paraconsistente no Reticulado da LPA2v
pode ser estudado considerando medio nas Variveis
Observveis de forma esttica, ou medio de forma
contnua. A anlise deve levar em considerao a
dependncia direta do Grau de Certeza G
C
e de Contradio
G
ct
com os valores de e de obtidos nas medies das
Variveis Observveis do meio fsico. Como essa
dependncia expressa matematicamente na forma de uma
funo, verifica-se que a no-existncia de um dos valores
medidos ou , provocar a no-existncia do estado Lgico
Paraconsistente .

IV CONCLUSO
Neste trabalho foi introduzido o conceito de estado Lgico
Paraconsistente e a sua correlao entre o mundo
paraconsistente, representado pelo Reticulado de Estados da
LPA2v, e o mundo fsico, de onde so extrados os Graus de
Evidncia e das Variveis Observveis. Verifica-se que
um estado Lgico Paraconsistente sendo representado pelo
par ordenado (G
C(,)
,G
ct(,)
) funo dos Graus de Evidncia
e . Nessas condies, caso os Graus de Evidncia e
tenham variao contnua em relao ao tempo no mundo
fsico, haver uma propagao do estado lgico
Paraconsistente atravs do Reticulado de Estados da LPA2v.
A anlise pode ser feita considerando que a medio de cada
Varivel Observvel no meio fsico seja discreta. Para cada
anlise gerado um nico estado Lgico Paraconsistente
esttico e localizado em um nico ponto no Reticulado da
LPA2v. Esta forma de anlise foi feita pelo ParaControl na
sua utilizao no controle do Rob Emmy I e tambm feito
por Sistemas Inteligentes Paraconsistentes que esto sendo
aplicados atualmente. No entanto, a funo matemtica do
estado Lgico Paraconsistente sugere que a anlise em
sistemas fsicos seja contnua, com e variando
continuamente em relao ao tempo. Sendo assim, com
(t)
e

(t)
a existncia do estado Lgico Paraconsistente depende
da existncia de medies em Variveis Observveis no
mundo fsico e se dar com propagao pelo Reticulado de
Estados. Essas propriedades do estado Lgico
Paraconsistente identifica a Lgica Paraconsistente com
anotao de dois valores LPA2v como uma lgica quntica.
Em trabalhos futuros sero investigadas essas propriedades,
bem como a potencialidade da Lgica Paraconsistente LPA2v
se apresentar como uma ferramenta especial para modelar
fenmenos da Teoria da Relatividade Especial e da Mecnica
Quntica.







V BIBLIOGRAFIA

[1] Abe, J.M. & Da Silva Filho, J.I., Inconsistency and Electronic
Circuits, Proceedings of The International ICSC Symposium
on Engineering of Intelligent Systems (EIS98), Vol 3,
Artificial Intelligence, International Computer Science
Conventions Canada/Switzerland, 191-197, 1998
[2] Anand R. e V.S. Subrahmanian, A Logic Programming System
Based on a Six-Valued Logic, AAAI/Xerox Second Intl. Symp.
on Knowledge Eng. - Madrid-Spain, 1987.
[3] Da Costa, N.C.A. & Abe, J.M. & Subrahmanian, V.S., Remarks
on Annotated Logic, Zeitschrift fur Mathematische Logik und
Grundlagen der Mathematik, Vol.37, pp.561-570,1991
[4] Da Costa, N.C.A., On the theory of inconsistent formal systems,
Notre Dame J. of Formal Logic, 15, 497-510, 1974.
[5] Da Costa, N.C.A. V.S. Subrahmanian e C. Vago, The
Paraconsistent Logic PT, Zeitschrift fur Mathematische Logik
und Grundlagen der Mathematik, Vol.37, pp.139-148,1991.
[6] Da Silva Filho, J.I. Mtodos de Aplicaes da Lgica
Paraconsistente Anotada de anotao com dois valores LPA2v
com construo de Algoritmo e Implementao de Circuitos
Eletrnicos (PhD.Thesis, in portuguese) Tese de doutorado
EPUSP, So Paulo, 1999.
[7 ] Da Silva Fiho, J. I., Lambert-Torres, G., Abe, J. M. Uncertainty
Treatment Using Paraconsistent Logic - Introducing
Paraconsistent Artificial Neural Networks. IOS Press, p.328
pp.. Volume 211 Frontiers in Artificial Intelligence and
Applications, Amsterdam, Netherlands, 2010.
[8] Para-Control: An Analyser Circuit Based On Algorithm For
Treatment of Inconsistencies, Proc. of the World
Multiconference on Systemics, 199-203, Orlando, Florida,
USA, 2001.
[9] Da Silva Filho, J.I. & J.M. Abe, Emmy: a paraconsistent
autonomous mobile robot, in Logic, Artificial Intelligence, and
Robotics, Proc. 2nd Congress of Logic Applied to Technology
LAPTEC2001, Edts. J.M. Abe & J.I. Da Silva Filho,
Frontiers in Artificial Intelligence and Its Applications, IOS
Press, Amsterdam, Ohmsha, Tokyo, Vol. 71, 53-61, 287p.,
2001.
[10] Carnap R., The interpretation of physics, Foundations of Logic
and Mathematics of the International Encyclopedia of Unified
Science, University of Chicago Press, 1939.
[11] Tipler, P.A. Fsica para Cientistas e Engenheiros (4a. ed.), Rio
de Janeiro,. Livros Tcnicos e Cientficos Editora vols. 2 e 3.
[12] Suppe, F. (ed.) (1977) The structure of scientific theories, 2.ed.
Urbana, Illinois: University of Illinois Press.
[13] Krause, D. and Bueno, O., `Scientific theories, models, and the
semantic approach', Principia 11 (2), 2007, 187-201.
[14] Jaskowski, S., Propositional Calculus for Contraditory
Deductive Systems, Studia Logica 24, p. 143-57. 1969.
[15] Subrahmanian V.S., On the semantics of quantitative Lgic
programs, Proc. 4 th. IEEE Symposium on Logic
Programming, Computer Society Press, Washington D.C,
1987.









Joo Incio da Silva Filho
Coordenador do GLPA - Grupo de Lgica Paraconsistente Aplicada e membro do Grupo de Lgica e
Teoria da Cincia do IEA - Instituto de Estudos Avanados da USP. O Professor Da Silva Filho, em 1999
doutorou-se em Engenharia Eltrica pela POLI/USP na rea de Sistemas Digitais, e fez mestrado em
Microeletrnica pela mesma Instituio. Em 2009 fez seu Psdoutoramento no INESC Instituto de
Engenharia de Sistemas e Computadores do Porto, em Portugal. Criador do primeiro Rob a funcionar com
Controlador lgico Paraconsistente (Rob Emmy), atualmente se dedica as pesquisas sobre aplicaes das
Redes Neurais Artificiais Paraconsistentes em Sistemas Especialistas e Robtica. Desde 26 de novembro de
2009 membro do IHGS - Instituto Histrico e Geogrfico de Santos onde ocupa a Cadeira 73, cujo
patrono Afonso D Escragnolle Taunay.