[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.

A área de monitoração e diagnóstico vem apresentando um acentuado desenvolvimento nos últimos anos com a introdução de novas técnicas de diagnóstico bem como vem contando com a contribuição dos computadores no processamento das informações e das técnicas de diagnósticos. A contribuição da inteligência artificial na automatização do diagnóstico de defeito vem se desenvolvendo continuamente e a crescente automação na indústria vêm de encontro a estas novas técnicas. Na área nuclear, é crescente a preocupação com a segurança nas instalações, e têm sido procuradas técnicas mais eficazes para aumentar o nível de segurança [59]. Algumas usinas nucleares já possuem instaladas, em algumas máquinas, sensores que permitem a verificação de suas condições operacionais. Desta forma, este trabalho também pode colaborar nesta área, ajudando no diagnóstico das condições de operação das máquinas, mais especificamente, no diagnóstico das condições dos rolamentos. O principal objetivo deste trabalho é detectar e classificar os tipos de defeitos apresentados pelos rolamentos analisados e para tal desenvolveu-se uma nova técnica de extração de característica dos sinais de aceleração, baseando-se no Zero Crossing da Transformada de Wavelet contribuindo com o desenvolvimento desta dinâmica área. Como técnica de inteligência artificial foi utilizada a Lógica Paraconsistente Anotada com dois valores (LPA2v), oferecendo a sua contribuição na automação do diagnóstico de defeitos, pois esta lógica pode tratar inclusive de resultados contraditórios que as técnicas de extração de características possam apresentar. Foi desenvolvido um programa de computador onde varias técnicas de extração de características foram utilizadas para realização de diagnóstico das condições de operação dos rolamentos. Este programa foi testado através de dados experimentais obtidas em uma bancada de ensaios para rolamentos onde defeitos previamente conhecidos foram utilizados para avaliar o desempenho das novas técnicas utilizadas. Este trabalho também se concentrou na identificação de defeitos em sua fase inicial procurando utilizar acelerômetros, pois são sensores robustos, de baixo custo e facilmente encontrados na indústria em geral. Os resultados deste trabalho foram obtidos através da utilização de um banco de dados experimental e verificou-se que os resultados de diagnósticos de defeitos mostraramse bons para defeitos em fase inicial. / The monitoring and diagnosis area is presenting an impressive development in recent years with the introduction of new diagnosis techniques as well as with the use the computers in the processing of the information and of the diagnosis techniques. The contribution of the artificial intelligence in the automation of the defect diagnosis is developing continually and the growing automation in the industry meets this new techniques. In the nuclear area, the growing concern with the safety in the facilities requires more effective techniques that have been sought to increase the safety level. Some nuclear power stations have already installed in some machines, sensors that allow the verification of their operational conditions. In this way, the present work can also collaborate in this area, helping in the diagnosis of the operational condition of the machines. This work presents a new technique for characteristic extraction based on the Zero Crossing of Wavelet Transform, contributing with the development of this dynamic area. The technique of artificial intelligence was used in this work the Paraconsistente Logic of Annotation with Two values (LPA2v), contributing with the automation of the diagnosis of defects, because this logic can deal with contradictory results that the techniques of feature extraction can present. This work also concentrated on the identification of defects in its initial phase trying to use accelerometers, because they are robust sensors, of low cost and can be easily found the industry in general. The results obtained in this work were accomplished through the use of an experimental database, and it was observed that the results of diagnoses of defects shown good results for defects in their initial phase.

[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.

A área de monitoração e diagnóstico vem apresentando um acentuado desenvolvimento nos últimos anos com a introdução de novas técnicas de diagnóstico bem como vem contando com a contribuição dos computadores no processamento das informações e das técnicas de diagnósticos. A contribuição da inteligência artificial na automatização do diagnóstico de defeito vem se desenvolvendo continuamente e a crescente automação na indústria vêm de encontro a estas novas técnicas. Na área nuclear, é crescente a preocupação com a segurança nas instalações, e têm sido procuradas técnicas mais eficazes para aumentar o nível de segurança [59]. Algumas usinas nucleares já possuem instaladas, em algumas máquinas, sensores que permitem a verificação de suas condições operacionais. Desta forma, este trabalho também pode colaborar nesta área, ajudando no diagnóstico das condições de operação das máquinas, mais especificamente, no diagnóstico das condições dos rolamentos. O principal objetivo deste trabalho é detectar e classificar os tipos de defeitos apresentados pelos rolamentos analisados e para tal desenvolveu-se uma nova técnica de extração de característica dos sinais de aceleração, baseando-se no Zero Crossing da Transformada de Wavelet contribuindo com o desenvolvimento desta dinâmica área. Como técnica de inteligência artificial foi utilizada a Lógica Paraconsistente Anotada com dois valores (LPA2v), oferecendo a sua contribuição na automação do diagnóstico de defeitos, pois esta lógica pode tratar inclusive de resultados contraditórios que as técnicas de extração de características possam apresentar. Foi desenvolvido um programa de computador onde varias técnicas de extração de características foram utilizadas para realização de diagnóstico das condições de operação dos rolamentos. Este programa foi testado através de dados experimentais obtidas em uma bancada de ensaios para rolamentos onde defeitos previamente conhecidos foram utilizados para avaliar o desempenho das novas técnicas utilizadas. Este trabalho também se concentrou na identificação de defeitos em sua fase inicial procurando utilizar acelerômetros, pois são sensores robustos, de baixo custo e facilmente encontrados na indústria em geral. Os resultados deste trabalho foram obtidos através da utilização de um banco de dados experimental e verificou-se que os resultados de diagnósticos de defeitos mostraramse bons para defeitos em fase inicial. / The monitoring and diagnosis area is presenting an impressive development in recent years with the introduction of new diagnosis techniques as well as with the use the computers in the processing of the information and of the diagnosis techniques. The contribution of the artificial intelligence in the automation of the defect diagnosis is developing continually and the growing automation in the industry meets this new techniques. In the nuclear area, the growing concern with the safety in the facilities requires more effective techniques that have been sought to increase the safety level. Some nuclear power stations have already installed in some machines, sensors that allow the verification of their operational conditions. In this way, the present work can also collaborate in this area, helping in the diagnosis of the operational condition of the machines. This work presents a new technique for characteristic extraction based on the Zero Crossing of Wavelet Transform, contributing with the development of this dynamic area. The technique of artificial intelligence was used in this work the Paraconsistente Logic of Annotation with Two values (LPA2v), contributing with the automation of the diagnosis of defects, because this logic can deal with contradictory results that the techniques of feature extraction can present. This work also concentrated on the identification of defects in its initial phase trying to use accelerometers, because they are robust sensors, of low cost and can be easily found the industry in general. The results obtained in this work were accomplished through the use of an experimental database, and it was observed that the results of diagnoses of defects shown good results for defects in their initial phase.

O Objetivo deste trabalho foi implementar um resolvedor distribuído para o problema de satisfabilidade em lógica proposicional (SAT) que pudesse ser executado em uma grade de computadores. Foi analisada a influência que o número de máquinas utilizadas pela grade para resolver diversas instâncias do SAT exerce sobre o desempenho do resolvedor implementado / O Objetivo deste trabalho foi implementar um resolvedor distribuído para o problema de satisfabilidade em lógica proposicional (SAT) que pudesse ser executado em uma grade de computadores. Foi analisada a influência que o número de máquinas utilizadas pela grade para resolver diversas instâncias do SAT exerce sobre o desempenho do resolvedor implementado

Made available in DSpace on 2016-04-27T17:27:06Z (GMT). No. of bitstreams: 1 Arthur Heller Britto.pdf: 403242 bytes, checksum: 9ea7d542e4846499fab1760b30fe2a33 (MD5) Previous issue date: 2013-11-08 / The objective of this dissertation is first to present the fundamental part of Frege's logicist project - that became known as Frege's theorem - as an independent mathematical result in order to then evaluate its philosophical significance through a discussion of Frege's concept of logic. Besides, there are two appendixes in which a general recursion theorem is proven inside a classical second-order logical system and a neofregean construction of the real numbers from Cauchy sequences is presented / O objetivo desta dissertação e, em primeiro lugar, apresentar o núcleo fundamental do projeto logicista fregeano - o que ficou conhecido pelo nome de teorema de Frege - como um resultado matemático independente para, em seguida, avaliar o seu significado filosófico por meio da discussão acerca do conceito fregeano de logica. Além disso, este trabalho contém dois anexos, nos quais se demonstra um teorema geral de recursão dentro de um sistema clássico de logica de segunda ordem e se apresenta uma construção neofregeana dos números reais por meio de sequências de Cauchy

A partir de los Estudios Culturales Latinoamericanos, la siguiente investigación propone un abordaje que considera la migración de los bolivianos en São Paulo como un proceso social denso, complejo, donde varios aspectos económicos como subjetivos se contradicen pero a la vez se complementan, reinventando la estructura social del país de origen. La lógica de la contradicción complementación, que subyace como estrategia de interpretación en esta disertación, es la que definimos como lógica ch´ixi, siguiendo a la socióloga e historiadora aymara, Silvia Rivera Cusicanqui, teórica crítica de la subalternidad latinoamericana. El análisis del proceso migratorio boliviano a partir de lo ch´ixi posibilitó una interpretación diferente a la racionalidad dicotómica occidental o a las representaciones mediáticas miserabilistas y estigmatizantes. Este concepto fue el hilo conductor que posibilitó comprender la reinvención de las estructuras organizativas de los inmigrantes bolivianos como su abigarramiento social. Para los objetivos trazados usamos recursos metodológicos cualitativos de la etnografía como de la sociología de la imagen y la historia de vida de miembros de una comunidad tipo de inmigrantes bolivianos / Based on Latin American Cultural Studies, the following research proposes an approach that considers the migration of Bolivians in Sao Paulo as a dense, complex social process, where several economic as well as subjective aspects contradict but at the same time complement each other, reinventing the social structure of the country of origin. The logic of contradiction - complementation, which underlies as a strategy of interpretation in this dissertation, is what we define as ch\'ixi logic, following the Aymara sociologist and historian, Silvia Rivera Cusicanqui, a critical theoretician of Latin American subalternity. The analysis of the Bolivian migratory process throught the concept of ch\'ixi allowed an interpretation different from the western dichotomous rationality or the miserabilistic and stigmatizing media representations. This concept was the guiding thread that made it possible to understand the reinvention of the organizational structures of Bolivian immigrants as their social variegation. For the objectives outlined, we used qualitative methodological resources from ethnography as of the sociology of the image and the life history of members of a typical community of Bolivian immigrants

Orientador: Henrique Nunes Gonçalves / Resumo: Foi utilizada uma análise de segregação com o uso da inferência Bayesiana para se verificar a presença de genes de efeito principal (GEP) afetando duas características de carcaça: gordura intramuscular em % (GIM) e espessura de toucinho em mm (ET); e uma de crescimento, ganho de peso (g/dia) no período entre 25 a 90 kg de peso vivo (GP). Para este estudo foram usadas informações de 1.257 animais provenientes de um experimento de cruzamento de suínos machos da raça Meishan (raça chinesa) e fêmeas de linhagens holandesas de Large White e Landrace. No melhoramento genético animal, Modelos Poligênicos Finitos (MPF) podem ser uma alternativa a Modelos Poligênicos Infinitesimais (MPI) para avaliação genética de características quantitativas usando pedigris complexos. MPI, MPF e MPI combinado com MPF, foram empiricamente testados para estimar componentes de variâncias e número de genes no MPF. Para a estimação de médias marginais a posteriori de componentes de variância e parâmetros foi usado uma metodologia Bayesiana, através do uso da Cadeia de Markov, algoritmos de Monte Carlo (MCMC), via Amostrador de Gibbs e "Reversible Jump Sampler (Metropolis-Hastings)". Em função dos resultados obtidos, pode-se evidenciar quatro GEP, isto é, dois para GIM e dois para ET. Para ET, o GEP explicou a maior parte da variação genética, enquanto para GIM, o GEP reduziu significativamente a variação poligênica. Para a variação do GP não foi possível determinar a influência do GEP. As herdabilidades estimadas para GIM, ET e GP foram de 0,37, 0,24 e 0,37 respectivamente. A metodologia Bayesiana foi implementada satisfatoriamente usando o pacote computacional FlexQTLTM. Estudos futuros baseados neste experimento que usem marcadores moleculares para mapear os genes de efeito principal que afetem, principalmente GIM e ET, poderão lograr êxito. / Abstract: A Bayesian marker-free segregation analysis was applied to search for evidence of segregation genes affecting two carcass traits: Intramuscular Fat in % (IMF) and Backfat Thickness in mm (BF), and one growth trait: Liveweight Gain from approximately 25 to 90 kg liveweight, in g/day (LG). For this study 1257 animals from an experimental cross between pigs Meishan (male) and Dutch Large White and Landrace lines (female) were used. In animal breeding, Finite Polygenic Models (FPM) may be an alternative to the Infinitesimal Polygenic Model (IPM) for genetic evaluation of pedigree multiple-generations populations for multiple quantitative traits. FPM, IPM and FPM combined with IPM were empirically tested for estimation of variance components and number of genes in the FPM. Estimation of marginal posteriori means of variance components and parameters was performed by use Markov Chain Monte Carlo techniques by use of the Gibbs sampler and the reversible Jump sampler (Metropolis-Hastings). The results showed evidence for four Major Genes (MG), i.e., two for IMF and two BF. For BF, the MG explained almost all of the genetic variance while for IMF, the MG reduced the polygenic variance significantly. For LG was not found to be likely influenced by MG. The polygenic heritability estimates for IMF, BF and LG were 0.37, 0.24 and 0.37 respectively. The Bayesian methodology was satisfactorily implemented in the software package FlexQTLTM. Further molecular genetic research, based on the same experimental data, effort to map single genes affecting, mainly IMF and BF, has a high probability of success. / Doutor

Orientador: Hércules de Araújo Feitosa / Banca: Maria Cláudia Cabrini Grácio / Banca: Ítala Maria Loffredo D’Ottaviano / Resumo: Em 1999, Grácio introduziu a Lógica do Plausível como uma particularização de uma família de sistemas lógicos, caracterizados pela inclusão de um quantificador generalizado na sintaxe da lógica clássica de predicados, a saber, as Lógicas Moduladas, cuja formalização semântica é dada por um subconjunto do conjunto das partes do universo. Nesta particularização de lógica modulada, é incluído o quantificador do Plausível P, que engendra a formalização de um raciocínio indutivo de maneira que "uma 'boa parte' dos indivíduos possui determinada propriedade". O presente trabalho introduz um novo sistema dedutivo para a Lógica do Plausível, denominado TLP, construído seguindo os princípios de tableaux semânticos clássicos. Na elaboração do sistema de tableaux TLP, há uma forma original de localizar pontos nos ramos de um dado tableau. Ademais, por meio do raciocínio indutivo engendrado por esta lógica, discussões sucederam acerca da indução ser considerada um processo genuinamente lógico, tendo por ponto de partida o problema epistemológico da indução. / Abstract: The Logic of the Plausible was introduced in 1999 by Grácio as a particularization of a family of logical systems characterized by the inclusion of a generalized quantifier in the syntax of the classical logic of predicates, denominated the Modulated Logics, whose semantical interpretation is given by a subset of the power set of the universe. In this particularization of modulated logics, it is included the quantifier of Plausible P that engenders the formalization of a type of inductive reasoning so that "a 'good' number of individuals possesses certain property ". This work introduces a new deductive system for the Logic of the Plausible, denominated TLP, built according to the principles of the classical semantical tableaux. In the construction of the tableaux system TLP, an original form of locating points in the branches of any tableaux is presented. Besides, through the inductive reasoning engendered by this logic, the work also promotes discussions concerning the consideration of the induction as a genuinely logical process, beginning from the epistemological problem of the induction. / Mestre

Submitted by Marlene Santos (marlene.bc.ufg@gmail.com) on 2014-09-19T21:05:56Z No. of bitstreams: 2 Barros, Toni Cézar P. F..pdf: 1070248 bytes, checksum: c077f85b2926645e0b58a66a7f389dd4 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Cláudia Bueno (claudiamoura18@gmail.com) on 2014-09-28T02:24:15Z (GMT) No. of bitstreams: 2 Barros, Toni Cézar P. F..pdf: 1070248 bytes, checksum: c077f85b2926645e0b58a66a7f389dd4 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2014-09-28T02:24:15Z (GMT). No. of bitstreams: 2 Barros, Toni Cézar P. F..pdf: 1070248 bytes, checksum: c077f85b2926645e0b58a66a7f389dd4 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2014-02-17 / There are two questions about deontic logic that appear frequently in the literature on the subject. The first concerns the legitimacy and the second the deontic paradoxes. The first of these, however, is not the main concern of this paper, we assume, alongside Castañeda the thesis that there are logical relationships, not only between propositions, but also among imperatives and norms. Thus, the main focus of this paper will be to investigate deontic paradoxes, and in particular, the Castañeda‟s solution. This solution involves a distinction between propositions and practitions as well as between imperatives and norms. We also show the advantage of this solution compared to other solution named scope deontic operator. Finally, we analyze Lou Goble‟s criticism to Castañeda‟s solution and objections to this criticism. / Há duas questões acerca da lógica deôntica que aparecem com frequência na literatura sobre o tema. A primeira diz respeito à sua legitimidade e a segunda aos paradoxos deônticos. A primeira destas, entretanto, não é a principal preocupação deste trabalho: assumiremos, ao lado de Castañeda, a tese que há relações lógicas, não somente entre proposições, mas também entre imperativos e entre normas. Assim, o foco principal deste texto consistirá em investigar o problema dos paradoxos deônticos e, em particular, a proposta de solução de Castañeda aos mesmos. Tal solução envolve a distinção entre proposições e practições, bem como entre imperativos e normas. Também mostraremos a vantagem desta solução em relação às outras, denominadas de soluções de escopo do operador deôntico. E, por fim, analisaremos a crítica de Lou Goble à solução de Castañeda e objeções a esta crítica.