FÁBIO ROMEU DE CARVALHO APLICAÇÃO DE LÓGICA PARACONSISTENTE ANOTADA EM TOMADAS DE DECISÃO NA ENGENHARIA DE PRODUÇÃO

Transcrição

1 FÁBIO ROMEU DE CARVALHO APLICAÇÃO DE LÓGICA PARACONSISTENTE ANOTADA EM TOMADAS DE DECISÃO NA ENGENHARIA DE PRODUÇÃO São Paulo 2006

2 FÁBIO ROMEU DE CARVALHO Aplicação de Lógica Paraconsistente Anotada em Tomadas de Decisão na Engenharia de Produção Tese apresentada à Escola Politécnica da Universidade de São Paulo para obtenção do título de Doutor em Engenharia. Área de Concentração: Engenharia de Produção Orientador: Prof. Dr. Israel Brunstein São Paulo 2006

3 FOLHA DE APROVAÇÃO Fábio Romeu de Carvalho Aplicação de Lógica Paraconsistente Anotada em Tomadas de Decisão na Engenharia de Produção Tese apresentada à Escola Politécnica da Universidade de São Paulo para obtenção do título de Doutor em Engenharia. Área de Concentração: Engenharia de Produção Aprovado em: Banca Examinadora Prof. Dr. Instituição: Assinatura: Prof. Dr. Instituição: Assinatura: Prof. Dr. Instituição: Assinatura: Prof. Dr. Instituição: Assinatura: Prof. Dr. Instituição: Assinatura:

4 DEDICATÓRIA Dedico esta tese aos meus falecidos pais, Noé e Maria José, pelas lições de seriedade, persistência e dedicação ao trabalho que ficaram impregnadas em minha existência; aos meus irmãos, Maria Ignez, José, Maria do Carmo, Maria Celina, Antônio e João, pelo carinho, atenção e confiança que sempre dedicaram ao irmão caçula; e aos meus filhos, Adriana Augusta, Marco Antônio e Luiz Alexandre, com a certeza de que essa minha conquista ser-lhes-á um incentivo e um motivo de reflexões para suas vidas.

5 AGRADECIMENTOS Meus sinceros agradecimentos ao Prof. Dr. João Carlos Di Genio, Reitor da Universidade Paulista (UNIP), que, por acreditar, incentivar e apoiar, permitiu que tornasse realidade mais este sonho de minha vida; ao Prof. Dr. Israel Brunstein, a quem aprendi a admirar pela competência, simplicidade, alegria e humor, e que não hesitou um instante sequer para aceitar-me como orientando; ao Prof. Dr. Jair Minoro Abe, que, além de introduzir-me no caminho do doutorado, com amizade, dedicação e paciência, ajudou-me a percorrê-lo durante todos esses anos difíceis; ao Prof. Dr. Newton Carneiro Affonso da Costa, que me fez descobrir o mundo da ciência e cultivar o interesse pela pesquisa, fazendo-me enxergá-la como arte e beleza; aos especialistas convidados, pelo interesse e presteza com que atenderam à solicitação, ajudando-me com opiniões fundamentais para o desenvolvimento do case aqui apresentado; a todos que contribuíram de alguma maneira, por meio de uma singela troca de idéias, ou de uma consulta bibliográfica ou eletrônica, ou simplesmente incentivando; a todos, amigos e colegas de trabalho, que de alguma maneira convivem comigo e que souberam entender meus momentos de aflição, ansiedade e até de mau humor; aos amigos de outros os tempos, que, em algum momento da vida, estenderam-me as mãos para que eu conseguisse traçar essa trajetória de vida; aos meus familiares, que souberam, com paciência, compreensão e amor, entender meus longos períodos de ausência e incentivar-me a não esmorecer nos momentos de maior dificuldade e cansaço; a todos que me querem bem e que, no silêncio de quem realmente gosta, rezaram e torceram para essa minha empreitada fosse coroada de êxito; às pessoas queridas e próximas, que, nos momentos de maior dificuldade, souberam confortar-me com palavras e atos de incentivo, amizade, carinho e amor; e finalmente, um agradecimento especial aos meus falecidos pais, que, com simplicidade e amor, legaram-me, entre muitas outras coisas, indeléveis interesse pelo estudo, perseverança e apego ao trabalho.

6 SUMÁRIO 1 INTRODUÇÃO 22 2 O PROCESSO DE TOMADA DE DECISÃO: REVISÃO DA LITERATURA Introdução Modelos do processo decisório Tomada de decisão na Administração Envolvimento de pessoas Técnicas de decisão em grupo Estilo do administrador Informática Sistema de produção e a estrutura de decisão Teoria e prática 63 3 EMBASAMENTO TEÓRICO Um breve histórico da lógica Considerações gerais Conectivos lógicos Fórmulas da linguagem formal Cálculo proposicional clássico Estrutura dedutiva Uma axiomática do cálculo proposicional clássico Exemplos importantes de tautologias Fundamentos de lógica paraconsistente O que é a lógica paraconsistente Uma axiomática da lógica paraconsistente Alguns resultados importantes Lógica paraconsistente anotada Considerações iniciais Aspectos gerais da lógica Eτ Axiomática da lógica Eτ O reticulado τ 97

7 Quadrado unitário do plano cartesiano (QUPC) Grau de contradição Grau de certeza O reticulado τ e os estados de decisão Alguns exemplos e comentários sobre os estados de decisão Outra configuração dos estados de decisão Os operadores NOT, OR e AND O operador NOT O operador OR O operador AND Comentários sobre as aplicações dos operadores OR e AND Aplicações da lógica Eτ A REGRA DE DECISÃO Considerações gerais O nível de exigência O PROCESSO DE TOMADA DE DECISÃO MÉTODO DE ANÁLISE 128 PELO BARICENTRO (MAB) 5.1 Considerações iniciais Etapas do Método de Análise pelo Baricentro (MAB) Fixação do nível de exigência Escolha dos fatores de influência Estabelecimento das seções para cada fator Construção da base de dados Pesquisa de campo Cálculo das anotações resultantes Determinação do baricentro Tomada de decisão EXEMPLOS DE APLICAÇÃO Decisão Sobre a Abertura de um Novo Curso Superior por uma 146 Instituição de Ensino Fixação do nível de exigência 147

8 6.1.2 Seleção dos fatores de influência e estabelecimento das seções Construção da base de dados Pesquisa de campo Obtenção dos graus de evidência favorável e contrária, resultantes 152 para os fatores Obtenção dos graus de evidências favorável e contrária do baricentro Análise dos resultados Análise da Viabilidade do Lançamento de um Produto Fixação do nível de exigência Escolha dos fatores de influência e o estabelecimento das seções Construção da base de dados Pesquisa de campo e cálculo dos graus resultantes de evidência 163 favorável e de evidência contrária para os fatores e do baricentro Análise dos resultados Avaliação do Projeto de uma Fábrica Fixação do nível de exigência Escolha dos fatores e estabelecimento das seções Construção da base de dados Pesquisa de campo e obtenção dos resultados Análise dos resultados e decisão final Fidedignidade do MAB Influência do nível de exigência Análise de Viabilidade da Implantação de um Sistema de Manufatura 182 que Utiliza Tecnologias Avançadas Coeficiente de desempenho de um novo sistema de manufatura 184 comparado com o antigo, para um determinado fator de influência Fixando o nível de exigência Identificando os fatores de influência (atributos ou indicadores) Estabelecendo as seções para os fatores de influência Construção da base de dados Análise de viabilidade da implantação de Sistema Flexível de Manufatura Análise dos resultados Previsão de Diagnósticos Construção da base de dados 200

9 6.5.2 Cálculo do grau de certeza resultante para cada doença em 202 decorrência dos sintomas apresentados pelo paciente A obtenção do diagnóstico previsto Aplicação em um caso real Pessoas que contribuíram diretamente com esta aplicação Fixação do nível de exigência Os especialistas escolhidos para construir a base de dados Construção da base de dados Organização dos especialistas em grupos Pesquisa de campo Processamento dos dados e obtenção do resultado Análise dos resultados Análise de sensibilidade do MAB Algumas observações sobre o caso real (case) analisado O PROCESSO DE DECISÃO EM ALGUMAS EMPRESAS O processo de decisão no Banco Real Preocupação com a consulta de dados Definição de crédito Concorrente Do ponto de vista da concorrência, da competição e da precificação Posicionamento da tesouraria Decisões de produto Análise de balanço Atratividade da marca Vamos falar de outro índice: risco O processo de decisão na BCS Informática Introdução Evolução da BCS Entendendo melhor Como é a estrutura organizacional da BCS O processo de tomada de decisão nas empresas de telecomunicações Introdução O panorama 261

10 7.3.3 O caso O Processo de decisão Movimentos estratégicos Liquidação programada das operadoras fixas e migração 266 para os serviços móveis Processo de manutenção do modelo vigente Conclusões O processo de decisão na Voss Automotive Ltda Um aplicação do MAB a essas empresas CONCLUSÕES E PERSPECTIVAS 280 REFERÊNCIAS BIBLIOGRÁFICAS 290 APÊNDICE A Base de dados completa para a aplicação 6.4 (Tabela 6.13) 298 APÊNDICE B - Base de dados completa para a aplicação 6.5 (Tabela 6.16) 300 APÊNDICE C Tabelas de cálculo completas e gráficos da aplicação (Tabela 6.18 e Figura 6.15) APÊNDICE D Modelo de solicitação de opiniões aos especialistas 340 (Aplicação real 6.6 (case)) APÊNDICE E - Base de dados completa para a aplicação 7.5 (Tabela 7.3) 345 APÊNDICE F Tabelas de cálculo completas da aplicação 7.5 (Tabela 7.5) 347 ANEXO A Diploma do prêmio obtido no CASYS 03 (Liège Bélgica) 349 pelo trabalho apresentado no parágrafo 6.2

11 LISTA DE SIGLAS AA AHP ARPU CAD/CAM CBR CD CEE CESP Cetec CFE CIM CIMOSA CHS CM CME CNE Consepe Consuni CPSI CRUB Cruerj C/V DAU DD Dersa Dieese DSBAP DSR DSS Montagem Automatizada (Automated Assembly) Analytic-Hierarchy Process Receita média por assinante Projeto e Manufatura Automatizados por Computador (Computer Automated Design and Manufacturing) Case-based reasoning Coeficiente de desempenho Conselho Estadual de Educação Companhia Energética de São Paulo Centro de Tecnologia e Ciência Conselho Federal de Educação Manufatura Integrada por Computador (Computer Integrated Manufacturing) Computer Integrated Manufacturing Open System Architecture Carga horária semanal Manufatura Celular (Cellular Manufacturing) Conselho Municipal de Educação Conselho Nacional de Educação Conselho de Ensino Pesquisa e Extensão Conselho Universitário Creative Problem Solving Institute Conselho de Reitores das Universidades Brasileiras Conselho de Reitores das Universidades do Estado do Rio de Janeiro Candidatos por vaga Departamento de Assuntos Universitários Densidade demográfica Desenvolvimento Rodoviário S.A. Departamento Intersindical de Estatística e Estudos Socioeconômicos Decision-support System for Business Acquisition Process Descanso Semanal Remunerado Decision Support Systems

12 ENC Enade EPUSP Eτ FBDSS FEI FFLCH Fiesp FOF FMS GRAI GT HA IA IAD IBGE ICET IDSS IEA IMPACS INEP IPEA ITA K & T LP LPA LPD LPI MAB MADM MAUF MAUT MBA MBTI Exame Nacional de Cursos ("Provão") Exame Nacional de Desempenho de Estudantes Escola Politécnica da Universidade de São Paulo Lógica Paraconsistente Anotada Evidencial Form-based decision support systems Faculdade de Engenharia Industrial Faculdade de Filosofia, Letras e Ciências Humanas Federação das Indústrias do Estado de São Paulo Factory of the Future Sistemas Flexíveis de Manufatura (Flexible Manufacturing Systems) Graphs with Results and Activities Interrelated Tecnologia de Grupo (Group Technology) Hora atividade Inteligência Artificial Inteligência Artificial Distribuída Instituto Brasileiro de Geografia e Estatística Instituto de Ciências Exatas e Tecnologia Intelligent decision support system Instituto de Estudos Avançados Integrated Manufacturing Panning And Control System Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira Instituto de Pesquisa Econômica Aplicada Instituto Tecnológico de Aeronáutica Modelo de Kepner & Tregoe Lógica Paraconsistente Lógica Paraconsistente Anotada Linha Perfeitamente Definida Linha Perfeitamente Indefinida Método de Análise pelo Baricentro Multiple attribute decision making Multi-Attribute Utility Function Multi-Attribute Utility Theory Master Business Administration Myers-Briggs Type Indicator

13 MCDA MDCA NPV NPVDCS ONG OR PDE PO PUC/SP QUPC RBR RE RH Seade Semesp SJC TIR TNG TOR UCB UFRJ UMC UNIB Unicamp UNIP Unicid UniFEI Unifesp Univap USO USP VPL Multi-criteria decision aid Multi-criteria decision analysis Net present value Fluxo de caixa descontado a valor presente Organização não governamental Operation research Processo de Decisão Estratégica Pesquisa operacional Pontifícia Universidade Católica de São Paulo Quadrado Unitário do Plano Cartesiano Rule-based reasoning Equipamentos de Robótica (Robotic Equipment) Recursos Humanos Fundação Sistema Estadual de Análise de Dados Sindicato das Entidades Mantenedoras de Estabelecimentos de Ensino Superior no Estado de São Paulo São José dos Campos Taxa Interna de Retorno Técnica Nominal de Grupo Teoria das Opções Reais Universidade Castelo Branco Universidade Federal do Rio de Janeiro Universidade de Mogi das Cruzes Universidade Ibirapuera Universidade Estadual de Campinas Universidade Paulista Universidade Cidade de São Paulo Centro Universitários da Faculdade de Engenharia Industrial Universidade Federal de São Paulo Universidade do Vale do Paraíba Universalization Services Obligations Universidade de São Paulo Valor Presente Líquido

14 LISTA DAS TABELAS Tabela 3.1 Tabelas-verdade 78 Tabela 3.2 Comparação entre alguns resultados das lógicas proposicionais, 89 clássica e paraconsistente Tabela 3.3 Resumo da análise de doze regiões do quadrado unitário do 108 plano cartesiano (QUPC) Tabela 3.4 Aplicação do operador NOT aos estados lógicos extremos do QUPC 113 Tabela 3.5 Aplicação do operador OR aos estados lógicos extremos do QUPC 114 Tabela 3.6 Aplicação do operador AND aos estados lógicos extremos do QUPC 116 Tabela 5.1 Base de dados: matrizes dos pesos, M Pi, e das anotações, M A 136 Tabela 5.2 Matrizes pesquisada, M pq, dos pesos, M Pi, e dos dados 137 pesquisados, M Dpq Tabela 5.3 Matrizes pesquisada, M pq, dos pesos, M Pi, e dos dados 140 pesquisados, M Dpq Tabela 5.4 Matrizes dos grupos, M G1 e M G2, resultantes da aplicação da 141 regra de maximização Tabela 5.5 Matriz resultante, M R 142 Tabela 5.6 Tabela de cálculos, com a indicação das anotações bivaloradas 142 Tabela 5.7 Tabela de cálculos, com a indicação dos valores das evidências 142 favorável (a) e contrária (b) Tabela 6.1 Base de dados: valores das evidências favorável e contrária 151 atribuídos pelos especialistas a cada um dos fatores, nas condições das seções estabelecidas (matriz das anotações) Tabela 6.2 Resultados da pesquisa para o curso X na região Y (matriz pesquisada) 152 Tabela 6.3 Graus de evidência favorável e de evidência contrária ao sucesso do 152 curso X atribuídos pelos especialistas, para as condições dos fatores de influência na região Y (matriz dos dados pesquisados, M Dpq ) Tabela 6.4a Tabela de cálculos do MAB na análise de viabilidade do curso X 153 na região Y, nas condições das seções S pi obtidas na pesquisa Tabela 6.4b Tabela de cálculos do MAB na análise de viabilidade do curso X na 157 região Y, quando todos os fatores se mostraram favoráveis (seção S 1 )

15 Tabela 6.5 Base de Dados: graus de evidência favorável e de evidência contrária 163 atribuídos pelos especialistas aos fatores, nas condições definidas pelas seções Tabela 6.6 Tabela de cálculos do MAB: seções pesquisadas, graus de evidência 164 favorável e de evidência contrária, aplicação dos operadores OR e AND, cálculos e análise dos resultados Tabela 6.7 Aplicação do MAB na situação em que todos os fatores são muito 168 favoráveis (seção S 1 ) Tabela 6.8 Aplicação do MAB na situação em que todos os fatores são muito 169 desfavoráveis (seção S 5 ) Tabela 6.9a Aplicação do MAB na situação em que cinco fatores são muito 170 favoráveis (seção S 1 ) e cinco são apenas favoráveis (seção S 2 ), com nível de exigência igual a 0,60. Resultado: viável Tabela 6.9b Aplicação do MAB na situação em que cinco fatores são muito 170 favoráveis (seção S 1 ) e cinco são apenas favoráveis (seção S 2 ), com nível de exigência igual a 0,80. Resultado: não conclusivo Tabela 6.10 Base de dados: graus de evidência favorável e de evidência contrária 176 atribuídos pelos especialistas para os fatores, em cada uma das seções, e os pesos médios dos fatores Tabela 6.11 Tabela de cálculos do MAB: fatores (coluna 1), pesos (2), seções 177 pesquisadas (3), graus de evidência favorável e de evidência contrária (colunas de 4 a 11), aplicação dos operadores OR (12 e 13) e AND (14 e 15), cálculos (16 e 17) e análise dos resultados (18) Tabela 6.12a Análise do projeto P, para o qual todos os fatores mostraram-se 180 favoráveis (seção S 1 ) Tabela 6.12a Análise do projeto P, para o qual todos os fatores mostraram-se 180 desfavoráveis (seção S 3 ) Tabela 6.13 Matriz das anotações: graus de evidências favorável e contrária 192 atribuídos pelos especialistas aos fatores, em cada uma das seções Tabela 6.14 Cálculos e análise dos resultados feitos pelo MAB, adotando nível 194 de exigência igual a 0,75 (a este nível a análise mostrou-se não conclusiva)

16 Tabela 6.15 Cálculos e análise dos resultados feitos pelo MAB, adotando nível 198 de exigência igual a 0,60 (a este nível a análise mostrou que o empreendimento é viável) Tabela 6.16 Base de dados: valores das evidências favorável e contrária 201 atribuídos pelos especialistas para as trinta e duas doenças, diante de cada um dos trinta sintomas Tabela 6.17 Tabela de decisão, obtida a partir dos sintomas apresentados pelo 203 paciente e dos graus de certeza de cada uma das doenças analisadas Tabela 6.18 Tabela de cálculos da doença AA. Calcula o grau de certeza da doença 204 AA (= 0,265), considerando os sintomas apresentados pelo paciente Tabela 6.19 Base de dados: graus de evidência favorável e de evidência contrária 217 atribuídos pelos especialistas aos fatores de influência, nas condições estabelecidas pelas seções. Tabela 6.20 Dados do Censo do Ensino Superior, de 1997 a 2001, obtidos junto 219 ao INEP Tabela 6.21 Número de alunos matriculados no ensino médio, na região de SJC, 220 em 2001 Tabela 6.22 Densidade demográfica dos municípios da região de SJC 222 Tabela 6.23 Cálculo da nota média da instituição e atribuição de seu conceito 225 Tabela 6.24 Cálculo da CHS média dos três cursos de Engenharia previstos 226 Tabela 6.25 Valores de mensalidades nos cursos de Engenharia (ou similares) 228 nas escolas de SJC Tabela 6.26 Resultados da pesquisa para o curso de Engenharia na cidade de SJC 229 Tabela 6.27 Tabela de cálculos para a obtenção do resultado da análise 230 feita pelo MAB Tabela 6.27a Tabela de cálculos para a obtenção do resultado da análise feita 230 pelo MAB (1ª parte: dados correspondentes às seções pesquisadas) Tabela 6.27b Tabela de cálculos para a obtenção do resultado da análise feita pelo 231 MAB (2ª parte: aplicação dos operadores OR e AND e da regra de decisão). Tabela 6.28 Análise de sensibilidade do MAB com relação aos 233 Tabela 6.29 Análise de sensibilidade do MAB em relação às seções em 233 que os fatores podem ser encontrados Tabela 6.30 Análise de sensibilidade do MAB com relação ao nível de exigência 234

17 Tabela 7.1 Um exemplo de organograma linear 257 Tabela 7.2 Organograma linear adotado pela BCS Informática 259 Tabela 7.3 Base de dados: opiniões dos especialistas sobre os investimentos 274 diante dos fatores de influência, nas condições definidas pelas seções Tabela 7.4 Tabela de decisão do MAB em análise de investimentos (1ª pesquisa) 276 Tabela 7.5 Tabela de cálculos do MAB na análise do investimento A nas 277 condições da 1ª pesquisa. Tabela 7.6 Tabela de decisão do MAB em análise de investimentos (1ª pesquisa) 278 Tabela 7.7 Tabela de cálculos do MAB na análise do investimento A nas 279 condições da 2ª pesquisa.

18 LISTA DAS FIGURAS Figura 3.1 Representação do reticulado τ das anotações pelo diagrama de Hasse 92 Figura 3.2 Quadrado unitário do plano cartesiano (QUPC) 97 Figura 3.3 QUPC e a linha perfeitamente definida (LPD) 100 Figura 3.4 QUPC e a linha perfeitamente indefinida (LPI) 102 Figura 3.5 QUPC dividido em quatro regiões pelas linhas LPD e LPI 103 Figura 3.6 Uma divisão do QUPC em doze regiões 104 Figura 3.7 QUPC, as quatro regiões extremas e as linhas limites 105 Figura 3.8 Análise de algumas regiões do QUPC 107 Figura 3.9 Regiões extremas com graus de certeza e de contradição, 109 em módulo, iguais ou maiores que 0,75 Figura 3.10 Regiões extremas com grau de contradição, em módulo, igual ou maior 110 que 0,50 e com grau de certeza, em módulo, igual ou maior que 0,75 Figura 3.11 Representação do reticulado associado a Eτ com os graus de 111 certeza em abscissa e os graus de contradição em ordenada Figura 3.12 Interpretação gráfica do resultado da aplicação do operador NOT 113 Figura 3.13 Interpretação gráfica da aplicação do operador OR aos estados 115 representados pelos pontos X e Y Figura 3.14 Interpretação gráfica da aplicação do operador AND aos estados 117 traduzidos pelos pontos X e Y Figura 3.15 Esquema de uma aplicação dos operadores OR e AND 118 Figura 3.16 Esquema de uma aplicação dos operadores OR e AND 120 Figura 4.1 Regiões extremas com graus de contradição e de certeza, 123 em módulo, iguais ou maiores que 0,70 Figura 5.1 Regra de decisão e algoritmo para-analisador, para nível de 131 exigência igual a 0,70 (ou 70%) Figura 6.1a Algoritmo para-analisador para o nível de exigência igual a 0, Figura 6.1b Regra de decisão para o nível de exigência igual a 0, Figura 6.2a Aplicação do algoritmo para-analisador para análise de viabilidade 156 do curso X na região Y

19 Figura 6.2b Aplicação do algoritmo para-analisador para análise de viabilidade 158 do curso X' na região Y', quando todos os fatores são favoráveis (seção S 1 ), ao nível de exigência 0,60 Figura 6.3 Regra de decisão e algoritmo para-analisador para o nível 160 de exigência 0,60 Figura 6.4 Análise do resultado pelo algoritmo para-analisador 166 Figura 6.5 Análise do resultado quando todos os fatores são muito favoráveis (S 1 ) 168 Figura 6.6 Análise do resultado quando todos os fatores são muito desfavoráveis (S 5 ) 169 Figura 6.7a Análise do resultado pelo algoritmo para-analisador no caso em 171 que cinco fatores são muito favoráveis (seção S 1 ), cinco são apenas favoráveis (seção S 2 ) e o nível de exigência é igual a 0,60 (viável) Figura 6.7b Análise do resultado pelo algoritmo para-analisador no caso em que 171 cinco fatores são muito favoráveis (seção S 1 ), cinco são apenas favoráveis (seção S 2 ) e o nível de exigência é igual a 0,80 (não conclusivo) Figura 6.8a Dispositivo para-analisador para o nível de exigência 0, Figura 6.8b Regra de decisão para o nível de exigência 0, Figura 6.9 Análise dos resultados pelo dispositivo para-analisador, com nível 179 de exigência igual a 0,65 Figuras 6.10a, b Análise do resultado quando todos os fatores são 180 favoráveis (viável ao nível de exigência 0,65) e quando todos os fatores desfavoráveis (inviável ao nível de exigência 0,65) Figuras 6.11a, b Análise do resultado quando quatro fatores são favoráveis (S 1 ) 181 e quatro são indiferentes (S 2 ) (Resultado não conclusivo, ao nível de exigência 0,65; viável, ao nível de exigência 0,55). Figura 6.12 Regra de decisão e algoritmo para-analisador para o nível 185 de exigência 0,75

20 Figura 6.13 Análise dos resultados pelo algoritmo para-analisador, ao nível de 196 exigência 0,75 (a este nível a análise mostrou-se não conclusiva) Figura 6.14 Análise dos resultados pelo algoritmo para-analisador, ao nível de 197 exigência 0,60 (a este nível a análise acusou que o empreendimento é viável) Figura 6.15 Efeitos, isolados e resultante, dos doze sintomas apresentados pelo 206 paciente na doença AA Figura 6.16 Localização dos trinta e dois baricentros que traduzem a 208 influência combinada os doze sintomas apresentados pelo paciente nas trinta e duas doenças consideradas Figura 6.17 Regra de decisão e algoritmo para-analisador para o nível de 214 exigência 0,50 Figura 6.18 Análise da viabilidade do curso de Engenharia em SJC, pelo 232 algoritmo para-analisador Figura 7.1 Uma representação de uma estrutura matricial de decisões 255 Figura 7.2 Estrutura administrativa da BCS Informática 258 Figura 7.3 Estrutura matricial para decisões adotada pela BCS Informática 258 para a Diretoria de Serviços e Infraestrutura Figura 7.4 Distribuição do tráfico de telecomunicações entre as diferentes 263 modalidades Figura 7.5 Distribuição de receitas em telecomunicações entre as diferentes 263 modalidades Figura 7.6 Um esquema de aplicação das regras de maximização (operador OR) e 275 de minimização (operador AND) da lógica Eτ às opiniões dos especialistas, em aplicações financeiras Figura 7.7 Análise dos investimentos vista por meio do algoritmo para- 277 analisador (1ª pesquisa) Figura 7.8 Análise dos investimentos vista por meio do algoritmo para- 279 analisador (2ª pesquisa)

21 RESUMO DE CARVALHO, FÁBIO R. Aplicação de Lógica Paraconsistente Anotada em Tomadas de Decisão na Engenharia de Produção p. Tese (Doutorado) Escola Politécnica da Universidade de São Paulo, São Paulo, Brasil, Em Engenharia de Produção, os processos de decisão constituem um dos temas centrais e envolvem fatores de naturezas diversas, que os cercam de dificuldades. Nesses processos, não raramente, estão presentes fatores de natureza subjetiva, informações imprecisas, quando não vagas e mesmo conflitantes, que podem levar a decisões distorcidas, comprometendo a clareza e a objetividade de uma análise. Para manipular logicamente um conjunto de informações vagas, subjetivas, inconsistentes ou paracompletas, são necessárias lógicas alternativas da clássica, pois esta não pode, ao menos diretamente, ser empregada para tal fim. Assim, a lógica paraconsistente pode, em princípio, ser uma ferramenta adequada para a tarefa. No presente trabalho será apresentado um processo de auxílio às tomadas de decisão, denominado de Método de Análise pelo Baricentro (MAB), que se baseia na lógica paraconsistente anotada evidencial Eτ e no algoritmo para-analisador, introduzidos em (DA COSTA et al., 1999) e (DA SILVA FILHO; ABE, 2001). Esse método permite, de modo não trivial, o tratamento de informações com aquelas características e evidencia a possibilidade de aplicações da lógica Eτ em Administração, Marketing, Engenharia de Produção, previsão de diagnósticos, aplicações financeiras, entre outros temas. Um estudo de caso real, com resultados plenamente satisfatórios, mostra sua aplicabilidade na prática. Além disso, o MAB abre, entre outras, a perspectiva de se transformarem análises qualitativas em quantitativas. Palavras-Chave: lógica paraconsistente, tomadas de decisão, nível de exigência, regra de decisão, algoritmo para-analisador.

22 ABSTRACT DE CARVALHO, FÁBIO ROMEU. Application of Paraconsistent Annotated Logic in Production Engineering Decision Making p. Thesis (Doctorship) Escola Politécnica da Universidade de São Paulo, São Paulo, Brazil, In Production Engineering, decision making processes represent one of the most important topics and involve factors of various natures, which are, in turn, surrounded by difficulties. Quite often in these processes, there are factors of subjective nature, inaccurate data, sometimes even vague or conflicting information, which may lead to distorted decisions that eventually compromise the clarity and objectiveness of the analysis. In order to logically handle a set of vague, subjective, inconsistent or paracomplete information, logic other than classic is required, once the latter cannot, at least directly, be applied for such purpose. Hence, paraconsistent logic can, in principle, be an adequate tool for the task. In this paper, we will present an auxiliary process in decision making called Baricenter Analysis Method (BAM), which is based in Paraconsistent Annotated Evidential Logic Eτ and in a para-analyzer algorithm, introduced in (DA COSTA et al., 1999) and (DA SILVA FILHO; ABE, 2001). This methodology allows, in quite an unusual way, the treatment of information containing those characteristics and points out the possibility of applications of logic Eτ in Business Administration, Marketing, Production Engineering, anticipation of diagnosis, financial applications, among other subjects. Furthermore, BAM opens the possibility of transforming qualitative into quantitative analysis. Key Words: paraconsistent logic, decision making, decision rule, level of requirement, paraanalyzer algorithm.