FUNDAO UNIVERSIDADE FEDERAL DO VALE DO SO FRANCISCO

COLEGIADO DE ENGENHARIA DE COMPUTAO - CECOMP

CCMP0038 - LGICA PARA COMPUTAO
DOCENTE: ROSALVO OLIVEIRA

LGICA PARACONSISTENTE

DISCENTES:

Bruno Souza Johnathan Alves

Ellen Fiscina Jos Weslles

Esron Dtamar Las Fernanda

Gabriel Gomes Joo Pedro

JUAZEIRO-BA
ABRIL/2017
 Sumrio

Introduo 3

A Lgica Clssica e a Lgica Paraconsistente 4

Lgica Paraconsistente: Definio 5

Lgica Paraconsistente Anotada 7

Exemplos 11

Concluso 13

Referncias 14

2
 Introduo
Lgica paraconsistente um tipo de lgica no-clssica baseada na lei das
contradies, que permite lidar com sistemas inconsistentes. aplicvel em
diversas reas que precisam tomar decises baseadas em contradies, como
filosofia, direito, medicina, computao e robtica; destacando-se na rea de
inteligncia artificial.
A histria da lgica paraconsistente remonta ao ano 1910, quando J.
Lukasiewicz e N.A. Vasilev a apresentaram de forma independente. No entanto, s
em 1948 foi formulado o primeiro clculo proposicional paraconsistente, pelo
polons S. Jaskowski; denominado Clculo Proposicional Discursivo. Alguns anos
mais tarde, no Brasil, foi feita a primeira teoria desse tipo de lgica, por Newton da
Costa, colocando-o entre os pais da lgica paraconsistente, juntamente com
Jaskowski. Sua teoria envolve os sistemas de primeira ordem e superiores: clculo
proposicional, clculo de predicados, clculo de predicados com igualdade, e
clculo de descries e teoria dos conjuntos.

3
 A Lgica Clssica e a Lgica Paraconsistente

Comparando a lgica paraconsistente com a lgica clssica observa-se como

a primeira vem a suprir as lacunas da outra. A lgica aristotlica baseia-se na lei da
exploso, princpio que garante que qualquer argumento pode ser provado atravs
da contradio; e na lei do terceiro excludo. Isto , os sistemas so livres de
contradies e uma proposio pode assumir apenas um valor, verdadeiro ou falso.
Por isso, a lgica clssica no permite que dois argumentos contraditrios sejam
verdadeiros entre si, pois seria uma inconsistncia.
De acordo com [1], a Lgica Paraconsistente, pelo fato de aceitar
contradies permite um tratamento mais adequado, muito parecido com o
funcionamento do crebro humano quando nos deparamos com situaes reais,
onde dificilmente lidamos com problemas de caractersticas binrias.

4
 Lgica Paraconsistente: Definio

Para definir a lgica paraconsistente de maneira formal, necessita-se de duas

outras definies:
Teorias inconsistentes: Seja T uma teoria fundada sobre uma lgica L
e suponha-se que a linguagem T e de L contenha um smbolo para a
negao (se houver mais de uma negao, deve-se escolher uma).
T diz-se inconsistente se possuir teoremas contraditrios, isto , um
a negao do outro; caso contrrio, T diz-se consistente.[2]
Teorias triviais: T diz-se trivial se todas as frmulas de L forem
teoremas de T; caso contrrio T diz-se no-trivial.[2]

Sendo assim, uma lgica L paraconsistente se puder ser subordinada

lgica da inconsistncia, mas no s teorias triviais, ou seja, se a teoria T
inconsistente e no-trivial, ento T chamada uma teoria paraconsistente [2]. Por
esse motivo, possvel, atravs dessa lgica, tratar casos onde existem
argumentos contraditrios entre si, levando a uma tomada de deciso baseada no
grau de veracidade ou de crena em cada um deles. Isto mostra que a lgica
paraconsistente consegue trabalhar com valores diferentes de verdadeiro e falso.

Segundo [2], os seguintes smbolos compem o alfabeto da Lgica Paraconsistente.

Smbolos primitivos:
A, B, C - variveis proposicionais
- implicao
- conjuno
- disjuno
- negao
(, ) - parnteses
: - smbolo de anotao

5
Smbolos anotacionais:
- indefinido
t - verdadeiro
f - falso
lt - quase verdadeiro
lf - quase falso
- sobre definido

6
 Lgica Paraconsistente Anotada

Uma forma de representar os conceitos da Lgica Paraconsistente a Lgica

Paraconsistente Anotada (LPA) [1]: onde dada uma proposio, trata-se os graus de
crena e descrena relativos a ela. Graus estes que variam entre zero e um, como
mostrado abaixo:
T = (1,1) Inconsistente (Evidncia favorvel mxima, Evidncia
contrria mxima);
V = (1,0) Verdadeiro (Evidncia favorvel mxima, Nenhuma evidncia
contrria);
F = (0,1) Falso (Nenhuma evidncia favorvel, Evidncia contrria
mxima);
= (0,0) Indeterminado (Nenhuma evidncia favorvel, Nenhuma
evidncia contrria).

A Figura 1 apresenta como os graus possveis so representados

graficamente.

7
 Ainda segundo [1], o estado lgico de cada vrtice do reticulado acima
formado pelo par (grau de crena - , grau de descrena - ). Os graus so
utilizados como entrada do sistema e os vrtices so suas respectivas sadas, como
mostra a Figura 2.

Figura 2- Sistema bsico de anlise paraconsistente

Os graus de evidncias so independentes e devem ser pensados como

conhecimento obtido. Mediante a obteno de novos dados e/ou evidncias
torna-se possvel chegar-se uma concluso mais acertada, visto que, as
contradies tendem a diminuir.
Para os casos em que os graus possuem valores decimais contidos entre 0 e
1 necessrio utilizar uma abordagem mais sistemtica. A representao desses
valores feita utilizando um Quadrado Unitrio no Plano Cartesiano - QUPC, como
indicado pela Figura 3.
Neste caso, a representao no plano feita atravs do Grau de Contradio
- Gct e
do Grau de Certeza - Gc, onde:

Gct = + - 1

-
Gc =

8
 O grau de contradio (Gct) varia de -1 a +1 e diminui medida que a
interpolao dos pontos e se aproxima da reta que passa pelos pontos B(1,0) e
D(0,1) da Figura 3. O valor -1, que ocorre no ponto A(0,0), indica uma contradio
mxima negativa; o valor +1, que ocorre no ponto C(1,1), indica uma contradio
mxima positiva. Em suma esses valores significam informaes completamente
contraditrias.
O grau de certeza (Gc), com base no quadrado unitrio da Figura 3, tambm
varia de -1 a +1 e diminui medida que a interpolao entre os pontos e se
aproxima da reta que liga os pontos A(0,0) e C(1,1). O valor +1, que ocorre no ponto
D(1,0), significa uma certeza mxima na afirmao do argumento, enquanto que o
valor -1, que ocorre no ponto B(0,1), significa uma certeza mxima em sua negao.
Com base em leituras constantes dos graus de certeza e contradio,
pode-se montar um sistema paraconsistente de deciso, seguindo os seguintes
princpios [1]:

1. se houver um alto grau de contradio, no existe ainda certeza da deciso a

ser tomada, novas informaes devem ser buscadas;

2. se houver um baixo grau de contradio pode-se formular uma concluso,

desde que o grau de certeza seja suficientemente alto.

9
Figura 3 - Reticulado representado por um Quadrado unitrio no Plano
Cartesiano-QUPC.

10
Exemplos

Para ilustrar a lgica paraconsistente anotada, observe os dois exemplos que

seguem:

Exemplo 1: Um sistema de controle de um rob possui dois sensores [5],

esses sensores trabalham em conjunto para saber se uma mesa est no lugar
correto. Considerando a proposio p A mesa est no lugar certo, existem quatro
situaes:
1. pT = A mesa est e no est no lugar correto. Nessa proposio, um
sensor detecta a mesa, e o outro, no. Consta o mximo de evidncia
favorvel e o mximo de evidncia contrria (1, 1), portanto o estado
inconsistente.
2. p1 = A mesa est no lugar correto. Nessa proposio, os dois sensores
detectam a mesa. Consta o mximo de evidncia favorvel e no h
evidncia contrria (1, 0), portanto o estado verdadeiro.
3. p0= A mesa no est no lugar correto. Nessa proposio, nenhum dos
sensores detectam a mesa. Consta o mximo de evidncia contrria e no h
evidncia favorvel (0,1), portanto o estado falso.
4. p= Nada se pode afirmar. Nessa proposio, a amplitude dos sinais
recebidos dos sensores foi insuficiente para detectar a mesa. No h
evidncia favorvel nem contrria (0,0), portanto o estado indefinido.

Exemplo 2: O Gato que Ri e a Lebre de Maro so personagens distintos de

Alice no Pas das Maravilhas [2], mas ser que o Gato que Ri a Lebre de Maro?
primeira vista isso parece falso, todavia pela Lgica Paraconsistente possvel
analisar esse problema melhor.
O Gato que Ri tem uma particularidade: ele desaparece at ficar apenas seu
sorriso, e depois desaparece totalmente. Quando ele desaparece, ele continua

11
sendo quem , porm, fisicamente, ele no mais o Gato que Ri. Ele e no o
Gato que Ri simultaneamente.
Supondo a proposio G o gato que ri e a proposio L a Lebre de
Maro, j possvel obter uma premissa para Ele o Gato que Ri e ele no o
Gato que Ri, e a partir da, aplicando as regras do clculo proposicional, verificar se
o Gato que Ri a Lebre de Maro, como mostrado na Figura 4.

Figura 4 - Deduo que o Gato que Ri a Lebre de Maro.

Portanto, conclui-se que o Gato que Ri a Lebre de Maro.

12
Concluso
A lgica paraconsistente, pode ser utilizada em diversas reas onde
necessrio se fazer o tratamento do conhecimento incerto. De certa forma, as
lgicas paraconsistentes estendem-se a lgica tradicional, por permitir investigaes
que no seriam possveis de serem realizadas luz da lgica clssica, ela no visa
eliminar a lgica tradicional, que permanece vlida em seu particular domnio de
aplicao.
Informaes contraditrias so encontradas frequentemente em situaes
reais, portanto, o desenvolvimento da lgica paraconsistente permite que diversos
problemas sejam solucionados de formas mais eficientes em reas como:
Engenharia de Software, Inteligncia Artificial, Eletrnica e Teoria dos Conjuntos.

13
Referncias

1. DA SILVA FILHO, J. I. Conhea a lgica paraconsistente. 2007. Disponvel

em <http://www.paralogike.com.br/site/links/ver/28> Acesso em 24/04/2017.

2. DA COSTA, N. CA; SUBRAHMANIAN, V. S. Paraconsistent logics as a

formalism for reasoning about inconsistent knowledge bases. Artificial
Intelligence in Medicine, v. 1, n. 4, p. 167-174, 1989.

3. ABE, J. M. Aspectos de Lgica e Teoria da Cincia. Instituto de Estudos

Avanados da USP, 2011.

4. VARELA, D. A. Lgica Paraconsistente: Lgicas da Inconsistncia Formal e

Dialetesmo. Revista Fundamento, v.1, n1, p. 186-201, 2010.

5. DA SILVA FILHO, J. I. 1999. 226 p. Tese (Doutorado) - Departamento de

Engenharia de Computao e Sistemas Digitais, Escola Politcnica da
Universidade de So Paulo.

14