Resumo: 0 método das conexões de Bibel é uma alternativa ao método de resolução e vem sendo aplicado a vários sistemas lógicos, incluindo fragmentos da lógica linear, lógica intuicionista e várias lógicas modais. Em um trabalho anterior, o método das conexões de Bibel foi estendido para um tipo de lógica paraconsistente, chamada de lógica anotada. Neste trabalho o método do trabalho anterior é estendido tornando as definições mais adequadas à implementação. Um procedimento que melhora a eficiência do método das conexões de Bibel é apresentado e uma implementação do método é desenvolvida na linguagem SML. Os agentes inteligentes e sistemas especialistas podem utilizar métodos de prova em seus módulos raciocinadores para derivar conclusões de uma base de conhecimentos. A lógica anotada trata uma base de conhecimentos inconsistente de modo adequado. Um exemplo ilustrativo de uso de uma base de conhecimentos inconsistente em um sistema médico é automatizado através da implementação. Por fim, uma comparação de eficiência é apresentada.

Orientador: Marcos Benevenuto Jardim / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-17T21:21:11Z (GMT). No. of bitstreams: 1 Santos_RodrigoPiresdos_M.pdf: 1008454 bytes, checksum: e5ec1fd87b26efb201ece05c20531374 (MD5) Previous issue date: 2011 / Resumo: Apresentamos uma introdução aos conceitos de geometria complexa necessários à compreensão da correspondência Hitchin-Kobayashi. Enunciamos e provamos que todo fibrado que admite uma conexão de Hermite-Einstein é poliestável. Em seguida, discutimos resultados sobre Q-fibrados e enunciamos uma correspondência Hitchin-Kobayashi para esse caso. Por último, temos um resultado do autor que relaciona a estabilidade de fibrados com a estabilidade de Q-fibrados / Abstract: We present an introduction to the concepts of complex geometry necessary to the comprehension of the Hitchin-Kobayashi correspondence. We state and prove that every holomorphic vector bundle which admits a Hermite-Einstein connexion is polystable. Then, we discuss results regarding quiver bundles and state a Hitchin-Kobayashi correspondence for this case. Finally, we state and prove an author's result which relates the stability of vector bundles with the stability of quiver bundles / Mestrado / Geometria Diferencial / Mestre em Matemática

Orientador: Marcos Benevenuto Jardim / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-22T22:29:57Z (GMT). No. of bitstreams: 1 Branco_LucasMagalhaesPereiraCastello_M.pdf: 1981391 bytes, checksum: 7ecd7674514f634b8bb527c0bcab1a06 (MD5) Previous issue date: 2013 / Resumo: Neste trabalho os aspectos básicos da teoria de calibre são abordados, incluindo as noções de conexão e curvatura em fibrados principais e vetoriais, considerações sobre o grupo de transformações de calibre e o espaço de moduli de soluções para a equação anti-auto-dual em dimensão quatro (o espaço de moduli de instantons). Posteriormente, mapas momento e redução são introduzidos. Primeiramente, no contexto clássico de geometria simplética e depois no contexto de geometria hyperkähler. Por fim, são apresentadas aplicações da teoria de mapas momento e redução em teoria de calibre. As equações ADHM são introduzidas e mostra se que estas podem ser dadas como o conjunto de zeros de um mapa momento hyperkähler. Além disso, considerações são feitas acerca da construção ADHM de instantons, que relaciona soluções dessas equações com as soluções da equação de anti-auto-dualidade. O espaço de moduli de conexões planas é também abordado. Neste caso, a curvatura é vista como um mapa momento e os cálculos podem ser generalizados para o espaço de moduli de conexões planas sobre variedades Kähler de dimensões mais altas e para o espaço de moduli de instantons sobre variedades hyperkähler de dimensão quatro / Abstract: In this work it is developed the basic concepts of gauge theory, including the notions of connections and curvature on principal bundles and vector bundles, considerations on the group of gauge transformations and the moduli space of anti-self-dual connections in dimension four (the instanton moduli space). After, moment maps and reduction are introduced. First in the classical context of symplectic geometry, then in hyperkähler geometry. At last, applications to the theory of moment maps and reduction in gauge theory are given. The ADHM equations are introduced and it is shown that solutions to these equations can be given by the zeros of a hyperkähler moment map. Furthermore, the ADHM construction, that relates the ADHM equations to instanton solutions, is discussed. The moduli space of flat connections over a Riemann surface is also treated. In this case, the curvature is seen as a moment map and the calculations can be generalized to flat connections over higher-dimensional Kähler manifolds and to the instanton moduli space over four dimensional hyperkähler manifolds / Mestrado / Matematica / Mestre em Matemática

Orientador: Pedro Jose Catuogno / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-09T00:50:27Z (GMT). No. of bitstreams: 1 Stelmastchuk_SimaoNicolau_D.pdf: 537546 bytes, checksum: f06c81c8cd3b758c84d267af8373abdd (MD5) Previous issue date: 2007 / Resumo: Neste trabalho estudamos os martingales no fibrado de bases e suas relações com os martingales no fibrado tangente. Caracterizamos as aplicações harmônicas a valores no fibrado de bases e as relacionamos com as aplicações harmônicas a valores no fibrado tangente. Numa segunda parte estudamos a harmonicidade das seções de um fibrado via geometria estocástica. Seja P(M;G) um fibrado principal e E(M;N; G; P) um fibrado associado a P(M;G). Entre outros resultados obtemos que: uma seção s : M - E é harmônica se, e somente se, o seu levantamento eqüivariante Fs : P - N é horizontalmente harmônico; e se a ação à esquerda de G × N em N não fixa pontos então não existe seção s : M - E harmônica ou toda seção harmônica é nula / Abstract: Neste trabalho estudamos os martingales no fibrado de bases e suas relações com os martingales no fibrado tangente. Caracterizamos as aplicações harmônicas a valores no fibrado de bases e as relacionamos com as aplicações harmônicas a valores no fibrado tangente. Numa segunda parte estudamos a harmonicidade das seções de um fibrado via geometria estocástica. Seja P(M;G) um fibrado principal e E(M;N; G; P) um fibrado associado a P(M;G). Entre outros resultados obtemos que: uma seção s : M - E é harmônica se, e somente se, o seu levantamento eqüivariante Fs : P - N é horizontalmente harmônico; e se a ação à esquerda de G × N em N não fixa pontos então não existe seção s : M - E harmônica ou toda seção harmônica é nula / Doutorado / Geometria Estocastica / Doutor em Matemática

Orientador: Marcos Benevenuto Jardim / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-19T09:52:31Z (GMT). No. of bitstreams: 1 DeMartino_MarceloGoncalves_M.pdf: 1604556 bytes, checksum: be41ad6ca9fd66921624adce95bf0939 (MD5) Previous issue date: 2012 / Resumo: Este trabalho procurou apresentar os conhecimentos básicos necessários para trabalhar com a teoria de calibre em baixas dimensões e também mostrar algumas aplicações da mesma. Na parte básica da teoria, além de comentar aspectos da teoria de Hodge para variedades compactas, também se discute, com certo nível de detalhes, os conceitos de fibrados vetoriais e conexões, com ênfase dada para os cálculos locais com conexões e curvaturas. Duas aplicações mais concretas da teoria de calibre são apresentadas nesta dissertação. Primeiro, em dimensão quatro, discute-se a equação de Yang-Mills sobre 4-variedades e é apresentada uma solução para a equação anti-auto-dual, solução esta que é conhecida na literatura como ansatz de 't Hooft. Por fim, é apresentada a prova, baseado no artigo [DONALDSON, 1983], de um importante teorema devido a M. S. Narasimhan e C. S. Seshadri que relaciona os conceitos de estabilidade com o de existência de conexão unitária satisfazendo certa propriedade, em fibrados vetoriais complexos sobre superfícies de Riemann / Abstract: In this work it is developed the basic knowledge required to deal with gauge theory in low dimension and it is shown some applications of this theory. Regarding the basic knowledge, apart from discussing some aspects of Hodge theory over compact manifolds, it is also covered, with a certain deal of details, the concepts of vector bundles and connections, paying close attention to the local computations regarding connections and curvature. As for the applications of the theory, we start, in dimension four, by treating the Yang-Mills equation over 4-manifolds and it is showed a solution to the anti-self-dual Yang-Mills equation, solution that is known in the literature as the 't Hooft ansatz. At last, it is given a proof, following the paper [DONALDSON, 1983], of an important theorem due to M. S. Narasimhan and C. S. Seshadri that relates the algebro-geometric notion of stability to the differential-geometric notion of existence of unitary connection whose curvature satisfies a certain condition, on vector bundles over Riemann surfaces / Mestrado / Matematica / Mestre em Matemática