Lgica Paraconsistente

Anotada
(1,1)
Vlf

T
Vlit
Tf

2
F

(0,1)

TV

QfT

QvT

Qf

Qv

1
V

(1,0)

Vlid
Vlv

T
(0,0)

Palestra na FATEC JUNDIA - Maro/2011

Prof. Dr. Paulo Roberto Schroeder de Souza
Engenharia Biomdica UNISANTA

1
A Lgica Clssica

O Partenon

 A Lgica Clssica binria e sempre considera

duas situaes apenas.
Os dois estados lgicos que representam esta
situao ou Falso , ou ento Verdadeiro.

Considera-se Falso ou Verdadeiro sinais

equivalentes aos valores 0 e 1.

As leis da Lgica Clssica so estabelecidas por

alguns princpios bsicos, como:
1- Princpio da Identidade.
Todo objeto identico si mesmo
2- Princpio do Terceiro excludo.
De duas proposies contraditrias (isto , tais
que uma a negao da outra) uma delas
verdadeira.
3- Princpio da Contradio.
Entre duas proposies contraditrias, uma falsa.

Na Lgica Clssica no se admite

meios termos. Um objeto no
pode ser e ser ao mesmo tempo.

O que , ; o que no , no , e
ponto final.

2
Os Paradoxos

O Trigulo Impossvel de Roger Penrose

 Na Fsica, que a cincia que estuda o

mundo fsico e real, so comuns os paradoxos.
Isto acontece porque aparelhos de medio
cada vez mais precisos, trazem novas
informaes que refutam concluses antes
estabelecidas.

Os paradoxos so um desafio para a lgica

clssica e, portanto, no podem ser includos
sem violar os seus rgidos princpios binrios.

Se algum afirma: Eu sou mentiroso,

e se o diz verdadeiro,
ento a afirmao falsa;
e se o que diz falso, ento a
afirmao verdadeira.
Eublides de Mileto (384 322 A.C.)

3
As Inconsistncias

O Cubo Impossvel de M. C. Escher

 As inconsistncias so comuns quando

dois ou mais especialistas esto emitindo
opinies sobre o mesmo assunto.
As informaes contraditrias que surgem
quando fazemos uma consulta com mais de
um especialista quase sempre nos traz as
inconsistncias, e quando isto acontece, fica
muito difcil de tomar uma deciso e
entramos numa situao de indefinio.

 O ser humano lida com estas situaes

reais continuamente e por processos no
ainda completamente estudados, o nosso
crebro consegue tomar decises, mas
quando, em Inteligncia Artificial, queremos

modelar mquinas que simulem o

comportamento humano, as inconsistncias
surgem como um obstculo muito difcil de
ser superado, principalmente utilizando a
Lgica Clssica.

Exemplo:

Dois especialistas, afirmam que estas mas esto maduras.

A deciso : colh-las.

Os mesmos especialistas, afirmam que estas mas no esto maduras.

A deciso : no colh-las.
Um dos especialistas afirma que as mas esto maduras e o outro
afirma que elas no esto???
Colher ou no colher? Eis a questo.

4
A Lgica
Simblica

Velha-menina

 de fundamental importncia
compreender como a Lgica tirada
de uma situao abstrata e
manipulada por meio de smbolos
formando equaes propcias serem
representadas por circuitos eltricos.

 Lgica simblica representa as

proposies por meio de smbolos.
Mas... O que uma Proposio?
Na lgica aristotlica uma proposio
um tipo particular de sentena, a
saber, aquela que afirma ou nega um
predicado de um sujeito.

Por exemplo:

A ma est madura, A ma no
est madura, so proposies.

 Na Lgica simblica so utilizados os

seguintes mtodos de representao:
1- As letras p, q, r, etc., so usadas
para indicar as proposies.
2- Os conectivos so designados por
meio de smbolos.

Proposies: p

q
r
Conectivos: No
OU
E
Equivalente
Implica

Vejam o exemplo de uma frase do tipo:

O Sol apareceu ou o tempo est nublado.

O Sol apareceu
ou

(proposio 1)

(conectivo)

O tempo est nublado.

(proposio 2)

Aplicando os conceitos da Lgica simblica a

frase pode ser escrita: q p

Se:

O Sol apareceu = q
O tempo est nublado = p
Ento:
O Sol no apareceu = q
Logo, o tempo est nublado. p
Fica:

q p

5
A Lgica
Paraconsistente

Waterfall M. C. Escher

As Lgicas Paraconsistentes so Lgicas No

Clssicas, portanto, desafiam alguns dos princpios
da Lgica Clssica.

Com a vinda da revoluo tecnolgica e o

aparecimento de reas onde somente aplicam
tecnologias modernas como, Inteligncia Artificial,
Automao e Robtica, os controles e Sistemas
ficaram cada vez mais exigentes no tocante
modelagem de situaes do mundo real.

Em alguns casos, a Lgica Clssica fica

inoperante ou difcil de ser aplicada com
preciso.

As Lgicas No Clssicas nasceram para

que se permitisse dar um tratamento
adequado as condies no abrangidas
pela Lgica Clssica.

A Lgica Paraconsistente uma Lgica

No Clssica, portanto no est
amarrada s leis binrias da Clssica.

A caracterstica principal das Lgicas

Paraconsistentes, permitir o
tratamento adequado s situaes de

Inconsistncias.

Conceitos da Lgica Paraconsistente

Exemplo
A proposio: A casa bonita, afirmativa.
Sua negao lgica utilizando a Lgica
Clssica: A casa no bonita.

A casa bonita. p

A casa no bonita. p

A casa bonita proposio verdadeira.

A casa no bonita proposio falsa.

A casa bonita. p=V

A casa no bonita. p=F

Imaginem as duas sentenas sendo

verdadeiras.
p=V
P=V
Estes tipos de representao de sentenas
contraditrias onde as concluses
expressam Verdade so chamadas de
Contradio (Inconsistncia).

A casa bonita, Falsa.

A casa no bonita, Falsa.

p=F
p=F
Este tipo de contradio, onde as
concluses expressam Falsidade so
chamadas de Proposio
Paracompleta(Indeterminao).

De teoremas contraditrios, pode-se tirar

qualquer concluso.
Tanto valido afirmarmos que a casa bonita,
como no bonita, isto , tanto verdadeira a
sentena da afirmao como a sua negao.
Portanto qualquer sentena teorema.
Quando isto acontece dizemos que uma

trivialidade, ou seja, a teoria trivial.

 Na Lgica Clssica toda teoria que for

inconsistente trivial e vice-versa.

Portanto, no h separao entre
teorias inconsistentes e triviais.

Uma Lgica Paraconsistente, ela

serve de base para teorias inconsistentes,
mas no triviais.

Uma teoria chama-se trivial se todas as

frmulas (ou sentenas) de sua
linguagem forem nela demonstrveis;
em hiptese contrria, diz-se no-trivial.

6
A Lgica
Paraconsistente
Anotada - LPA

Belvedere M. C. Escher

A Lgica Paraconsistente pode ser estudada como

uma Lgica evidencial, onde as evidncias vm em
forma de anotaes representadas por Graus de

crena.

Quando as Proposies vm acompanhadas de

anotaes, ou Graus de crena, possvel aplicaes
reais da Lgica Paraconsistente em Sistemas de
Programao e Circuitos de Controle.
Esta possibilidade de aplicar a Lgica Paraconsistente
Anotada em reas de Inteligncia Artificial e correlatas,
transforma-a em uma forte ferramenta para o
tratamento do conhecimento incerto, incompleto ou
inconsistente em Inteligncia Artificial.

A Lgica Paraconsistente pode ser aplicada

na prtica, quando considera-se as
proposies acompanhadas de anotaes.
As Anotaes aparecem quando tratamos a
Lgica Paraconsistente, como uma Lgica
evidencial.
Em uma Lgica Evidencial, as concluses
so obtidas partir de informaes que no
so categricas, mas que apenas trazem
evidncias do fato ser analisado.

Exemplo:

Depois de uma pesquisa, posso dizer que

Existe a possibilidade de 67%, que o
candidato X ganhe a eleio.
Ento, A possibilidade do candidato X
ganhar a eleio de at 67%.
Ou posso dizer tambm: Eu creio em at
67% de que o candidato X ganhar a
eleio.

 Quem cr pode expressar esta crena em

Graus, portanto, eu posso dizer que: Creio
com um Grau de crena de at 67% que o
candidato X ganhar a eleio.
O Grau de crena d valor evidncia para
que o processo possa ser manipulado
matematicamente.

O Grau de crena pode ser normalizado, para que

sofra uma variao apenas entre o intervalo de 0 e 1.
Exemplo:

Evidncia de chuva hoje.

( 80% de probabilidade )

Grau de crena de at 80% de chuva hoje.

PROBABILIDADE

0%..............................100%
|

0,0...............................1,0

Grau de crena normalizado

O grau de crena de que haver chuva

hoje de at 0,8.

A interpretao em uma Lgica Evidencial

Anotada esta, onde a anotao o valor
do Grau de crena da proposio Vai
chover hoje.

 Quando uma Lgica Paraconsistente

apresentada desta forma, ela passa se
inserir na classe de Lgicas No-Clssicas,
denominadas de Lgicas Paraconsistentes
Anotadas.
Deste modo, os conceitos da Lgica
Paraconsistente podem ser aplicados, na
prtica, atravs da Lgica Paraconsistente
Anotada LPA.

Exemplo:

Vamos usar a afirmativa: A ma est madura.

O especialista A, acredita que a ma est
quase madura, portanto, ela est 80% madura.
O grau de crena 0,8.
O especialista B, acha que ela est totalmente
madura. O grau de crena 1,0.
As anotaes, so os graus de crena.

Com as duas opinies respeito da

ma, obteve-se duas proposies
anotadas.

Proposio: A ma est madura = P

O grau de crena =
A Proposio anotada P
Grau de crena do especialista A = A = 0,8
Ento, Grau de descrena do especialista A
= dA = 1 0,8 = 0,2
A ma est madura com Grau de crena 0,8
o mesmo que falar, A ma est madura com um
Grau de descrena 0,2.

 Transformando um dos Graus de crena em Grau de descrena, a

proposio pode vir acompanhada de uma anotao composta por dois
valores: um Grau de crena e um Grau de descrena.
Na representao simblica, o Grau de crena o primeiro valor da
anotao e o Grau de descrena o segundo valor.

O Grau de crena chamado de 1 e vale 1. O Grau de descrena

chamado de 2 e vale 0,2. A proposio P vem com os dois graus subscritos.

A ma est madura= P
Grau de crena = 1
Grau de descrena = 2
Anotao ( Grau de crena, Grau de descrena)
A ma est madura com Grau de crena 1.0 e Grau de descrena 0.2
P(1, 2)
P(1.0,0.2)

 Neste caso, tanto o Grau de crena, como o Grau de

descrena, podem variar no Intervalo fechado entre 0 e 1.
So completamente independentes um do outro, porque
esto vindos de especialistas diferentes.

[ 0................1]

Especialista A

Grau de crena

[ 0................1]
Grau de descrena

Especialista B

7
A Lgica
Paraconsistente
Anotada, de
Anotao com 2
valores.
LPA2v
Pai, me e filha

 Os estados Lgicos extremos do reticulado tm os seus

pontos correspondentes no QUPC. Esta correspondncia
tambm vai existir para cada um dos infinitos estados
lgicos no-extremos existentes dentro do reticulado.
y
1.0

Graus de
descrena

C(1.0,1.0)

B(0.0,1.0)

0.75
F

0.5
0.25

D(1.0,0.0)

A(0.0,0.0)
0.0

0.25

0.5

0.75

Graus de crena

1.0

 Voltando ao exemplo da ma, que foi emitida opinio, onde os Graus eram
diferentes dos mnimos e mximos. Agora podemos equacionar e obter
informaes que vai nos possibilitar tomar decises.

A ma est madura com Grau de descrena 0,3

A ma est madura com Grau de crena 0,8

Pelas equaes estes

valores resultam num Grau
de certeza igual a 0,5 e
num Grau de contradio
igual a 0,1.

Grau de crena 1 = 0,8

Grau de descrena 2 = 0,3
Clculo do Grau de Certeza
Gc = 0,8 0,3
Gc = 0,5
Clculo do Grau de Contradio
Gct = 0,8 + 0,3 -1
Gct = 0,1

 Entrando com esses valores no reticulado encontrado o ponto de

interpolao numa regio interna. Pode ser constatado visualmente
que o ponto resultante situa-se numa regio prxima ao estado
lgico Extremo verdadeiro, portanto, pode-se concluir optando-se
pelo procedimento da colheita da ma.
T
+1

Gct = 0,1

Ponto resultante

-1

+1

Gc = 0,5
-1

8
O Algortimo
Para-Analisador

Casal se beijando

 O algortimo Para-Analisador originado

da descrio das regies delimitadas do
reticulado representativo da LPA2v sendo
uma relevante ferramenta para aplicaes
em um vasto campo de interesse
tcnolgico. seguir, foram delimitadas
12 regies no reticulado criando um
algortimo que gera 12 estados lgicos
resultantes, cada um recebendo suas
devidas denominaes.

 A diviso do reticulado vai depender de cada projetista. Podemos por

exemplo, repartir o reticulado em 12 regies, onde cada regio recebe uma
denominao. Alm dos quatro estados lgicos extremos que conhecemos, os
estados lgicos No extremos tambm recebem sua simbologia.
2- Inconsistente
tendendo ao Falso.
Tf
1- quase falso
tendendo ao
inconsistente.
QfT

3- Inconsistente
tendendo ao verdadeiro.
Tv

+1

Vlf
T
-1

8- Quase Falso
tendendo ao
indeterminado.
Q

Vlit

V
+1

Vlid
7- Indeterminado
tendendo ao Falso.
F

-1

Vlv

4- quase
verdadeiro
tendendo ao
Inconsistente.
QvT

5- Quase
verdadeiro
tendendo ao
Indeterminado.
Qv

6- Indeterminado tendendo
ao Verdadeiro.
V

 As entradas so os Graus de crena e de descrena. O Algortimo Paraanalisador faz a anlise e fornece duas sadas na forma de Graus de Certeza e de
Contradio, ou ento uma sada na forma de um dos 12 estados lgicos
resultantes.

Algortimo Para-analisador
1

Grau de
crena

Tf

TV

QfT

QvT

Qf

Qv

Grau de
descrena

Gc
Grau de Certeza

Gct

Gc = 1 - 2

Grau de
Contradio

Gct = 1 +2 -1

Vlid

12 estados
lgicos
resultantes

Vlv

Vlit

Vlf

Ajuste dos valores limites

9
Aplicaes
da LPA2v

Filme Inteligncia Artificial

 As aplicaes da LPA so poucas, isto se deve ao seu recente

surgimento no cenrio da pesquisa cientfica.
A Lgica Paraconsistente, desde a sua criao, na dcada de 50, teve
profundos estudos tericos, tanto no campo da Filosofia como na Matemtica.

No entanto, foi somente nos anos 90, com a introduo da Lgica

Paraconsistente Anotada, que surgiu a possibilidade de dar tratamento s
inconsistncias usando este tipo de Lgica.
A Lgica Paraconsistente Anotada quando comparada outras teorias est
praticamente na sua fase de gestao, portanto, as aplicaes da LPA se
apresentam hoje como um vasto campo de pesquisa sendo um importante
tema de interesse cientfico na rea de aplicaes em Inteligncia Artificial,
Robtica e Eng. de Controle.

Rob Emmy
Sensores de
Ultra-som
Controlador Lgico
Paraconsistente

Sistema Para-snico

Ajustes externos para

otimizao do Controle

Codificadores

Circuito de
Potncia

Microprocessador de
Aes

Baterias de
alimentao

Decodificadores

Rodas de Trao

Prof. Dr. Joo Incio da Silva Filho

10

Principais conceitos dos

mtodos quantitativos
utilizados em

Medicina

Anlise Grfica

Separao da populao conforme sua caracterstica

A nossa inteno trabalhar com curvas Normais

que estabeleam tipos de diagnstico dado pela
Curva ROC para a Probabilidade Pragmtica
aplicada em LPA

Mostrando a Matriz 2x2,

Doena
vs
Evidncia

Interpretao do Quadrado
Unitrio da Lgica Paraconsistente
Falso

Quase falso
tendendo a
inconsistente

Inconsistente
tendendo a
falso

Inconsistente

Inconsistente
tendendo ao
verdadeiro

Quase falso
tendendo a
Paracompleto

P(, )
Quase
verdadeiro
tendendo ao
inconsistente

Paracompleto
tendendo a
falso

Paracompleto

Paracompleto
tendendo ao
verdadeiro

Quase verdadeiro Verdadeiro

tendendo a
Paracompleto

Viabilidade de aplicao inicial

(pesquisa)
d

_
d

(A+B)

doentes

falsos
positivos

total de
positivos

_
S

(C+D)

falsos
negativos

sadios

Total de
negativos

(A+C)
total de
doentes

(B+D) A+B+C
total de no
+D
doentes
total

Interpretao do Quadrado Unitrio da

Lgica Paraconsistente na Medicina
No Doente

Quase No
Falso Positivo
Doente tendendo tendendo a
a Falso Positivo No Doente

Falso Positivo

Falso Positivo
tendendo a
Doente

Quase No
Doente
tendendo a
Falso Negativo

P(, )
Quase Doente
tendendo ao
Falso Positivo

Falso Negativo
tendendo a No
Doente

Falso Negativo

Falso Negativo
tendendo a
Doente

Quase Doente
Doente
tendendo a Falso
Negativo

O objetivo dessa pesquisa implementar

aplicaes da Lgica ao campo das Cincias
Mdicas e para isso deve-se vincular certo valor
estrutural de:

O GRAU DE CERTEZA REAL Gcr

O Grau de Certeza resultante Real (Gcr) tem o

seu valor de certeza isento dos efeitos da
Contradio e obtido atravs de anlise feita
no reticulado Associado da LPA2v.
calculado aps a obteno do valor do Grau de
Certeza resultante (Gc) e o valor do Grau de
Contradio (Gct) .

Determinao do Grau de Certeza de valor resultante

real - Gcr no reticulado da LPA2v

PROBABILIDADE PRAGMTICA
OU

QUASE VERDADE
&
A LGICA
PARACONSISTENTE ANOTADA

A Probabilidade Pragmtica, que um

tipo de Probabilidade Subjetiva, aquela
que oferece um conceito de probabilidade
que servir como base para a
fundamentao de inferncias indutivas
que neste trabalho ir ligar a teoria da
Probabilidade a Lgica Paraconsistente.

PROBABILIDADE PRAGMTICA E CONCEITO DE QUASEVERDADE

1- Nenhuma teoria deve ser aceita como estritamente
verdadeira para sempre, e mais cedo ou mais tarde ser
substituda por outra.
2- Desta constatao nasceu o conceito de quaseverdade, o qual, conforme estudado em Da Costa (1997)
pode-se alcanar melhores resultados.
3- A idia da quase-verdade permite que em novas teorias
e novas aplicaes em I.A. sejam consideradas as
situaes que produzem inconsistncias.
4- A quase-verdade de uma proposio traduz o quanto
ela se aproxima da verdade absoluta dentro de certos
limites.

Consideraes
Finais

M. C. Escher

A maneira de resoluo de problemas

pela LPA2v frente situaes do
mundo real muito parecida com
formas de resoluo empregadas pelo
crebro humano, o que nos possibilita
concluir que esta metodologia pode ser
aplicada com muito sucesso em
Inteligncia Artificial.

e assim ...

Obrigado a todos!

schroeder@educaonline.eng.br

fim