Lgica Paraconsistente

LGICA PARA COMPUTAO ENGENHARIA DE COMPUTAO

UNIVASF JUAZEIRO BAHIA ABRIL/2017
ROTEIRO
INTRODUO/HISTRIA

LGICA PARACONSISTENTE X LGICA CLSSICA

PRINCPIO DA EXPLOSO

LIMITAES DA LGICA CLSSICA

O QUE LGICA PARACONSISTENTE?

DEFINIO

SMBOLOS

LGICA PARACONSISTENTE ANOTADA

EXEMPLOS

REFERNCIAS
INTRODUO/HISTRIA
Segundo [1]:
J. Lukasiewicz e N.A. Vasilev foram os precursores da lgica
paraconsistente, apresentando de forma independente em 1910,
embora restrita lgica aristotlica tradicional.

Em 1948, S. Jaskowski, primeiro especialista em lgica, formulou

um clculo proposicional paraconsistente, denominado Clculo
Proposicional Discursivo.
INTRODUO/HISTRIA
Na dcada de 1950, Newton da Costa definiu a primeira teoria da lgica paraconsistente
realmente forte, envolvendo 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;

A lgica paraconsistente um assunto bem desenvolvido no campo da lgica no-clssica

e seu estudo se deve no apenas ao seu valor intrnseco, mas particularmente pela sua
aplicao em reas que precisam tomar decises baseadas em contradies, como
filosofia, direito, medicina, computao e robtica; destacando-se na rea de inteligncia
artificial.
O QUE LGICA PARACONSISTENTE?
DEFINIO
Teorias inconsistentes: Seja T uma teoria fundada sobre uma
linguagem L, que admite um smbolo de negao, ento a
teoria T inconsistente se e somente se possuir dois teoremas,
sendo um a negao do outro.
Teorias triviais: A mesma teoria T dita trivial se e somente se
todas as sentenas da sua linguagem so teoremas de T.
O QUE LGICA PARACONSISTENTE?
DEFINIO
Uma lgica L paraconsistente se puder ser
subordinada lgica da inconsistncia, mas no s
teorias triviais.
Contraditrio + no trivial.
O QUE LGICA PARACONSISTENTE?
SMBOLOS

Variveis proposicionais Smbolos anotacionais:

(Implicao) , t, f, lt, lf, T
& (Conjuno) - Indefinido
(Disjuno) t - Verdadeiro
(Negao) f - Falso
Parnteses lt - Quase verdadeiro
Smbolo de anotao: : lf - Quase falso
T - Sobre definido
LGICA PARACONSISTENTE X LGICA CLSSICA
Princpio da Exploso:
"A partir de uma contradio, qualquer coisa segue."
Princpio do Terceiro Excludo

Limitaes da Lgica Clssica

Exemplo: P ^ P = T

dipo s pde enxergar mais claramente a partir do

momento que ficou cego.
LGICA PARACONSISTENTE ANOTADA

Figura 1- Reticulado representativo da Lgica Paraconsistente Anotada.

LGICA PARACONSISTENTE ANOTADA

Figura 2- Sistema bsico de anlise paraconsistente.

LGICA PARACONSISTENTE ANOTADA

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

Grau de Contradio Gct

Definido por : Gct = u + - 1

Grau de Certeza Gc

Definido por : Gc = u -
LGICA PARACONSISTENTE ANOTADA
1. Se existir um alto grau de contradio no existe
certeza ainda quanto deciso a ser tomada,
portanto deve-se buscar novas evidncias.

2. Se existir um baixo grau de contradio pode-se

formular a concluso, desde que se tenham um alto
grau de certeza.
EXEMPLOS
Um sistema de controle de um rob possui dois sensores,
esses tm como objetivo determinar se uma mesa est no
lugar correto.

Temos que:

p = A mesa est no lugar correto.

EXEMPLOS
O problema tem quatro possveis resultados:

1) Um sensor detecta a mesa no lugar correto e o outro no.

Ou seja, a proposio p inconsistente (pT).
2) Os dois sensores detectam que a mesa est no lugar correto.
Ou seja, a proposio p verdadeira (p1).
3) Nenhum dos dois sensores detecta que a mesa est no lugar
correto.
Ou seja, a proposio p falsa (p0).
4) A amplitude dos sinais dos dois sensores foram insuficientes para
a deteco.
Ou seja, a proposio indefinida (p).
EXEMPLOS
No universo de Alice no Pas das Maravilhas, o Gato que Ri
a Lebre de Maro?
EXEMPLOS
No universo de Alice no Pas das Maravilhas, o Gato que Ri
a Lebre de Maro?

O Gato que Ri e a Lebre de Maro so personagens

distintos de Alice no Pas das Maravilhas.
Porm o Gato que Ri desaparece at ficar apenas seu
sorriso, e depois desaparece totalmente.
Quando ele desaparece, ele continua sendo quem ,
porm, fisicamente, ele no o Gato que Ri.
Ou seja, ele o Gato que Ri e o no Gato que Ri.
EXEMPLOS
G = o Gato que Ri.
L = a Lebre de Maro.

1) G ^ G ---------------------------------------- Premissa
2) G ---------------------------------------- Eliminao ^ (1)
3) G V L ---------------------------------------- Introduo V (2)
4) G ---------------------------------------- Eliminao ^(1)
5) L ---------------------------------------- Tollendo Ponens
(TP) (3,4)
REFERNCIAS
1. DA COSTA, Newton 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.

2. 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.

3. ABE, JAIR MINORO. Aspectos de Lgica e Teoria da Cincia. Instituto de Estudos Avanados da
USP, 2011. 312 p.

4. DA SILVA FILHO, Joo Incio. Mtodos de aplicaes da lgica paraconsistente anotada de

anotao com dois valores-lpa2v com construo de algoritmo e implementao de circuitos
eletrnicos. 1999. 226 p. Tese (Doutorado) - Departamento de Engenharia de Computao e
Sistemas Digitais, Escola Politcnica da Universidade de So Paulo.
INTEGRANTES
Bruno Souza Joo Pedro
Ellen Fiscina Johnathan Alves
Esron Dtamar Jos Weslles
Gabriel Gomes Las Fernanda