Você está na página 1de 27

LGICA PARACONSISTENTE ANOTADA

Prof. Paulo Roberto Schroeder de Souza


25/08/2010

A lgica ou logike (razo) foi


criada na Grcia Antiga pelo
filsofo Aristteles (384-322 a .C.)
que teve como mestre Plato
(428 348 a. C.).
Aristteles considerado
fundador das cincias na histria.

A lgica a cincia que estuda as


leis do raciocnio, a maneira certa
de como a razo deve operar,
pouco importando se o raciocnio
tem ou no fundamento na
realidade (Aristteles).

Vamos comear falando de lgica


clssica...
uma lgica fundada na lgica
binria, 0 ou 1, falso ou
verdadeiro, contato aberto ou
fechado, lmpada acesa ou
apagada, respostas que podemos
dizer que no tem meio termo, ou
seja, valores inteiros.
4

A lgica paraconsistente baseia-se na


lgica no clssica, reconhece a
existncia de mais de duas situaes
reais ou valores diferentes de 0 e 1.

Existem dois mundos segundo o filsofo da


Antiga Grcia, Plato (428 348 a.C.). O
mundo das idias o mundo ideal que s
podemos ter acesso atravs da matemtica,
no existem imperfeies e o mundo real
feito de cpias imperfeitas o qual convivemos
com situaes de contradies, indefinies,
ambigidades e vagueza. Todas estas
situaes geram incerteza, portanto, o
mundo real incerto.
6

Representao de incerteza
A imperfeio da informao
geralmente conhecida na literatura de
sistemas baseados em conhecimento
como incerteza . No entanto, este
termo muito restritivo; o que se
convenciona chamar tratamento de
incerteza pode, na verdade, estar
endereando outras imperfeies da
informao, como impreciso, conflito,
ignorncia parcial, etc.
7

Suponhamos, por exemplo, que


queiramos descobrir a que horas
comea um determinado filme.
Algumas das respostas que
podemos obter so:

Informao perfeita: O filme


comea s 8h 15min.
Informao imprecisa: O filme
comea entre 8h e 9h.
Informao incerta: Eu acho que
o filme comea s 8h (mas no
tenho certeza).
Informao vaga: O filme
comea l pelas 8h.
Informao probabilista:
provvel que o filme comece s
8h.
9

Informao possibilista:
possvel que o filme comece s
8h.
Informao inconsistente: Maria
disse que o filme comea s 8h,
mas Joo disse que ele comea
s 10h.
Informao incompleta: Eu no
sei a que horas comea o filme,
mas usualmente os filmes neste
cinema comeam s 8h.
Ignorncia total: Eu no fao a
menor idia do horrio do filme.
10

As informaes que podemos obter podem,


portanto, variar de perfeitas, quando descobrimos
exatamente o que queremos saber, a completamente
imperfeitas, seja pela total ausncia de informaes
ou por informaes completamente conflitantes.
O mais interessante aqui que, mesmo lidando
diariamente com o tipo de informaes acima,
conseguimos tomar decises razoveis. Para
tanto, ns, de alguma forma, encontramos um
modelo adequado para representar a informao
que obtivemos e a tratamos segundo o modelo
escolhido.

.O mesmo deve (ou pelo menos deveria)


ocorrer com sistemas baseados em
conhecimento, em face de informaes
imperfeitas.
11

Eu sou mentiroso?

12

Vamos exemplificar uma situao


contraditria com o paradoxo do mentiroso.
Se algum afirma:
Eu sou mentiroso,
e se o que diz verdadeiro, ento a
afirmao falsa; e se o que diz falso,
ento a afirmao verdadeira
(Eublides de Mileto 384 322 a. C.).
13

Outro exemplo, coloquemos em um


carto de um lado escrito:
A frase escrita no verso deste
carto verdadeira
e podemos
lado:

escrever

do

outro

A frase escrita no verso deste


carto falsa

14

Portanto chegamos a concluso que o


paradoxo do carto e do mentiroso
expressa uma contradio ou uma
inconsistncia da linguagem formal.

15

A LGICA DE BOOLE PARA A


LGICA SIMBLICA

A lgica simblica representa as


proposies por meios de smbolos.
A proposio pode ser uma afirmao
ou negao sobre alguma idia.

16

Na lgica simblica so utilizados os


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

17

proposies

p
q
r

conetivos

No

Ou

Equivalncia

Implica

18

O Sol apareceu : proposio_1 = q


Ou : conectivo = V
O tempo est nublado : proposio_2 = p
O Sol apareceu ou o tempo est nublado :

qVp
O Sol no apareceu = q
Logo, o tempo est nublado = p
q p
19

Na lgica clssica no se admite


contradies.
Vamos admitir uma lgica L que
admita teoremas contraditrios,
onde teoremas so sentenas
que podem ser demonstradas.

Lgica L

20

p=V
e

(Verdadeiro)

P = V

(Inconsistente)
p=F

(Falso)

p = F
(Indeterminada = Paracompleta)
Paraconsistente = Para significa ao lado de,
portanto,

paraconsistente significa ao lado da consistncia.


21

Na Lgica Clssica toda teoria que for inconsistente


trivial e vice-versa.
Portanto, No h separao entre teorias inconsistentes e
triviais.

Uma lgica L para ser Paraconsistente precisa ser


estruturada numa teoria Inconsistente e No trivial.
Uma Lgica Paraconsistente ela pode servir de base para
teorias inconsistentes, mas no triviais.

22

Lgica Paraconsistente Anotada deve 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.

Esta possibilidade de aplicar a Lgica Paraconsistente


Anotada em reas de Inteligncia Artificial e correlatas,
transforma-a em forte ferramenta para o tratamento do
conhecimento Incerto, Incompleto ou Inconsistente em
I. A..
23

A LPA pode ser representada por:


c = grau de crena
de = grau de descrena
[0,1]
P = proposio anotada
Grau de descrena = de = 1 c
24

A Lgica Paraconsistente Anotada


uma lgica evidencial anotada onde a
anotao o valor do grau de crena da
proposio .

25

Podemos ter quatro situaes


possveis:
1- Inconsistente;

2- Verdadeira;
3- Falsa;
4- Paracompleta ou Indeterminada.

26

27