En esta tesis se presentan formalismos para modelar la dinámica de conocimiento en bases de creencias de agentes que son parte de un sistema multi-agente. En el contexto de sistemas multi-agente, un agente puede a menudo recibir información a través de informantes. Estos informantes son agentes independientes que tienen sus propios intereses y, por lo tanto, podrían no ser completamente fiables. Es natural para un agente creerle más a un informante que a otro. Es por esto que en nuestro trabajo se propondrá la organización de los informantes en un orden parcial que compara la credibilidad de los mismos. De esta manera, esta tesis se enfoca en revisión de creencias con múltiples fuentes (MSBR: Multi-Source Belief Revision), proponiendo un modelo completo de cambio basado en informantes. La dinámica del conocimiento es modelada por la teoría de cambio de creencias, la cual busca mostrar cómo quedan constituidas las creencias de un agente después de recibir cierta información externa. Existen diferentes modelos de cambio en la teoría de cambio de creencias. Uno de sus principales referentes, el modelo AGM [AGM85], distingue claramente tres operaciones de cambio: expansiones, contracciones y revisiones. La operación de expansión es la más simple de caracterizar desde el punto de vista lógico, pues consiste solamente en la adición de nuevas creencias. Sin embargo, las contracciones y revisiones no tienen esta propiedad. Las contracciones involucran la eliminación de creencias, mientras que las revisiones involucran tanto la adición como la eliminación de creencias. El orden parcial de credibilidad entre agentes no necesita permanecer estático, ya que el agente puede decidir actualizar su relación de orden parcial para reflejar una nueva percepción de la credibilidad de un informante. Es por esto que otro de los objetivos de esta tesis es el estudio y desarrollo de técnicas y formalismos para la actualización del grado de credibilidad que se le asigna a un agente por interactuar en el marco de un sistema multi-agente. Aquí también estudiamos operadores de cambio, no sobre creencias (como mencionamos antes), sino sobre orden parcial de credibilidad. Con estos operadores se puede modelar la dinámica de sistemas de confianza y reputación. Por lo tanto, la investigación también se enfocará en la caracterización y desarrollo de operadores de cambio que permitan modelar la dinámica de la confianza y reputación de agentes en un sistema. De esta manera, los agentes podrán actualizar la relación de orden con la cual se representa la reputación de sus pares. Así, estos operadores podrán ser usados para alterar dinámicamente la estructura de la credibilidad de los informantes a fin de reflejar una nueva percepción de la credibilidad de un informante o la llegada de un nuevo agente al sistema. En resumen, se pretende combinar formalismos de revisión de creencias y actualización de conocimiento con técnicas de mantenimiento de confianza y reputación de agentes en un ambiente distribuido para representar la dinámica de órdenes parciales de credibilidad. / Tesis doctoral del Departamento de Ciencias e Ingeniería de la Computación (Universidad Nacional del Sur). Grado alcanzado: Doctor en Ciencias de la Computación. Director de tesis: Alejandro J. García y Marcelo A. Falappa. La tesis, presentada en el año 2010, obtuvo el Premio "Dr. Raúl Gallard" en el 2012.

Made available in DSpace on 2016-12-12T20:15:51Z (GMT). No. of bitstreams: 1 Samuel.pdf: 168206 bytes, checksum: 40d95c0a09ac92adcf9bcbad607d64e9 (MD5) Previous issue date: 2015-02-23 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The world formulation of the full theory of classical Proca .elds in generally relativistic spacetimes is reviewed. Subsequently the entire set of .eld equations is transcribed in a straightforward way into the framework of one of the Infeld-van der Waerden formalisms. Some well-known calculational techniques are then utilized for deriving the wave equations that control the propagation of the .elds allowed for. It appears that no interaction couplings between such .elds and electromagnetic curvatures are ultimately carried by the wave equations at issue. What results is, in e¤ect, that the only interactions which occur in the theoretical context under consideration involve strictly Proca .elds and wave functions for grávitons. / A teoria de campos clássicos de Proca em espaços-tempo curvos sem torção é apresentada. Em particular, deduzir-se-á a equação de onda covariante mundo para um potencial de Proca. Uma versão da teoria em termos de espinores de duas componentes é subsequentemente exibida levando-se a cabo uma transcrição direta para o contexto de um dos formalismos espinoriais de Infeld e van der Waerden. Algumas técnicas calculacionais bem conhecidas serão subsequentemente utilizadas para derivar as equações de onda que controlam a propagação dos campos. Estes procedimentos sugerem que nas equações de onda resultantes não ocorre interação entre os campos externos e curvaturas eletromagnéticas. O que resulta é, com efeito, que a única interação que ocorre nesse contexto teórico envolve estritamente os campos de Proca e funções de onda para grávitons.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-06-28T14:31:27Z No. of bitstreams: 1 lucianamirandavieiraxavier.pdf: 351536 bytes, checksum: f476ea35c3ced7fc7f8315f85d076f6e (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-08-07T21:18:56Z (GMT) No. of bitstreams: 1 lucianamirandavieiraxavier.pdf: 351536 bytes, checksum: f476ea35c3ced7fc7f8315f85d076f6e (MD5) / Made available in DSpace on 2017-08-07T21:18:56Z (GMT). No. of bitstreams: 1 lucianamirandavieiraxavier.pdf: 351536 bytes, checksum: f476ea35c3ced7fc7f8315f85d076f6e (MD5) Previous issue date: 2009-02-27 / FAPEMIG - Fundação de Amparo à Pesquisa do Estado de Minas Gerais / Nesta tese, revisa-se os principais métodos de quantização de sistemas vinculados a partir das técnicas Hamiltoniana de Dirac e Lagrangeana de Faddev-Jackiw ( sem vínculos) e sua extenção a de Barcelos Neto- Wotzasek (com vínculos), estes denominados simplesmente por Formalismo Simplético (FS). Em vista da correspondência entre os formalismos, eles serão aplicados ao Modelo de Skyrme SU(2) e ao Eletromagnetimo de Maxwell. Apresenta-se uma técnica contemporânea, que mergulha uma teoria de segunda classe em uma dual com invariância de calibre, a saber, o Formalismo Simplético de Imersão (FSI). Esse método baseia-se no FS e estende-se o espaço de configuração por meio das variáveis de Wess-Zumino. Para ilustrar esse FSI, constroi-se a eletrodinâmica de Maxwell como uma teoria de calibre, na qual as divergências clássicas não estejam presentes. Uma generalização relativística é a eletrodinâmica de Proca e de Chern-Simons, que consideram a possibilidade de existência de um fóton massivo e de um campo com alcance finito. A descrição dual reproduz o mesmo resultado encontrado na literatura através de outros métodos. Apesar da arbitrariedade dos geradores da simetria de calibre, os modos-zeros, mostram uma família de representações dinâmicas duais para o sistema em questão. / In this thesis, it will be revised the main quantization methods of constrained systems using the Dirac Hamiltonian method and Faddev-Jackiw Lagrangian techniques (without constrained), and its extension to the Barcelos Neto- Wotzasek Lagrangian method (with constrained), these known as Symplectic Formalism. Because of the correspondence among the formalisms, they will be applied of the Skyrme SU(2) model and Electromagnetism of Maxwell. It will be presented a contemporary technique that it embed a second class theory in a dual with gauge invariance, the Embedding Symplectic Formalism . This method is based on the Symplectic Formalism, it is extended the configuration space through Wess-Zumino variables. In order to illustrate this Embedding Symplectic Formalism, the Maxwell electrodynamics is built as a gauge theory, without the classic differences. A relativistic generalization is the Proca and Chern-Simons electrodynamics that consider the possibility of existence of a massive photon and a field with finite reach. The dual description reproduce the identic result reported in the literature using other methods. Although, the arbitrariness of the gauge symmetry generator, zero-mode, it reveals a family of dynamic dual representations to this system.

Made available in DSpace on 2016-12-12T20:15:50Z (GMT). No. of bitstreams: 1 Karla Weber.pdf: 792478 bytes, checksum: 5ad5bec34e3e16a7e56322ccf40af568 (MD5) Previous issue date: 2014-03-18 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this work we will show that the wave equations for any twistor fields carrying a single index, which occur in the frameworks of the Infeld-van der Waerden γ formalisms for General Relativity, must be formally the same. This result stems mainly from the fact that the spinor transcription of the traditional conformal Killing equation provides twistor equations of the same form. A consequence of this result is that the usual γ formalism covariant differential devices for controlling valences of spinor-index configurations turn out to be inapplicable as regards the speciation of the formal patterns for the wave equations under consideration here. / Mostraremos neste trabalho que as equações de onda para quaisquer campos twistoriais de um único índice, as quais ocorrem no contexto dos formalismos espinoriais γ de Infeld e van der Waerden para a Relatividade Geral, devem ser formalmente as mesmas. Este resultado decorre essencialmente do fato que a transcrição espinorial da tradicional equação conforme de Killing fornece equações twistoriais da mesma forma. Uma conseqüência deste resultado e que os dispositivos diferenciais covariantes do formalismo γ, os quais usualmente servem para controlar valências de conjurações indiciais, tornam-se inaplicáveis no que concerne a obtenção dos padrões formais das equações de onda sob consideração aqui.

Com a crescente complexidade das aplicações e sistemas computacionais, atualmente tem se tornado importante o uso de formalismos de várias naturezas na representação e modelagem de problemas complexos, como os sistemas reativos e concorrentes. Este trabalho apresenta uma contribuição na Tecnologia Adaptativa e uma nova técnica no desenvolvimento de uma aplicação para execução de alguns tipos de jogos, (General Game Playing), cuja característica está associada à capacidade de o sistema tomar conhecimento das regras do jogo apenas em tempo de execução. Com esse trabalho, amplia-se a classe de problemas que podem ser estudados e analisados sob a perspectiva da Tecnologia Adaptativa, através dos Dispositivos Adaptativos Cooperantes. A aplicação desenvolvida como exemplo neste trabalho introduz uma nova ótica no desenvolvimento de aplicações para jogos gerais (GGP) e abre novos horizontes para a aplicação da Tecnologia Adaptativa, como a utilização das regras para extração de informação e inferência. / The complexity of computer applications has grown so much that several formalisms of different kinds became important nowadays. Many systems (e.g. reactive and concurrent ones) employ such formalisms to represent and model actual complex problems. This work contributes to the field of Adaptive Technology, and proposes a new approach for developing general game playing system, whose feature is the capability to play a game by acknowledging the game rules only at run time. This work expands the set of problems that can be studied and analyzed under the Adaptive Technology perspective, by means of cooperating adaptive devices. The developed application used a new approach for general game playing development bringing and widens the application field of Adaptive Technology with subjects related to information extraction and inference based in the devices rules.

Com a crescente complexidade das aplicações e sistemas computacionais, atualmente tem se tornado importante o uso de formalismos de várias naturezas na representação e modelagem de problemas complexos, como os sistemas reativos e concorrentes. Este trabalho apresenta uma contribuição na Tecnologia Adaptativa e uma nova técnica no desenvolvimento de uma aplicação para execução de alguns tipos de jogos, (General Game Playing), cuja característica está associada à capacidade de o sistema tomar conhecimento das regras do jogo apenas em tempo de execução. Com esse trabalho, amplia-se a classe de problemas que podem ser estudados e analisados sob a perspectiva da Tecnologia Adaptativa, através dos Dispositivos Adaptativos Cooperantes. A aplicação desenvolvida como exemplo neste trabalho introduz uma nova ótica no desenvolvimento de aplicações para jogos gerais (GGP) e abre novos horizontes para a aplicação da Tecnologia Adaptativa, como a utilização das regras para extração de informação e inferência. / The complexity of computer applications has grown so much that several formalisms of different kinds became important nowadays. Many systems (e.g. reactive and concurrent ones) employ such formalisms to represent and model actual complex problems. This work contributes to the field of Adaptive Technology, and proposes a new approach for developing general game playing system, whose feature is the capability to play a game by acknowledging the game rules only at run time. This work expands the set of problems that can be studied and analyzed under the Adaptive Technology perspective, by means of cooperating adaptive devices. The developed application used a new approach for general game playing development bringing and widens the application field of Adaptive Technology with subjects related to information extraction and inference based in the devices rules.