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

D H

S F R J

AB: linha perfeitamente indefinida CD: linha perfeitamente definida MN: linha limite de paracompleteza RS: linha limite de inconsistncia PQ: linha limite de verdade
C 1
1

0,6 0,5 0,4

T I O N E G M 0,4 K 0,5 P 0,6

TU: linha limite de falsidade

0A

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 Paracompleteza (ou Indeterminao) Inconsistncia Verdade Falsidade Quase inconsistncia tendendo falsidade Quase falsidade tendendo inconsistncia Quase falsidade tendendo paracompleteza Quase paracompleteza tendendo falsidade Quase paracompleteza tendendo verdade Quase verdade tendendo paracompleteza Quase verdade tendendo inconsistncia Quase inconsistncia tendendo verdade Representao

AMN BRS CPQ DTU OFSL OHUL OHTI OENI OEMK OGPK OGQJ OFRJ

[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,2; 0,5 [ [0,5; 0,8 [ [0,5; 1 ] [0,5; 1 ]

[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[ [0; 0,5 [ [0; 0,5 [ ] 0,2; 0,5 [ [0,5; 0,8 [

[-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,6; 0 [ [ 0,5; 0 [ [0; 0,5 [ [0; 0,6 [

[-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 [ [0; 0,5 [ [0; 0,6 [ [0; 0,6 [ [0; 0,5]

V F Q QF QF Q Q QV QV Q

F F V 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

Revista Pesquisa e Desenvolvimento Engenharia de Produo n.1, p. 47-62, dez. 2003

Seo

11 21 12 22 13 23 14 24
1,0 0,7 0,3 0,9 0,6 0,3 0,9 0,6 0,3 1,0 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

Seo

Fator

Fator

Peso

Peso

Espec 1

Espec 2

Espec 3

Espec 4

Espec 1

Espec 2

Espec 3

Espec 4

11 21 12 22 13 23 14 24
0,9 0,4 0,1 1,0 0,6 0,3 1,0 0,6 0,1 1,0 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

F1

F2

F3

S1 S2 S3 S1 S2 S3 S1 S2 S3 S1 S2 S3

F5

F6

F7

S1 S2 S3 S1 S2 S3 S1 S2 S3 S1 S2 S3

F4

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

0,5 0,6 0,0 0,9

F8

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

0,5 0,4 0,5 0,6 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 Fator

2 Peso

3 Seo

10

11

12

13

14

15

16

17

18

Grupo A Espec 1

Grupo B Espec 2

Grupo C Espec 3 Espec 4

Grupo C E3 OR E4

A AND B AND C

Nvel de Exig.

0,65 Concluses

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

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

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

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

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

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

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

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

F1 F2 F3 F4 F5 F6 F7 F8

1 1 1 3 1 1 2 2

S3 S1 S2 S3 S1 S2 S3 S1

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 0,44 0,65 -0,21 0,09 NO CONCLUSIVO

Baricentro W: mdia ponderada dos graus resultantes

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

1,0

Grau de descrena

0,8

Fatores Baricentro Contorno Div Centrais Div Diagonais

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 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, 50

0, 6
0, 50

0, 4

0, 4

0, 2

0, 2

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

0, 0 0, 0 0, 2 0, 4 0, 6 50 0, 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, 50

0, 6
0, 50

0, 4

0, 4

0, 2

0, 2

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

0, 0 0, 0 0, 2 0, 4 0, 6 50 0, 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