Anda di halaman 1dari 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 no-
clssicas - 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 no-
triviais. 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 no-
monotnico, 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

2
D U L S B
1
AB: linha perfeitamente indefinida
H F
0,6
CD: linha perfeitamente definida
T R
MN: linha limite de paracompleteza
I J
0,5
O RS: linha limite de inconsistncia
N Q
0,4 PQ: linha limite de verdade
E G
TU: linha limite de falsidade
M K P C
0
0A 0,4 0,5 0,6 1 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 1 2 Gcontr Hcert Descrio Representao


AMN [0; 0,4 ] [0; 0,4] [-1; -0,6] [-0,4; 0,4] Paracompleteza (ou Indeterminao)
BRS [0,6; 1] [0,6; 1] [0,6; 1] [-0,4; 0,4] Inconsistncia
CPQ [0,6; 1] [0; 0,4] [-0,4; 0,4] [0,6; 1] Verdade V
DTU [0; 0,4] [0,6; 1] [-0,4; 0,4] [-1; -0,6] Falsidade F
OFSL [0,5; 0,8 [ [0,5; 1] [0; 0,6 [ [ 0,5; 0 [ Quase inconsistncia tendendo falsidade Q F
OHUL ] 0,2; 0,5 [ [0,5; 1] [0; 0,5 [ ] 0,6; 0 [ Quase falsidade tendendo inconsistncia QF
OHTI [0; 0,5 [ [0,5; 0,8 [ [ 0,5; 0 [ ] 0,6; 0 [ Quase falsidade tendendo paracompleteza QF
OENI [0; 0,5 [ ] 0,2; 0,5[ ] 0,6; 0 [ ] 0,5; 0 [ Quase paracompleteza tendendo falsidade Q F
OEMK ] 0,2; 0,5 [ [0; 0,5 [ ] 0,6; 0 [ [0; 0,5 [ Quase paracompleteza tendendo verdade Q V
OGPK [0,5; 0,8 [ [0; 0,5 [ [ 0,5; 0 [ [0; 0,6 [ Quase verdade tendendo paracompleteza QV
OGQJ [0,5; 1 ] ] 0,2; 0,5 [ [0; 0,5 [ [0; 0,6 [ Quase verdade tendendo inconsistncia QV
OFRJ [0,5; 1 ] [0,5; 0,8 [ [0; 0,6 [ [0; 0,5] Quase inconsistncia tendendo verdade Q 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 paracom-
pleteza), 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 para-
analisador j esto determinados:

1,2

Regra de deciso: 1,0

Hcert 0,65 0,8

deciso favorvel (projeto vivel); 0,6

Hcert - 0,65 0,50


0,4

deciso desfavorvel (proj. invivel);


0,2
- 0,65 < Hcert < 0,65
0,0
anlise no conclusiva. 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
Revista Pesquisa e Desenvolvimento Engenharia de Produo
n.1, p. 47-62, dez. 2003

Espec 1 Espec 2 Espec 3 Espec 4 Espec 1 Espec 2 Espec 3 Espec 4


Seo

Seo
Fator

Fator
Peso

Peso
11 21 12 22 13 23 14 24 11 21 12 22 13 23 14 24
S1 1,0 0,0 0,9 0,1 1,0 0,2 0,8 0,3 S1 0,9 0,9 1,0 0,8 1,0 0,1 0,2 0,9
F1 1 S2 0,7 0,4 0,6 0,4 0,6 0,6 0,5 0,6 F5 1 S2 0,4 0,5 0,6 0,3 0,7 0,3 0,5 0,6
S3 0,3 1,0 0,3 1,0 0,2 0,8 0,2 1,0 S3 0,1 0,8 1,0 0,2 0,9 0,3 0,8 0,3
S1 0,9 0,2 1,0 0,2 0,9 0,1 0,8 0,1 S1 1,0 0,1 1,0 0,1 1,0 0,0 0,1 0,8
F2 1 S2 0,6 0,5 0,6 0,6 0,4 0,4 0,5 0,4 F6 1 S2 0,6 0,5 0,7 0,3 0,7 0,4 0,6 0,4
S3 0,3 0,9 0,2 0,8 0,1 0,8 0,0 0,9 S3 0,3 1,0 0,2 0,9 0,3 0,9 0,0 0,9
S1 0,9 0,2 0,8 0,2 0,8 0,0 0,7 0,2 S1 1,0 0,2 1,0 0,0 0,9 0,2 1,0 0,2
F3 1 S2 0,6 0,4 0,4 0,4 0,6 0,5 0,5 0,5 F7 2 S2 0,6 0,5 0,3 0,4 0,6 0,5 0,5 0,6
S3 0,3 1,0 0,0 1,0 0,3 1,0 0,1 0,9 S3 0,1 1,0 0,3 0,9 0,3 0,7 0,0 0,9
S1 1,0 0,2 0,8 0,0 1,0 0,2 0,9 0,4 S1 1,0 0,2 0,9 0,2 0,9 0,1 0,8 0,2
F4 3 S2 0,5 0,6 0,6 0,6 0,6 0,4 0,5 0,6 F8 2 S2 0,7 0,3 0,6 0,5 0,5 0,4 0,5 0,6
S3 0,1 1,0 0,2 1,0 0,2 1,0 0,0 0,9 S3 0,0 0,9 0,3 0,7 0,3 0,8 0,2 0,9
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

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
Grupo A Grupo B Grupo C Grupo C A AND B Nvel de Exig. 0,65
Seo
Fator

AND C
Peso

Espec 1 Espec 2 Espec 3 Espec 4 E3 OR E4 Concluses


11 12 21 22 31 32 41 42 1C 2C 1R 2R Hcert Gcontr Deciso
F1 1 S3 0,3 1,0 0,3 1,0 0,2 0,8 0,2 1,0 0,2 1,0 0,2 1,0 -0,80 0,20 INVIVEL
F2 1 S1 0,9 0,2 1,0 0,2 0,9 0,1 0,8 0,1 0,9 0,1 0,9 0,1 0,80 0,00 VIVEL
F3 1 S2 0,6 0,4 0,4 0,4 0,6 0,5 0,5 0,5 0,6 0,5 0,4 0,4 0,00 -0,20 NO CONCLUSIVO
F4 3 S3 0,1 1,0 0,2 1,0 0,2 1,0 0,0 0,9 0,2 1,0 0,1 1,0 -0,90 0,10 INVIVEL
F5 1 S1 0,9 0,9 1,0 0,8 1,0 0,1 0,2 0,9 1,0 0,9 0,9 0,8 0,10 0,70 NO CONCLUSIVO
F6 1 S2 0,6 0,5 0,7 0,3 0,7 0,4 0,6 0,4 0,7 0,4 0,6 0,3 0,30 -0,10 NO CONCLUSIVO
F7 2 S3 0,1 1,0 0,3 0,9 0,3 0,7 0,0 0,9 0,3 0,9 0,1 0,9 -0,80 0,00 INVIVEL
F8 2 S1 1,0 0,2 0,9 0,2 0,9 0,1 0,8 0,2 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 para-
analisador 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

1,0

0,8
Grau de descrena

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, Multiple-
Valued 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, Springer-
Verlag 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