1

RETICULADO DE HASSE

Considera-se: Proposio(grau de crena,

grau de descrena), essa forma de escrever
enuncia a lgica anotada para dois valores.
O procedimento bsico interpretar os
valores atravs de um Quadrado Unitrio
descrito no plano cartesiano.

Podemos ter valores diversos desde

esteja na faixa entre 0 e 1 inclusive.

que

Exemplo:

[0,1] = 0.0 , 0.125 , 0.25 , 0.375 , 0.5 ,

0.625 , 0.75 ,1.0
Vamos escolher
exemplo:

alguns

valores

por

0 , 0.25 , 0.5 , 0.75 , 1.0

4

Analisando o quadro para chegarmos

reticulado:

Interpolando o mximo grau de crena e o

mximo grau de descrena, obteremos um
ponto C com os seguintes graus (1.0,1.0).

xy=0

1 - 2 = 0

Os estados lgicos extremos do reticulado tm os seus pontos

correspondentes no QUPC = QUADRADO UNITRIO DO PLANO
CARTESIANO.
6

xy=d

1 - 2 = d

X-Y = 0,
usando o grau de crena e
descrena do reticulado temos:

1-2 = d
Gc = 1-2

Gc = Grau de certeza
1 = Grau de crena
2 = Grau de descrena

Analisando o segmento AC:

10

No ponto B:
1 = 0.0 e 2 = 1.0
1 - 2 = d = 0.0 1.0 = -1
No ponto D:
1 = 1.0 e 2 = 0.0
1 - U2 = d = 1.0 0.0 =+1
[+1,.................................................,-1]

Verdadeiro
GRAU DE CERTEZA

Falso

11

Gc = 1 - 2
Onde:
Gc = Grau de certeza
1 = Grau de crena
2 = Grau de descrena
Gc = 1 - 2
Para:
1 = 2
Gc = 0
Gc = 0 o Estado Lgico Resultante Indefinido
__
AC = ESTADO LGICO INDEFINIDO

12

Os valores dos Graus de Certeza so expostos em

um eixo horizontal compondo o que chamamos de
Eixo dos Graus de Certeza.
Grau de certeza
Gc = 1 - 2

13

Analisando o segmento BD:

14

X + Y 1= 0

1 + 2 1 = 0

15

Gct = Grau de Contradio

X + Y 1= d

Analisando o ponto C:

U1 = 1.0(valor mx.)
U2 = 0.0(valor min.)
1.0 + 1.0 1 = +1
Inconsistente

1 + 2 1 = d
Analisando o ponto A:

U1 = 0.0(valor mn.)
U2 = 1.0(valor mx.)
0.0 + 0.0 1 = -1
Indeterminado/Paracompleto

16

Gct = Grau de Contradio

Gct = 1 + 2 1

Onde:

1 = Grau de crena
2 = Grau de descrena

17

Os valores dos Graus de contradio so

expostos num eixo vertical denominado de
Eixo dos Graus de Contradio.

18

Eixo dos Graus de Contradio Gct sobreposto ao

Eixo dos Graus de certeza Gc, cruzando-os no ponto
de Indeterminao.

Com os eixos dispostos deste modo, temos ento, o Reticulado

da Lgica Paraconsistente Anotada construdo com valores de
Graus de Certeza Gc e de Contradio Gct.
19

Para qualquer anotao, composta por valores de Graus de

Crena e Graus de descrena, podemos obter um ponto de
Interpolao entre valores de Graus de Certeza e Graus de
Contradio, que pertencente ao reticulado da LPA.

20

Podemos agora saber, para qualquer anotao,

com valores de graus crena e de descrena
quaisquer, quais so as valores do Grau de
Certeza e de Contradio, para ento,
fazermos a interpolao no reticulado. Isto
indicar onde est localizado, no Reticulado da
LPA, o ponto resultante. Se est prximo ou
no de algum dos estados lgicos Extremos
localizados nos vrtices.

21

Exemplificando:
A ma est madura com Grau de descrena 0.3
A ma est madura com grau de crena

Grau de crena

0.8

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
22

23

O algoritmo da Lgica Paraconsistente

Anotada de anotao com dois valores
LPA2v denominado de Algoritmo ParaAnalisador.

O algoritmo 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
tecnolgico.

24

A seguir, vamos delimitar 12 regies

no reticulado criando um algoritmo que
gera 12 estados lgicos resultantes,
cada um recebendo suas devidas
denominaes.

25

Um Algoritmo pode ser definido como

sendo o modo de descrio de um
processo,
por
meio
de
etapas
sucessivas
ou
passos,
com
a
finalidade
de
se
conseguir
um
objetivo.

26

Algoritmo Para-Analisador da LPA2

O Vlit, valor Limite de Inconsistncia um
valor entre 0 e 1 que aplicado
externamente para demarcar o limite do
valor do Grau de Contradio.

Analisando o Grau de Contradio, teremos:

27

Se o Grau de Contradio calculado

ultrapassar
este
valor,
podemos
considerar como resultado da anlise,
um estado lgico inconsistente.
O Vlid o valor Limite de Indeterminao.
Quando o Grau de Contradio menor que Vlid
ento o ponto resultante est localizado numa
regio considerada indeterminada que representa
o estado lgico Indeterminado.
28

O valor Limite de Verdade Vlv, comparando com o Grau

da Certeza vai determinar onde comea a regio
considerada totalmente verdadeira que representa o
estado lgico Verdadeiro.
29

0<=Vlv<=+1

O Valor limite da falsidade Vlf, comparando com o

Grau de Certeza vai determinar onde comea a regio
considerada totalmente Falsa que representa o estado
lgico Falso.

30

31

32

33

34

Reticulado da Lgica
Paraconsistente
Anotada dividido em
12 regies
representativas dos
estados lgicos.

35

36

37

38

39

40

41

SISTEMA ESPECIALISTA
ANLISE SIMULTNEA DE EVIDNCIAS

42

43

44

45

46

BIBLIOGRAFIA
INTRODUO LGICA PARACONSISTENTE
ANOTADA
Com ilustraes
AUTORES
JOO INCIO DA SILVA FILHO
JAIR MINORO ABE
1.a EDIO

2000
EDITORA EMMY

47

48