[pt] Confiança é um aspecto fundamental em sistemas distribuídos abertos de larga-escala. Ela está no núcleo de todas as interações entre as entidades que precisam operar em ambientes com muita incerteza e que se modificam constantemente. Dada essa complexidade, esses componentes, e o sistema resultante, são cada vez mais contextualizados, desenhados e construídos usando técnicas baseadas em agentes. Portanto, confiança é fundamental em um sistema multi-agentes (MAS) aberto. Logo, este trabalho investiga como se ter um modelo de confiança explicitamente em um agente inteligente, que possui crenças (Beliefs), desejos (Desires) e intenções (Intentions), chamado de agente BDI. Ou seja, o agente passa a ter um quarto componente chamado confiança (Trust). Dessa forma, é necessário uma lógica para englobar o conceito de confiança em um MAS BDI aberto. Isso é feito usando uma lógica multi-modal indexada, onde os mundos possíveis que modelam um sistema multi-agentes representam quais agentes estão presentes em um dado instante de tempo. E, para cada uma três componentes originais de um agente BDI, há também uma representação de mundos possíveis, pois as mesmas são tratadas como modalidades. Já a confiança é modelada como sendo um predicado, e não uma modalidade. / [en] Trust is a fundamental concern in large-escale open distributed sytems. It lies at the core of all interactios between the entities that have to operate in such uncertain and constantly changing environmonts. Given the complexity of the interactions, these components, and the ensuing system, are increasingly being conceptualised, desined, and built using agent-based techiques. Therefore, the presence of trust is imperative in a multi-agent system (MAS). Consequently, this work studies how to have a explicit trust model in intelligent agent, which has beliefs, desires and intentions (BDI agent). Thas is, the agent now has a fourth component called Trust. This way, a logic to include the concept of trust in an open BDI MAS is interesting, so that the different aspects of a trust model can be expressed formally and accuratelly. This is achieved by using an indexed multi-modal logic, where the possible worlds which model a multi-agent system represent which agents are in the system in a given moment. Moreover, for each one of the three original components of a BDI agent, where the components represent beliefs, desires and intentions, there is a representation of possible worlds, because these are treated as modalities. However, trust is modelled as predicate, not as a modality.

[pt] Considere os seguintes dois tipos de transformções em demonstrações: 1) tornar uma prova mais incompleta, apagando um lema ou uma construção que sejam parte da prova e pondo no lugar um aviso dizendo isso é óbvio; 2) pegar um passo que foi provado por um isso é óbvio, aplicar algum algoritmo que encontre uma demonstração para esse passo, e trocar o aviso pela demonstração de verdade. Nós vamos considerar que a primeira operação vai em direção ao esqueleto da demonstração, e que ela é como uma projeção; a segunda operação é um levantamento de um esqueleto para uma demonstração um pouco mais completa com aquele esqueleto. Nós só estamos interessados em esqueletos que possam ser levantados até provas completas usando algum algoritmo conhecido. Nesta tese descrevemos uma linguagem - o sistema DNC - que permite provar vários fatos sobre categorias usando esqueletos. O método para o levantamento é, a grosso modo, o seguinte: a partir do nome de um termo em DNC nós podemos obter o seu tipo; por uma espécie de Isomorfismo de Curry-Howard um tipo desses pode ser visto como uma preposição numa certa lógica; um algoritmo que obtenha uma demonstração para essa proposição retorna uma árvore de demonstração (uma derivação) num certo sistema de Dedução Natural, e essa árvore pode ser lida como um lambda- termo do tipo dado - ela dá uma construção natural para um objeto daquele tipo, e esse objeto muito frequentemente é exatamente o objeto que esperávamos obter. Derivações em DNC podem ser traduzidas para derivações num Pure Type System com Dicionários (PTSD), e derivações em PTSDs podem ser traduzidas para derivações em Pure Type Systems (PTSs); daí, questões sobre a teoria da prova de DNC se tornam questões sobre a teoria da prova de PTSs, que é bastante bem-conhecida. Não só temos um levantamento de nomes de termos em DNC para provas completas, mas também temos um modo formal de levantar diagramas categóricos expressos na linguagem do DNC para termos em DNC e daí para provas completas; e se mudamos o dicionário embutido num PTSD podemos fazer com que o mesmo esqueleto em DNC represente provas em contextos diferentes; por exemplo, algumas provas que aparentemente estão sendo feitas sobre a categoria dos conjuntos podem ser reinterpretados como provas sobre um topos arbitrário. Usamos essa idéia para apresentar de uma forma simples - em que os passos óbvios omitidos são óbvios num sentido muito preciso - a semântica categárica para alguns PTSs, incluindo PTSs com polimorfismo e tipos dependentes, e os PTSs para quais as derivações em DNC são traduzidas. / [en] Consider the following two kinds of transformation on proofs; the first is to make a a proof more incomplete, by erasing a lemma or a construction from it and replacing it by a tag saying this is obvious; the second kind of transformation takes a step that is proved by a this is obvious tag, applies some kind of prof-search algorithm to it, and replaces the tag by a real proof for that step. We will consider that the first operation goes toward the skeleton towards a more complete proof that had that skeleton as a projection. We are only interested in skeletons can be lifted back to full proofs using some known algorithm. In this thesis we can describe a language - DNC - that lets us prove several categorical facts using skeletons. The method for lifting these skeletons goes like this: from the name of a DNC term we can obtain its type; by a kind of Curry-Howard isomorphism a such type can be seen as a proposition in a certain logic; proof-search for that proposition will obtain a proof-tree for it in a certain system of Natural Deduction, and that proof-tree can be read as a lambda-term of given type - the proof-tree gives a natural construction for an object of the given type, that very often is exactly the object that we were looking for. Derivations in DNC can be translated into derivations in a Pure Type System with Dictionaries (PTSD), and derivations in PTSDs can be translated into derivations in Pure Type Systems (PTSs); so questions about the proof- theory of DNC become questions about the proof-theory of PTSs, whose properties are quite well-known. Also, not only we can lift names of terms in DNC to full proofs in different settings; for example, some proofs that apparently are happening over the category of sets can be reinterpreted as proofs over an arbitrary topos. We use that idea to give a simple presentation (in which the omitted obvious steps are obvious in a very precise sense) of the categorical semantics for some PTSs - and that includes PTSs into which the DNC derivations are translated.

[pt] Face à complexidade da matriz energética brasileira e em particular de todo o sistema elétrico de potência interligado, torna-se imprescindível garantir que os equipamentos instalados, desde a geração até os consumidores finais, operem em condições satisfatórias e em elevados níveis de confiabilidade. De acordo com a reestruturação do setor e sua inserção em um mercado competitivo, além da elevada confiabilidade exigida, o novo conceito de disponibilidade dos equipamentos e sistemas impõe mais qualidade e planejamento no mercado de energia elétrica. Neste contexto, as empresas de energia elétrica preocupam-se cada vez mais em manter seus equipamentos em boas condições de operação para que tais metas sejam alcançadas. Entre os equipamentos elétricos de potência, os transformadores sem dúvida correspondem ao ativo de maior importância por serem os mais caros e complexos em termos funcionais. A Análise de Gases Dissolvidos no óleo mineral isolante (AGD) é uma ferramenta de diagnóstico de grande aceitação e potencial na detecção de faltas em equipamentos elétricos com isolação papel-óleo, sobretudo nos transformadores de potência. Com o objetivo de fornecer maiores subsídios aos gestores de manutenção na tomada de decisões quanto à intervenções em transformadores, o trabalho desenvolvido propõe um Sistema de Apoio à Decisão composto por um módulo de Inteligência Computacional (IC) que utiliza regras fuzzy para efetuar o diagnóstico do equipamento em conjunto com outro módulo de apoio à decisão que considera as características do transformador e outros parâmetros de influência, fornecendo, além do diagnóstico, recomendações para a tomada de decisão pelos gestores de manutenção. / [en] Given the complexity of the Brazilian energy matrix and in particular of the whole interconnected electrical power system, it is essential to ensure that the equipment, from generation to final consumers, operates in a satisfactory way and high levels of reliability. In accordance with the restructuring of the sector and its integration in a competitive market, in addition to the high reliability required, the new concept of availability of equipment and systems requires more planning and quality in the market of electrical energy. In this context, electrical power companies are increasingly concerned about maintaining their equipment in good operating conditions so that the above targets are attained. Within electrical equipments, power transformers are undoubtedly the most important asset, since they are the most expensive and complex in functional terms. Dissolved Gases Analysis in insulating mineral oil (DGA), is a widely accepted tool for detecting faults in electrical equipments with paper-oil insulation, particularly in power transformers. With the aim of providing more subsidies to maintenance managers when making decisions on interventions in power transformers, this work proposes a Decision Support System composed of a module of Computational Intelligence (CI) which uses fuzzy rules to diagnose the equipment, together with another decision-support module, which considers the power transformer features and other parameters in order to help managers in the decision making process.

[pt] A grande quantidade de dados disponíveis na Web permite aos usuários combinarem e rapidamente integrarem dados provenientes de fontes diferentes, pertencentes ao mesmo domínio de aplicação. Entretanto, combinações de dados construídas a partir de fontes de dados independentes e heterogêneas podem gerar inconsistências e, portanto, confundir o usuário que faz uso de tais dados. Esta tese aborda o problema de criação de uma combinação consistente de dados a partir de fontes de dados mutuamente inconsistentes. Especificamente, aborda o problema de testar quando os dados a serem combinados são inconsistentes em relação a um conjunto pré-definido de restrições. As principais contribuições desta tese são: (1) a formalização da noção de combinação consistente de dados, tratando os dados retornados pelas fontes como uma Teoria de Defaults e considerando uma combinação consistente de dados como uma extensão desta teoria; (2) um verificador de modelos para uma família de Lógicas de Descrição, usado para analisar e separar os dados consistentes e inconsistentes, além de testar a consistência e completude das combinações de dados obtidas; (3) um procedimento heurístico para computar tais combinações consistentes de dados. / [en] With the amount of data available on the Web, consumers can mashup and quickly integrate data from different sources belonging to the same application domain. However, data mashups constructed from independent and heterogeneous data sources may contain inconsistencies and, therefore, puzzle the user when observing the data. This thesis addresses the problem of creating a consistent data mashup from mutually inconsistent data sources. Specifically, it deals with the problem of testing, when data to be combined is inconsistent with respect to a predefined set of constraints. The main contributions of this thesis are: (1) the formalization of the notion of consistent data mashups by treating the data returned from the data sources as a default theory and considering a consistent data mashup as an extension of this theory; (2) a model checker for a family of Description Logics, which analyzes and separates consistent from inconsistent data and also tests the consistency and completeness of the obtained data mashups; (3) a heuristic procedure for computing such consistent data mashups.

[pt] Nas últimas décadas o avanço tecnológico tem atingido altos níveis de desenvolvimento, sendo as técnicas de inteligência computacional um dos principais campos em expansão devido à sua aplicabilidade nas diferentes áreas industriais. Uma das principais técnicas com aplicabilidade no setor da robótica é a Lógica Fuzzy, que permite aumentar as características de autonomia dos robôs. Atualmente a indústria brasileira vem desenvolvendo novos métodos robotizados para as tarefas de monitoramento e inspeção de gasodutos. No caso particular do gasoduto Coari-Manaus, foi desenvolvido o Robô Ambiental Híbrido Médio (RAHM), o qual possui um Sistema Primário de Navegação (SPN), mas não um Sistema Auxiliar de Navegação (SAN) para uso em caso de falha. Este trabalho tem como principal objetivo desenvolver um Sistema de Navegação Auxiliar controlado através da Lógica Fuzzy, de forma a auxiliar a navegação autônoma do robô em case de falha do SPN. O trabalho envolveu o projeto da eletrônica e de um sistema de inferência fuzzy para oferecer um controle adequado na navegação do robô em casos de emergência. O SAN é avaliado através de um estudo de caso comparativo, confirmando os benefícios que a Lógica Fuzzy oferece para o Sistema Auxiliar de Navegação. / [en] Technological progress has reached high levels of development in the last decades and computational intelligence techniques have been one of the main expanding fields due to their applicability in different industrial areas. One of those techniques that can be used in the field of robotics is Fuzzy Logic, which contributes to an increase in the autonomy of robots. Brazilian industry has been developing new robotics methods for monitoring and inspection tasks of pipelines. In the particular case of Coari-Manaus pipeline the Environmental Hybrid Medium Robot (RAHM) has been developed. This robot has a primary navigation system (PNS), but lacks an Auxiliary Navigation System (ANS) to be used in the case of failure. This dissertation has as its main objective developing an Auxiliary Navigation System controlled through Fuzzy Logic to help autonomous navigation in the case of the PNS failure. The work has involoved the electronic project and the design of a fuzzy inference system for an adequate control of the robot navigation of Robot in an emergency. The ANS is evaluated through a comparative case study and results confirm the benefits from using Fuzzy Logic in the design of the Auxiliary Navigation System.

[pt] O consumo de energia elétrica no Brasil tem sido amplamente discutido nos últimos tempos. A crise do abastecimento de energia em 2001, fez com que o Governo Federal tomasse uma série de medidas para tentar corrigir os erros do modelo em vigência. Hoje, entende-se que a situação do setor energético é delicada, fazendo com que o risco de um novo racionamento volte a ser considerado. Neste contexto, as companhias de energia estão se deparando com o desafio de obter previsões de carga mais precisas. Consequentemente, uma vez que esta demanda encontra-se inserida em um cenário instável de economia, estas estimativas requerem métodos mais eficientes e inovadores. O objetivo principal deste estudo é fornecer uma nova abordagem para o problema de previsão do consumo de eletricidade. A metodologia de lógica fuzzy é proposta com o objetivo de extrair regras das variáveis de entrada e fornecer previsões de longo prazo para a demanda de eletricidade no Brasil. Através da modelagem estatística, a identificação das estruturas de dependência e defasagens entre estas variáveis, fornece suporte para os modelos independentes com previsões anuais. A grande vantagem dos modelos de lógica fuzzy vem da habilidade destes de imitar o pensamento humano em cenários de incerteza e imprecisão. Na literatura recente, a formulação destes tipos de modelo tem se limitado a tratar as variáveis explicativas de maneira univariada, ou então envolvendo somente o PIB. Este trabalho propõe a extensão do modelo desenvolvido na literatura, começando com variáveis como a população do Brasil e o valor adicionado do PIB por estados e setores, juntamente com suas variações. Com isso, o modelo proposto será comparado com a formulação oficial vigente fornecida pela EPE. / [en] The consumption of electricity in Brazil has been widely discussed recently. The energy supply crisis in 2001 forced the Federal Government to take a series of measures trying to fix the actual model. Nowadays, it is understood that the energy sector is going through bad times, making the risk of a new rationg plan be considered. In this context, energy companies are facing the challenge of making more accurate load forecast. Consequently, once this need is inserted into a scenario of unstable economy, these estimates require efficient methods combined with innovative features.The aim of this study is to provide a new approach to this electricity prediction problem. A Fuzzy logic methodology is proposed in order to extract rules from the input variables and provide Brazil s Long-term annual electricity demand forecasts. From a statistical modeling point of view, an identification of dependence and lags structure between the input variables provide support for independent models with annual estimates. The advantage of the fuzzy logic model lies on the ability to mimic the human thinking in an environment of uncertainty and imprecision. In recent literature, the formulation of these types of models has been limited to treating the explanatory variables in the univariate form, or involving only the GDP. This study proposes an extension of this model, starting with the Brazilian population and the additional value of the state GDP by sectors with their variations. Then, the proposed model is compared with the official formulation provided by EPE.

[pt] A dissertação investiga, a partir do Tractatus de Wittgenstein, a articulação interna do mundo e da linguagem - a isomorfia - e elucida aquilo que, sendo idêntico aos dois, a saber, a forma lógica, permite a função de representação exercida pela linguagem. Para tanto, estabeleço, com o auxílio da Teoria de Conjuntos, que a isomorfia tractatiana respeita um mecanismo formal de mapeamento dos estados de coisas pelas proposições elementares numa função biunívoca preservadora de relações entre os nomes e os objetos nomeados. Portanto, demonstro a legitimidade do uso do conceito matemático de isomorfismo na interpretação tradicional do Tractatus. A partir disto, defendo a pertinência de se tomar a lógica, tal qual concebida no Tractatus, como uma espécie de metafísica reabilitada em oposição à metafísica tradicional, tomada, por Wittgenstein, como ilegítima. / [en] This dissertation investigates the internal articulation between world and language - the isomorphy - hold by Wittgenstein in his Tractatus. To do so, I determine using the Set Theory that the tractatian isomorphy functions mapping state of affairs in terms of atomic propositions through a peculiar relation between objects and names. As a result, I demonstrate that it is legitimate to use the mathematical concept of isomorphism to interpret Tractatus. According to this, I also defend that logic, as it is assumed by Wittgenstein, can be held as a regenerated metaphysics in contrast to the illegitimacy of the traditional one.

[pt] Nessa dissertação é desenvolvido um modelo de previsão de curto prazo para cargas horárias empregando informações climáticas. Tal modelo é montado para a companhia de eletricidade LIGHT. O modelo proposto combina diferentes metodologias, são elas: Redes Neurais, Métodos Estatísticos e Lógica Nebulosa. Primeiramente, emprega-se o Mapa Auto-Organizável de Kohonen para identificar as curvas típicas de carga que são incluídas em um modelo de previsão estatística. Com intuito de melhorar o desempenho do modelo em termos do erro de previsão é adicionado, através de Lógica Nebulosa, o efeito da temperatura na carga. Por fim, é montado um procedimento com alguns conceitos de Lógica Nebulosa para identificar o tipo de curva de carga do dia a ser previsto. / [en] In the dissertation a new model to short-term forecasting of hourly loads using weather information is developed. This model was developed for the electricity distributing utility LIGHT and it combines different methodologies, namely: Neural Networks, Statistical Methods and Fuzzy Logic. First, the Kohonen Self-Organizing Map makes the identification of the load curves profiles and these are included in the statistical model. In order to improve the performance of the model in terms of forecasting error, the effect of temperature on the load is inserted by means of Fuzzy Logic. Finally, a procedure with some concepts of Fuzzy Logic was established to identify the type of curve of the day to be forecasted.

[pt] Este trabalho aborda o desenvolvimento de um ambiente gráfico, para simulação, de maneira simples, de um sistema de controle nebuloso. Este ambiente possibilita a introdução e alteração dos diversos parâmetros do controlador nebuloso e do sistema controlado, tais como equação da planta, conjuntos nebulosos, variáveis nebulosas, conjuntos de regras, etc. embora já existam atualmente ferramentas deste tipo, estas estão geralmente atreladas a controladores comerciais. O simulador desenvolvido visa oferecer uma ferramenta para uso também acadêmico, onde se possa ter uma noção melhor do funcionamento da técnica de controle nebuloso, aliada a uma facilidade de implementação e manipulação. São apresentados também alguns resultados de simulações feitas para comprovar o funcionamento do simulador. / [en] In this work a graphical environment for the simulation of a fuzzy control system is developed. In this environment, fuzzy controller and process parameters, such as plant equation, definitions of fuzzy sets, fuzzy variables, set of rules, etc., can be easily entered and changed. Althougth similar tools already exist, these are generaly linked to commercial controllers. The simulator developed in this work aims to provide a tool for academic use too, enabling the user to understand fuzzy control techniques. There are also shown results from experiments carried out in order to check and validate the simulator.

[pt] Dedução Natural para a lógica intuicionista tem sido relacionada à Teoria das Categorias através do que agora é conhecido por Lógica Categórica. Essa relação é fortemente baseada no isomorfismo de Curry-Howard entre Dedução Natural e (lambda)-Cálculo Tipado. Esta dissertação descreve alguns aspectos dessa relação com o objetivo de propor uma visão 2-categórica da Lógica Categórica. Mostramos que mesmo numa visão 2-cateórica algumas desvantagens conhecidas na Teoria das Categorias continuam valendo. Concluímos essa dissertação discutindo as vantagens de uma visão 2-categórica a partir de premissas mais fracas. / [en] Natural Deduction for intuitionistic logic has been related to Category Theory by what now is known as Categorical Logic. This relationship is strongly based on the Curry-Howard Isomorphism between Natural Deduction and typed (lambda)-Calculus. This dissertation describes some aspects of these relationship with the aim of proposing a 2-categorical view of categorical logic. We show that even under this 2-categorical view some of the drawbacks already known in ordinary Category Theory remain holding. We conclude this dissertation discussing the advantages of 2-categorical view under some weaker assumptions.