Você está na página 1de 16

Revista Pesquisa e Desenvolvimento Engenharia de Produo

n.1, p. 47-62, dez. 2003

Um Estudo de Tomada de Deciso Baseado em


Lgica Paraconsistente Anotada: Avaliao do Projeto de uma Fbrica
Fbio Romeu de Carvalho, Mestre e Doutorando em Engenharia de Produo
fabioromeu@unip.br, Universidade Paulista, UNIP
Israel Brunstein, Doutor em Engenharia de Produo, Professor Titular
brunstei@usp.br, Universidade de So Paulo, USP
Jair Minoro Abe, Bacharel em Matemtica, Ph.D. em Filosofia
jairabe@uol.com.br, Universidade Paulista, UNIP
Resumo
Neste trabalho apresentamos um estudo sobre tomada de deciso, enfocado como uma
aplicao do algoritmo para-analisador e baseado em uma nova classe de lgicas noclssicas - as lgicas paraconsistentes anotadas. Tais lgicas conseguem manipular em seu
interior dados incertos, contraditrios ou paracompletos, sem se tornar trivial. A lgica
paraconsistente anotada (LPA) tem sido aplicada em Cincia da Computao, Robtica,
Inteligncia Artificial etc. (ABE, 1997).
Como exemplo de aplicao desse estudo, mostramos como feita uma tomada de deciso
pelo dispositivo para-analisador na rea de Engenharia de Produo. Mais especificamente,
aplicamos o estudo para mostrar como pode ser feita a avaliao do projeto de uma fbrica,
utilizando-se de um novo mtodo, Mtodo de Anlise pelo Baricentro, MAB.
Palavras Chave: Tomada de deciso, lgica paraconsistente, algoritmo para-analisador, regra
de deciso, anlise de viabilidade.

A Study of Decision-Making Based on


Paraconsistent Annotated Logic: Evaluation of a Plant Project
Abstract
In this paper we present a study about decision-making, focused as an application of the
algorithm para-analyser and based on a new class of non-classical logics the paraconsistent
annotated logics. Such logics allow to manipulate uncertain, contradictory or paracomplete
data in their interior, without trivialization. The paraconsistent annotated logics (PAL) has
been applied in Computer Science, Robotics, Artificial Intelligence etc. (ABE, 1997).
Copyright 2003

47

Revista Pesquisa e Desenvolvimento Engenharia de Produo


n.1, p. 47-62, dez. 2003
As an example of application of this study, we demonstrate how the algorithm para-analyser
can be applied as a decision-making tool in Production Engineering. More specifically, we
applied the study to show how an evaluation of a plant project can be performed by using a
new method, Baricenter Analysis Method, BAM.
Key Words: Decision-making, paraconsistent logics, para-analyser algorithm, decision rule,
viability analysis.
1. Introduo
Uma teoria dedutiva consistente se no possui teoremas contraditrios, um dos quais a
negao do outro ( A e A). Ao contrrio, a teoria diz-se inconsistente (ou contraditria).
Uma teoria chama-se trivial se todas as frmulas (ou sentenas) de sua linguagem forem
nela demonstrveis; em hiptese contrria, diz-se no-trivial. Analogamente, a mesma
definio aplica-se a sistemas de proposies, conjuntos de informaes etc. (levando-se em
conta, naturalmente, o conjunto de suas conseqncias).
Se a lgica subjacente a uma teoria T a lgica clssica ou alguma de suas extenses, T
inconsistente se e somente se for trivial. Em conseqncia, se quisermos erigir teorias ou
sistemas de informao inconsistentes, mas no-triviais, temos de usar um novo tipo de
lgica, diferente da clssica.
Lgica paraconsistente uma lgica que pode servir de base a teorias inconsistentes e notriviais. Deste modo, a lgica paraconsistente de importncia fundamental para se edificar
sistemas de informao ou teorias inconsistentes mas no-triviais.
2. A Lgica Paraconsistente Anotada
As lgicas paraconsistentes anotadas so uma famlia de lgicas no-clssicas, inicialmente,
empregadas em programao lgica. Posteriormente, vrias aplicaes foram estendidas por
Blair, Subrahmanian, Kifer e outros. Devido s aplicaes obtidas, tornou-se conveniente um
estudo dos fundamentos da lgica subjacente s linguagens de programao investigadas.
Verificou-se que se tratava de uma lgica paraconsistente e que, em alguns casos, tambm
continha caractersticas da lgica paracompleta e no-altica.
Os primeiros estudos sobre os fundamentos da LPA foram efetuados em (DA COSTA,
VAGO & SUBRAHMANIAN 91), (DA COSTA, ABE & SUBRAHMANIAN 91) e (ABE

Copyright 2003

48

Revista Pesquisa e Desenvolvimento Engenharia de Produo


n.1, p. 47-62, dez. 2003
92). Em (ABE 92) estudou-se a lgica de predicados, teoria de modelos, teoria anotada de
conjuntos e alguns sistemas modais, estabelecendo-se um estudo sistemtico dos fundamentos
das lgicas anotadas apontadas em trabalhos anteriores.
Outras aplicaes dos sistemas anotados foram iniciadas por Abe, por volta de 1993, que,
juntamente com discpulos, implementou a linguagem de programao paraconsistente
Paralog (VILA, ABE & PRADO 97), independentemente dos resultados de Subrahmanian.
Tais idias foram aplicadas na especificao de uma arquitetura, baseada na LPA, que integra
vrios sistemas computacionais planejadores, base de dados, sistemas de viso etc. , na
construo de uma clula de manufatura (PRADO 96) e na representao de conhecimento
por Frames, permitindo representar inconsistncias e excees (VILA 96).
Em (DA SILVA FILHO 99), (ABE, DA SILVA FILHO 98), (DA SILVA FILHO, ABE
01a) foram introduzidos circuitos digitais (portas lgicas Complement, And e Or), inspirados
nas LPAs. Tais circuitos permitem sinais conflitantes implementados em sua estrutura de
modo no-trivial. Acreditamos que a contribuio dos circuitos eltricos paraconsistentes seja
pioneira na rea dos circuitos eltricos, abrindo novas vias de investigaes. Nas pesquisas
referentes, ainda na parte de hardware, a grande contribuio foi a edificao do analisador
lgico para-analisador que permite tratar conceitos de incerteza, inconsistncia e
paracompleteza (DA SILVA FILHO, ABE 99a). Tambm baseados nas lgicas anotadas,
foram construdos controladores lgicos paracontrol, simuladores lgicos parasim,
dispositivo para tratamento de sinais parasnico (ABE, DA SILVA FILHO 03). Como
materializao dos conceitos discutidos construiu-se o primeiro rob com hardware
paraconsistente: prottipo I, que recebeu o nome de Emmy (DA SILVA FILHO, ABE 01), e
est sendo construdo o prottipo II.
Os sistemas anotados abarcam aspectos dos conceitos envolvidos em raciocnio nomonotnico, defesiable, default e dentico (NAKAMATSU, ABE, SUZUKI 00).
Verses de lgicas anotadas tambm envolvem muitos aspectos das lgicas fuzzy, o que
pode ser visto sob vrios ngulos. A teoria anotada de conjuntos engloba in totum a teoria de
conjuntos fuzzy (DA COSTA, ABE, SUBRAHMANIAN 91) e (ABE 92). Foi erigido o
controlador hbrido parafuzzy que une caractersticas das lgicas anotadas e da fuzzy (DA
SILVA FILHO, ABE 99). Verses axiomatizadas da teoria fuzzy foram obtidas (AKAMA,
ABE 99). Aspectos algbricos dos sistemas anotados foram investigados por Abe (ABE 98).

Copyright 2003

49

Revista Pesquisa e Desenvolvimento Engenharia de Produo


n.1, p. 47-62, dez. 2003
Intuitivamente, na LPA bivalorada o que se faz atribuir uma anotao (1; 2), com 1 e 2
pertencentes ao intervalo fechado [0; 1], a cada proposio elementar (atmica) p de tal modo
que 1 traduza o grau de crena (ou evidncia favorvel) que se tem em p e 2, o grau de
descrena (ou evidncia contrria) (ABE, 1992).
O conjunto [0; 1]2 ou [0; 1] X [0; 1] dotado de uma relao de ordem * tal que (1; 2) *
(1; 2) se e somente se 1 1 e 2 2, onde a relao de ordem total habitual dos
nmeros reais, constitui um reticulado (reticulado das anotaes), que denominamos tambm
Quadrado Unitrio de Plano Cartesiano (QUPC). Cada par (1; 2) constitui um estado
lgico. Destacam-se os seguintes estados lgicos extremos:
(1; 0) representa, intuitivamente, crena total e nenhuma descrena (traduz um estado lgico
que chamamos de verdade, que representado por V);
(0; 1) representa, intuitivamente, nenhuma crena e descrena total (traduz um estado lgico
que chamamos de falsidade, que representado por F);
(1; 1) representa, intuitivamente, ao mesmo tempo crena e descrena totais (traduz um
estado lgico que chamamos de inconsistncia, que representado por ), e
(0; 0) indica ausncia total de crena e de descrena (traduz um estado lgico que chamamos
de paracompleteza ou de indeterminao, que representado por ).
3. Graus de contradio e de certeza
Sendo um trabalho de aplicao, vamos nos permitir alguns abusos de linguagem, tais como
no distinguir linha AB de reta AB ou de segmento AB; o ponto A cai na regio ABC etc.
O QUPC pode ser dividido de vrias maneiras. Uma diviso conveniente em doze regies,
como na Figura 1.

Copyright 2003

50

Revista Pesquisa e Desenvolvimento Engenharia de Produo


n.1, p. 47-62, dez. 2003

H
0,6
0,5
0,4

AB: linha perfeitamente indefinida

CD: linha perfeitamente definida


MN: linha limite de paracompleteza

0A

RS: linha limite de inconsistncia

N
E

PQ: linha limite de verdade

G
M
0,4

K
0,5

P
0,6

TU: linha limite de falsidade

C
1

Figura 1: Diviso do QUPC em doze regies, adotando-se como linhas limites |Gcontr| = 0,60 e |Hcert| = 0,60.

Vejamos algumas definies:


Grau de contradio: G contr = 1 + 2 1, donde se conclui que: -1 G contr 1.
Grau de certeza: H cert = 1 - 2 , donde se conclui que: -1 H cert 1.
Linha limite de paracompleteza: segmento MN, tal que G contr = - k1, para 0 < k1 < 1;
Linha limite de inconsistncia: segmento RS, tal que G contr = + k1, para 0 < k1 < 1;
Linha limite de falsidade: segmento TU, tal que H cert = - k2, para 0 < k2 < 1;
Linha limite de verdade: segmento PQ, tal que H cert = + k2, para 0 < k2 < 1.
Habitualmente, adota-se k1 = k2 = k, dando simetria ao grfico, como na Figura 1, onde k1 =
k2 = k = 0,60. O valor de k2 ser chamado de nvel de exigncia.
Destaquemos, na Figura 1, quatro regies extremas e uma regio central.
Regio AMN: -1 Gcontr - 0,60 regio de paracompleteza.
Regio BRS:

0,60 Gcontr 1 regio de inconsistncia.

Regio CPQ: 0,60 H cert 1 regio de verdade.


Regio DTU: -1 H cert - 0,60 regio de falsidade.
As regies CPQ e DTU so chamadas de regies de deciso. A primeira, de deciso
favorvel (viabilidade) e a segunda, de deciso desfavorvel (inviabilidade).
Regio MNTUSRQP:
|G contr | < 0,60 ou - 0,60 < G contr < 0,60 e |H cert | < 0,60 ou - 0,60 < H cert < 0,60
Esta a regio que no permite tomadas de deciso, ou seja, quando o ponto que traduz o
resultado da anlise pertence a essa regio, dizemos que a anlise no conclusiva.
Vejamos com detalhes uma de suas sub-regies, a ttulo de exemplo.
Copyright 2003

51

Revista Pesquisa e Desenvolvimento Engenharia de Produo


n.1, p. 47-62, dez. 2003
Sub-regio OFSL: 0,5 1 < 0,8 e 0,5 2 1; 0 G contr < 0,60 e 0,5 H cert < 0.
Nesta sub-regio temos uma situao de inconsistncia e falsidade relativamente pequenas,
mas mais prxima da situao de inconsistncia total (ponto B) do que da situao de
falsidade total (ponto D). Por isso, dizemos que uma sub-regio de quase inconsistncia
tendendo falsidade. A seguir, as doze regies do QUPC destacadas nesta anlise.
Regio

Gcontr

Hcert

Descrio

AMN
BRS
CPQ
DTU
OFSL
OHUL
OHTI
OENI

[0; 0,4 ]
[0,6; 1]
[0,6; 1]
[0; 0,4]
[0,5; 0,8 [
] 0,2; 0,5 [
[0; 0,5 [
[0; 0,5 [

[0; 0,4]
[0,6; 1]
[0; 0,4]
[0,6; 1]
[0,5; 1]
[0,5; 1]
[0,5; 0,8 [
] 0,2; 0,5[

[-1; -0,6]
[0,6; 1]
[-0,4; 0,4]
[-0,4; 0,4]
[0; 0,6 [
[0; 0,5 [
[ 0,5; 0 [
] 0,6; 0 [

[-0,4; 0,4]
[-0,4; 0,4]
[0,6; 1]
[-1; -0,6]
[ 0,5; 0 [
] 0,6; 0 [
] 0,6; 0 [
] 0,5; 0 [

Paracompleteza (ou Indeterminao)


Inconsistncia
Verdade
Falsidade
Quase inconsistncia tendendo falsidade
Quase falsidade tendendo inconsistncia
Quase falsidade tendendo paracompleteza

OEMK
OGPK
OGQJ
OFRJ

] 0,2; 0,5 [
[0,5; 0,8 [
[0,5; 1 ]
[0,5; 1 ]

[0; 0,5 [
[0; 0,5 [
] 0,2; 0,5 [
[0,5; 0,8 [

] 0,6; 0 [
[ 0,5; 0 [
[0; 0,5 [
[0; 0,6 [

[0; 0,5 [
[0; 0,6 [
[0; 0,6 [
[0; 0,5]

Quase paracompleteza tendendo verdade

Quase paracompleteza tendendo falsidade


Quase verdade tendendo paracompleteza
Quase verdade tendendo inconsistncia
Quase inconsistncia tendendo verdade

Representao

V
F
Q
QF
QF
Q
Q
QV
QV
Q

F
V

Tabela 1: Resumo da anlise das doze regies do Quadrado Unitrio do Plano Cartesiano (QUPC).

O QUPC dividido em doze regies permite anlises para tomadas de deciso. Por isso, ele
chamado dispositivo (ou algoritmo) para-analisador (DA SILVA FILHO & ABE, 2001).
4. Regra de deciso
Vimos anteriormente que, se na anlise da viabilidade de um empreendimento, o resultado
nos leva a um ponto da regio CPQ (de verdade), a deciso favorvel, ou seja, pela
viabilidade do empreendimento; se, a um ponto da regio DTU (de falsidade), a deciso
desfavorvel, pela inviabilidade do empreendimento; mas se o resultado nos leva a um ponto
de qualquer outra regio diferente dessas duas, dizemos que a anlise no conclusiva. Essas
idias determinam a regra de deciso (CARVALHO 02), que assim se resume:
Hcert 0,60 deciso favorvel (viabilidade);
Hcert - 0,60 deciso desfavorvel (inviabilidade); e
- 0,60 < Hcert < 0,60 no conclusivo.
Observemos que foi adotado |Hcert| = 0,60 como linhas limites de verdade e de falsidade. Isto
significa que a anlise s conclusiva quando |Hcert| 0,60. Por isso, o valor 0,60 (ou 60%)
traduz o nvel de exigncia (Nexig) da anlise. Portanto, o nvel de exigncia representa o
mnimo valor de |Hcert| para que se caia na regio de verdade ou de falsidade, ou seja, para que

Copyright 2003

52

Revista Pesquisa e Desenvolvimento Engenharia de Produo


n.1, p. 47-62, dez. 2003
tome uma deciso favorvel ou desfavorvel (CARVALHO 02). Isto significa que as decises
sero tomadas com o mnimo de 60% de certeza.
De uma maneira mais genrica, a regra de deciso pode ser assim escrita:
Hcert Nexig deciso favorvel (viabilidade);
Hcert - Nexig deciso desfavorvel (inviabilidade); e
- Nexig < Hcert < Nexig no conclusivo.
O nvel de exigncia depende da segurana que se quer ter na deciso, que, por sua vez,
depende da responsabilidade que ela implica, do investimento que est em jogo, do
envolvimento ou no de risco para vidas humanas etc.
Cumpre-nos destacar que, se o resultado cai na regio BRS (regio de inconsistncia), a
anlise no conclusiva quanto viabilidade do empreendimento, mas acusa um alto grau de
inconsistncia dos dados (Gcontr 0,60). Analogamente, se cai na regio AMN (de paracompleteza), significa que os dados apresentam um alto grau de indeterminao (Gcontr - 0,60).
5. Operadores NOT, OR e AND da LPA
NOT definido por: NOT ( 1; 2) = (2; 1). O operador NOT deve corresponder
negao da lgica anotada. Notemos que: NOT T = T, NOT = , NOT V = F e NOT F = V.
O operador OR definido por: ( 1; 2) OR ( 1; 2) = (max{ 1, 1}; max{ 2, 2}). Este
operador tem o mesmo sentido da disjuno clssica, ou seja, o de fazer a maximizao.
O AND definido por: ( 1; 2) AND ( 1; 2) = (min{ 1, 1}; min{ 2, 2}). Seu sentido
o mesmo da conjuno clssica, ou seja, o de fazer a minimizao.

6. Uma aplicao: Avaliao do Projeto de uma Fbrica


Como aplicao do processo de tomadas de deciso com ferramentas da LPA,
desenvolvemos um mtodo de anlise de viabilidade, que chamamos de Mtodo de Anlise
pelo Baricentro, MAB. Como exemplo, vamos aplic-lo na avaliao do projeto P de uma
fbrica, problema com o qual, constantemente, se deparam engenheiros, consultores ou os
prprios empresrios. A idia analisar se o projeto de uma fbrica pode ser implantado
(deciso favorvel) ou no (deciso desfavorvel). Vamos chamar de engenheiro do
conhecimento, EC, a pessoa responsvel por preparar, pesquisar e concluir a anlise.

Copyright 2003

53

Revista Pesquisa e Desenvolvimento Engenharia de Produo


n.1, p. 47-62, dez. 2003
Apesar de detalharmos o mtodo nas prximas pginas, julgamos conveniente antecipar-lhe
uma sntese. O MAB consiste, basicamente, em oito etapas, que so coordenadas pelo EC.
1) Seleo dos fatores. Como toda deciso influenciada por uma srie de fatores, devem
ser selecionados os mais importantes e que nela tm maior influncia.
2) Estabelecimento das sees. Para cada fator, devem ser estabelecidas trs (ou quatro ou
cinco ou mais sees, dependendo do caso e da preciso desejada) sees, que vo traduzir as
diferentes caractersticas possveis para o projeto.
3) Fixao do nvel de exigncia. Antes de qualquer anlise do projeto, deve ser fixado o
nvel de exigncia para a tomada de deciso. Com isso estaro determinados o dispositivo
para-analisador e a regra de deciso. Essas fases iniciais so executadas pelo EC.
4) Atribuio de pesos aos fatores. Esses pesos vo refletir a maior ou menor importncia
de cada fator na deciso. Normalmente, eles so atribudos por especialistas, escolhidos pelo
EC e segundo um critrio por ele fixado, tal como, os pesos tm que ser inteiros de 1 a 5.
5) Anotao dos graus de crena (1) e de descrena (2) dos fatores, em cada uma das
sees. Essa fase, tambm, feita pelos especialistas.
A atribuio dos pesos e a anotao dos graus de crena e de descrena aos fatores,
normalmente, so feitas por meio de especialistas, mas poderiam ser feitas com base em
dados estatsticos. Esses valores vo constituir a base de dados para as anlises.
6) Realizao da pesquisa. Um pesquisa precisa ser feita para verificar, no caso em estudo,
em que seo cada um dos fatores se encontra.
7) Obteno dos graus de crena (1R) e de descrena (2R), resultantes, para cada fator, na
seo detectada pela pesquisa. Isso feito pela aplicao das tcnicas de maximizao (OR) e
de minimizao (AND) da LPA e permite, pela aplicao da regra de deciso ou do
dispositivo para-analisador, verificar como a influncia de cada fator na deciso.
8) Obteno dos graus de crena (1W) e de descrena (2W) do baricentro. Para a tomada
de deciso final, no basta saber como cada fator influi, mas interessa a influncia conjunta
(combinada) de todos os fatores analisados. Isto pode ser determinado pelo centro de
gravidade ou baricentro (W) dos pontos que representam os fatores.
O grau de crena de W, 1W, a mdia ponderada dos graus de crena resultantes, 1R, e o
seu grau de descrena, 2W, a mdia ponderada dos graus de descrena resultantes, 2R, para
todos os fatores. Com esses valores, podemos chegar deciso final, calculando o grau de

Copyright 2003

54

Revista Pesquisa e Desenvolvimento Engenharia de Produo


n.1, p. 47-62, dez. 2003
certeza de W, HcertW = 1W 2W, e aplicando a regra de deciso, ou aplicando o dispositivo
para-analisador.
Neste trabalho, adotaremos com peso de cada fator a mdia aritmtica dos pesos atribudos
pelos especialistas. Observemos que, se os pesos mdios forem todos iguais, o baricentro W
ir coincidir com o centro geomtrico dos pontos que representam os fatores.
6.1. A escolha dos fatores, o estabelecimento das sees e a fixao do nvel de exigncia
Para exemplificar, vamos escolher oito fatores (F1 a F8) que influem na deciso de
implantar ou no o projeto de uma fbrica, ou seja, que influem na viabilidade do projeto.
Para cada um desses fatores estabelecemos trs sees (S1 a S3), tais que S1 represente uma
situao favorvel, S2, uma situao indiferente, e S3, uma situao desfavorvel.
Observemos que a escolha dos fatores e a caracterizao das sees dependem do projeto a
ser avaliado, de anlises de mercado, de estudos econmicos e de outros elementos. Neste
trabalho, essa caracterizao feita sem a utilizao rigorosa desses elementos, pois se trata
apenas de um exemplo para a apresentao do mtodo.
Os fatores escolhidos (Fi) e as sees estabelecidas (Sj) so os apresentados a seguir.
F1: Capacidade de produo da fbrica Medida pela comparao entre a produo
projetada para a fbrica e a mdia M de produo das fbricas similares j existentes S1:
maior que 1,2M; S3: menor que 0,8M; uma situao diferente de S1 e S3.
F2: Seleo de equipamentos Traduzida pelas caractersticas: flexibilidade,
produtividade e qualidade dos equipamentos escolhidos S1: pelo menos duas caractersticas
so altas; S3: pelo menos duas so baixas; S2: uma situao diferente de S1 e S3.
F3: Lay out da fbrica Traduzido pelas caractersticas: facilidade de entrada de material,
adequada disposio dos equipamentos para o fluxo de produo e facilidade de sada de
produto S1: pelo menos duas dessas caractersticas so altas; S3: pelo menos duas so
baixas; S2: uma situao diferente de S1 e S3.
F4: Localizao Traduzida pela proximidade dos seguintes elementos: centro fornecedor
de material, centro consumidor, boas estradas e meios de transporte baratos (ferrovirio ou
hidrovirio) - S1: pelo menos trs desses elementos esto bem prximos; S3: pelo menos trs
no esto prximos; S2: uma situao diferente de S1 e S3.
F5: Organizao - Traduzida pela adequao dos seguintes sistemas de apoio: controle de
qualidade, manuteno, sistema de embalagens e logstica de expedio de produtos S1:

Copyright 2003

55

Revista Pesquisa e Desenvolvimento Engenharia de Produo


n.1, p. 47-62, dez. 2003
pelo menos trs desses sistemas so bem adequados; S3: no mximo um bem adequado; S2:
uma situao diferente de S1 e S3.
F6: Disponibilidade de rea interna Medida pela percentagem de rea livre para
eventuais estocagens ou para implantao de novos departamentos S1: mais de 50%; S3:
menos de 20%; S2: uma situao diferente de S1 e S3.
F7: Possibilidade de expanso Medida pela razo entre a rea total do imvel e a rea
ocupada pelo projeto - S1: maior que 3; S3: menor que 2; S2: situao diferente de S1 e S3.
F8: Flexibilidade do processo Traduzida pela capacidade de adaptao para a produo
de diferentes produtos S1: alta capacidade; S2: capacidade mdia; S3: baixa capacidade.
A seguir, deve ser fixado o nvel de exigncia da anlise para a tomada de deciso. Nesta
aplicao, vamos fix-lo em 0,65 (ou 65%). Com isso, a regra de deciso e o dispositivo paraanalisador j esto determinados:
1,2

Regra de deciso:
Hcert 0,65
deciso favorvel (projeto vivel);
Hcert - 0,65
deciso desfavorvel (proj. invivel);
- 0,65 < Hcert < 0,65
anlise no conclusiva.

1,0
0,8
0,6
0,50

0,4
0,2
0,0
0,0

0,2

0,4 0,50 0,6

0,8

1,0

1,2

Figura 2: Regra de deciso e dispositivo para-analisador para o nvel de exigncia igual a 65%.

6.2. A construo da base de dados


Escolhidos os fatores e estabelecidas as sees, por meio de especialistas (ou usando dados
estatsticos), como j dissemos, so atribudos grau de crena (1) e grau de descrena (2),
para cada um dos fatores em cada uma das sees, e, tambm, os pesos para cada um dos
fatores. Neste exemplo, vamos optar pelo uso de especialistas.
Vamos admitir que, segundo critrios estabelecidos ou por determinao do decisor, foi
escolhido o seguinte quadro de especialistas: Especialista 1: engenheiro de produo; 2:
administrador industrial; 3: engenheiro de processo (mecnico ou qumico ou outro,
dependendo da fbrica); e 4: engenheiro de produto.
Os pesos mdios dos fatores, bem como os graus de crena e de descrena atribudos pelos
especialistas esto na tabela abaixo, que constitui a base de dados.

Copyright 2003

56

F2

F3

F4

Espec 4

11 21 12 22 13 23 14 24

S1
S2
S3
S1
S2
S3
S1
S2
S3
S1

1,0
0,7
0,3
0,9
0,6
0,3
0,9
0,6
0,3
1,0

S2

0,5 0,6 0,6 0,6 0,6 0,4

0,5 0,6

S3

0,1 1,0 0,2 1,0 0,2 1,0

0,0 0,9

0,0
0,4
1,0
0,2
0,5
0,9
0,2
0,4
1,0
0,2

0,9
0,6
0,3
1,0
0,6
0,2
0,8
0,4
0,0
0,8

0,1
0,4
1,0
0,2
0,6
0,8
0,2
0,4
1,0
0,0

1,0
0,6
0,2
0,9
0,4
0,1
0,8
0,6
0,3
1,0

0,2
0,6
0,8
0,1
0,4
0,8
0,0
0,5
1,0
0,2

0,8
0,5
0,2
0,8
0,5
0,0
0,7
0,5
0,1
0,9

0,3
0,6
1,0
0,1
0,4
0,9
0,2
0,5
0,9
0,4

Peso

Espec 3

Fator

Espec 2

F5

F6

F7

F8

Espec 1

Espec 2

Espec 3

Espec 4

Seo

F1

Espec 1

Seo

Peso

Fator

Revista Pesquisa e Desenvolvimento Engenharia de Produo


n.1, p. 47-62, dez. 2003

11 21 12 22 13 23 14 24

S1
S2
S3
S1
S2
S3
S1
S2
S3
S1

0,9
0,4
0,1
1,0
0,6
0,3
1,0
0,6
0,1
1,0

S2

0,7 0,3 0,6 0,5

0,5 0,4 0,5 0,6

S3

0,0 0,9 0,3 0,7

0,3 0,8 0,2 0,9

0,9
0,5
0,8
0,1
0,5
1,0
0,2
0,5
1,0
0,2

1,0
0,6
1,0
1,0
0,7
0,2
1,0
0,3
0,3
0,9

0,8
0,3
0,2
0,1
0,3
0,9
0,0
0,4
0,9
0,2

1,0
0,7
0,9
1,0
0,7
0,3
0,9
0,6
0,3
0,9

0,1
0,3
0,3
0,0
0,4
0,9
0,2
0,5
0,7
0,1

0,2
0,5
0,8
0,1
0,6
0,0
1,0
0,5
0,0
0,8

0,9
0,6
0,3
0,8
0,4
0,9
0,2
0,6
0,9
0,2

Tabela 2: Base de dados (pesos mdios dos fatores e seus graus de crena e de descrena, em cada seo).

6.3. A pesquisa e a obteno dos resultados


Devemos fazer uma pesquisa em relao ao projeto P, para verificar em que seo cada um
dos fatores se encontra. Ou seja, os pesquisadores devem verificar, para cada um dos fatores
Fi (1 i 8), em que seo Sj (1 j 3) o projeto P se encontra. Com os Sj encontrados,
preenchemos a coluna 3 da Tabela 3. De posse desses resultados extramos da base de dados
(Tabela 2.), alm dos pesos mdios dos fatores (coluna 2), as opinies dos especialistas sobre
as condies do projeto P, traduzidas pelas sees pesquisadas. Essas opinies, traduzidas
pelos graus de crena e de descrena, esto colocadas nas colunas de 4 a 11 da Tabela 3.
A seguir, aplicamos as tcnicas de maximizao (OR) e de minimizao (AND) da LPA.
Nesta aplicao conveniente que os grupos sejam constitudos, observando-se a formao
dos especialistas. Quase sempre uma escolha do EC ou decisor.
Vamos supor que, no quadro de especialistas utilizado, o EC (ou o decisor) considere que as
opinies dos especialistas 1 e 2 so indispensveis, mas que, entre os especialistas 3 e 4, uma
sendo favorvel suficiente. Assim, a formao dos grupos : grupo A - engenheiro de
produo (1); grupo B administrador industrial (2); e grupo C engenheiro de processo (3)
com engenheiro de produto (4). Dessa forma, para a aplicao das tcnicas de maximizao
(OR) e de minimizao (AND) s opinies dos especialistas, faremos:
[(Especialista 1)] AND [(Especialista 2)] AND [(Especialista 3) OR (Especialista 4)]
ou seja, aplicaremos, primeiro, o operador OR apenas dentro do grupo C (intragrupo) e, a
seguir, o operador AND entre os grupos A, B e C (entregrupos).

Copyright 2003

57

Revista Pesquisa e Desenvolvimento Engenharia de Produo


n.1, p. 47-62, dez. 2003

Seo

Grupo A

Grupo B

Espec 1

Espec 2

10

11

F1
F2
F3
F4
F5
F6
F7

1
1
1
3
1
1
2

S3
S1
S2
S3
S1
S2
S3

0,3
0,9
0,6
0,1
0,9
0,6
0,1

1,0
0,2
0,4
1,0
0,9
0,5
1,0

0,3
1,0
0,4
0,2
1,0
0,7
0,3

1,0
0,2
0,4
1,0
0,8
0,3
0,9

0,2
0,9
0,6
0,2
1,0
0,7
0,3

0,8
0,1
0,5
1,0
0,1
0,4
0,7

0,2
0,8
0,5
0,0
0,2
0,6
0,0

1,0
0,1
0,5
0,9
0,9
0,4
0,9

F8

S1

1,0

0,2

0,9

0,2

0,9

0,1

0,8

0,2

Espec 3

12

13

Grupo C

Grupo C

Peso

Fator

Espec 4

11

12

21

22

31

32

41

42

E3 OR E4

14

15

A AND B
AND C

16

17

Nvel de Exig.

18

0,65
Concluses

1C 2C 1R 2R Hcert Gcontr
Deciso
0,2 1,0 0,2 1,0 -0,80 0,20 INVIVEL
0,9 0,1 0,9 0,1 0,80 0,00 VIVEL
0,6 0,5 0,4 0,4 0,00 -0,20 NO CONCLUSIVO
0,2 1,0 0,1 1,0 -0,90 0,10 INVIVEL
1,0 0,9 0,9 0,8 0,10 0,70 NO CONCLUSIVO
0,7 0,4 0,6 0,3 0,30 -0,10 NO CONCLUSIVO
0,3 0,9 0,1 0,9 -0,80 0,00 INVIVEL
0,9 0,2 0,9 0,2 0,70 0,10 VIVEL

Baricentro W: mdia ponderada dos graus resultantes

0,44 0,65 -0,21

0,09 NO CONCLUSIVO

Tabela 3: Fatores (1), pesos (2), sees pesquisadas (3), graus de crena e de descrena (4 a 11), aplicao dos
operadores OR (12 e 13) e AND (14 e 15), clculos (16 e 17) e anlise dos resultados (18).

Na Tabela 3, os resultados da aplicao do operador OR ao grupo C (intragrupo) esto nas


colunas de 12 e 13. Os resultados da aplicao do operador AND entre os grupos A, B e C
(entregrupos) aparecem nas colunas 14 e 15. Dessa forma, obtemos, para cada fator, nas
condies da seo encontrada na pesquisa, os graus de crena (1R) e de descrena (2R),
resultantes da combinao das opinies dos especialistas.
6.4. Anlise dos resultados
A anlise dos resultados finais (colunas 14 e 15) feita pela aplicao do dispositivo paraanalisador ou da regra de deciso da Figura 2. Para isso, devemos plot-los, juntos com o
QUPC, obtendo a Figura 3. Esta nos permite determinar qual a influncia de cada um dos
fatores (F1 a F8) na deciso de viabilidade do projeto P e, tambm, a influncia conjunta de
todos os fatores por meio do baricentro W. A observao dos pontos obtidos nos mostra que
dois fatores (F2 e F8) recomendam a execuo do projeto P, ao nvel de exigncia de 65%,
pois pertencem regio de verdade; trs fatores (F1, F4 e F7) recomendam a no execuo
do projeto P, ao nvel de exigncia de 65%, pois pertencem regio de falsidade. Os demais
fatores pertencem a outras regies, sendo, portanto, no conclusivos. Destaquemos que F5
pertence regio de inconsistncia, mostrando que as opinies dos especialistas, com relao
a este fator, so contraditrias (apresentam um alto grau de contradio, igual a 0,70).

Copyright 2003

58

Revista Pesquisa e Desenvolvimento Engenharia de Produo


n.1, p. 47-62, dez. 2003

QUPC
1,2

Grau de descrena

1,0

0,8

Fatores
Baricentro

0,6

Contorno

0,50

Div Centrais

0,4

Div Diagonais

0,2

0,0
0,0

0,2

0,4 0,50 0,6

0,8

1,0

1,2

Grau de crena

Figura 3: Anlise dos resultados pelo dispositivo para-analisador

Mas, a influncia conjunta (combinada) de todos estes fatores pode ser resumida pelo
baricentro W. Como W est na regio de quase verdade tendendo inconsistncia, dizemos
que o resultado total da anlise no conclusivo. Ou seja, a anlise no recomenda o projeto
P, mas, tambm, no exclui esta possibilidade. Apenas sugere que novas anlises sejam feitas,
numa tentativa de se aumentarem as evidncias.
A mesma anlise pode ser feita numericamente. Basta calcular o grau de certeza resultante,
HcertR = 1R 2R , para cada um dos fatores e aplicar a regra de deciso (colunas 16 e 18 da
Tabela 3) ou o grau de certeza do baricentro W, HcertW = 1W 2W , e aplicar a regra de
deciso (ltima linha das colunas 16 e 18 da Tabela 3).
Julgamos importante observar que foi desenvolvido um software, em Excel, que, aps o
preenchimento da coluna 3 da Tabela 3, preenche automaticamente as colunas de 4 a 18 da
mesma tabela e desenha o dispositivo para-analisador (Figura 3).
6.5. A fidedignidade do MAB
Para se fazer um teste da fidedignidade do MAB e um exerccio de sua aplicao, sugerimos
ao leitor que analise a viabilidade de um projeto P de uma fbrica, admitindo que na pesquisa
todos os fatores caram na seo S1, ou seja, todos os fatores se mostraram favorveis
viabilidade do projeto P. Neste caso, evidentemente, de se esperar que a aplicao do
Copyright 2003

59

Revista Pesquisa e Desenvolvimento Engenharia de Produo


n.1, p. 47-62, dez. 2003
mtodo nos leve a concluir pela viabilidade do projeto P'. De fato, aplicando-se o MAB a este
caso (e este o exerccio), obtemos 1W = 0,89 e 2W = 0,13. Isto nos permite calcular HcertW
= 1W 2W = 0,89 0,13 = 0,76. Como 0,76 0,65, a regra de deciso (Figura 2) nos
permite inferir pela viabilidade do projeto P, ao nvel de exigncia de 65% (Figura 4).
1,2

1,2

1,0

1,0

0,8

0,8

0,6

0,6

0,50

0,50

0,4

0,4

0,2

0,2

0,0

0,0
0,0

0,2

0,4 0,50 0,6

0,8

1,0

1,2

0,0

0,2

0,4 0,50 0,6

0,8

1,0

1,2

Figuras 4 e 5: Todos os fatores favorveis (vivel a 65%) e todos os fatores desfavorveis (invivel a 65%)

Ao contrrio, se, para um outro projeto P", todos os fatores cassem na seo S3, isto , se
todos os fatores se mostrassem desfavorveis ao projeto, teramos 1W = 0,09 e 2W = 0,84
(confira os clculos, como exerccio). Isto nos permitiria calcular HcertW = 1W 2W = 0,09
0,84 = - 0,75. Como - 0,75 - 0,65, aplicando a regra de deciso, poderamos inferir pela
inviabilidade do projeto P" (Figura 5).
Vamos analisar um caso em que quatro fatores (3, 4, 7 e 8) se mostram favorveis ao projeto
(seo S1) e outros quatro (1, 2 , 5 e 6), indiferentes (seo S2). Nesse caso, a avaliao do
projeto resulta no conclusiva, ao nvel de exigncia de 65% (Figura 6), mas atesta sua
viabilidade ao nvel de 55% de exigncia (Figura 7).

Copyright 2003

60

Revista Pesquisa e Desenvolvimento Engenharia de Produo


n.1, p. 47-62, dez. 2003

1,2

1,2

1,0

1,0

0,8

0,8

0,6

0,6

0,50

0,50

0,4

0,4

0,2

0,2

0,0

0,0
0,0

0,2

0,4 0,50 0,6

0,8

1,0

1,2

0,0

0,2

0,4 0,50 0,6

0,8

1,0

1,2

Figuras 6 e 7: Quatro fatores favorveis e quatro indiferentes (no conclusivo, a 65%, e vivel, a 55%).

7. Referncias
ABE, J.M. (1992) - Fundamentos da Lgica Anotada, Tese de Doutoramento, PhD, Faculdade de Filosofia,
Letras e Cincias Humanas da Universidade de So Paulo, So Paulo.
ABE, J.M. (1997) - Some Aspects of Paraconsistent Systems and Applications, Logique et Analyse, 157, 83-96.
ABE, J.M. (1998) - Curry algebras P, Logique et Analyse, 161-162-163, 5-15.
ABE, J.M.; AKAMA, S. (1999) - A Logical System for Reasoning with Fuzziness and Inconsistencies,
Proceedings of the IASTED International Conference on Artitficial Intelligence and Soft Computing (ASC99),
August 9-12, Honolulu, Hawaii, USA, 221-225.
ABE, J.M.; AKAMA, S. (2000) - Paraconsistent annotated temporal logics *, Springer-Verlag, Heidelberg,
Lecture Notes in Artificial Intelligence Series, 217-226.
ABE, J.M.; DA SILVA FILHO, J.I. (1998) - Inconsistency and Electronic Circuits, Proceedings of the
International ICSC Symposium on Engineering of Intelligent Systems (EIS98), Volume 3, Artificial
Intelligence, Editor: E. Alpaydin, ICSC Academic Press International Computer Science Conventions
Canada/Switzerland, ISBN 3-906454-12-6, 191-197.
ABE, J.M.; DA SILVA FILHO, J.I. (2003) - Manipulating Conflicts and Uncertainties in Robotics, MultipleValued Logic and Soft Computing, V.9, ISSN 1542-3980, 147-169.
AKAMA, S.; ABE, J.M. (2000) - Fuzzy annotated logics, Anais do 8th International Conference on Information
Processing and Management of Uncertainty in Knowledge Based Systems, IPMU2000, Organized by
Universidad Politcnica de Madrid (Spain), July 3-7, 2000, Madri, Espanha, Vol. 1, 504-508.
VILA, B.C. (1996) - Uma Abordagem Paraconsistente Baseada em Lgica Evidencial para Tratar Excees
em Sistemas de Frames com Mltipla Herana, Tese de Doutoramento, Escola Politcnica da Universidade de
So Paulo, So Paulo.

Copyright 2003

61

Revista Pesquisa e Desenvolvimento Engenharia de Produo


n.1, p. 47-62, dez. 2003
VILA, B.C.; ABE, J.M.; PRADO, J.P.A. (1997) - ParaLog-e: A Paraconsistent Evidential Logic Programming
Language, XVII International Conference of the Chilean Computer Science Society, IEEE Computer Society
Press, pp 2-8, Valparaso, Chile, Novembro.
CARVALHO, F.R. (2002) - Lgica Paraconsistente Aplicada em Tomadas de Deciso: uma abordagem para a
administrao de universidades, Editora Aleph, So Paulo, Brasil.
DA COSTA, N.C.A.; VAGO, C.; SUBRAHMANIAN, V.S. (1991a) - The Paraconsistent Logics P, in Zeitschr.
f. math. Logik und Grundlagen d. Math, Bd. 37, pp. 139-148.
DA COSTA, N.C.A.; ABE, J.M.; SUBRAHMANIAN, V.S. (1991b) - Remarks on annotated logic, Zeitschrift f.
math. Logik und Grundlagen d. Math. 37, pp 561-570.
DA COSTA, N.C.A.; ABE, J.M.; DA SILVA FILHO, J.I.; MUROLO, A.C.; LEITE, C.F.S. (1999), Lgica
Paraconsistente Aplicada, ISBN 85-224-2218-4, Editora Atlas, So Paulo.
DA SILVA FILHO, J.I. (1999) - Mtodos de interpretao da Lgica Paraconsistente Anotada com anotao
com dois valores LPA2v com construo de Algoritmo e implementao de Circuitos Eletrnicos, Tese de
Doutoramento, Escola Politcnica da Universidade de So Paulo, So Paulo.
DA SILVA FILHO, J.I.; ABE, J.M. (1999) - Para-Analyser and Inconsistencies in Control Systems, Proceedings
of the IASTED International Conference on Artitficial Intelligence and Soft Computing (ASC99), August 9-12,
Honolulu, Hawaii, USA, 78-85.
DA SILVA FILHO, J.I.; ABE, J.M. (2001a) - Paraconsistent electronic circuits, International Journal of
Computing Anticipatory Systems, vol. 9, ISSN 1373-5411, ISBN 2-9600262-1-7, 337-345.
DA SILVA FILHO, J.I.; ABE, J.M. (2001b) - Paraconsistent analyser module, International Journal of
Computing Anticipatory Systems, vol. 9, ISSN 1373-5411, ISBN 2-9600262-1-7, 346-352.
GAITHER, M.; FRAZIER, G. (2001), Administrao da Produo e Operaes, Ed. Pioneira, So Paulo, SP.
NAKAMATSU, K.; ABE, J.M.; SUZUKI, A. (2000) - Annotated Semantics for Defeasible Deontic Reasoning,
Rough Sets and Current Trends in Computing, Lecture Notes in Artificial Intelligence Series, LNAI 2005,
Springer-Verlag, 470-478.
NAKAMATSU, K.; SUITO, H.; ABE, J.M.; SUZUKI, A. (2003) - Intelligent Real-time Traffic Signal Control
Based on a Paraconsistent Logic Program EVALPSN, Lecture Notes in Artificial Intelligence Series, SpringerVerlag Heidelberg, ISBN 3-540-14040-9, ISSN: 0302-9743, Volume 2639, 719 723.
PRADO, J.P.A. (1996) - Uma Arquitetura em IA Baseada em Lgica Paraconsistente, Tese de Doutoramento,
Escola Politcnica da Universidade de So Paulo, So Paulo.

WOILER, S.; MATHIAS, W.F. (1996), Projetos: Planejamento, Elaborao e Anlise,


Editora Atlas, So Paulo.

Copyright 2003

62