Made available in DSpace on 2014-12-17T15:47:46Z (GMT). No. of bitstreams: 1 HelidaSS.pdf: 334424 bytes, checksum: 422d5bbc96e55f5ae734f2475813b59f (MD5) Previous issue date: 2008-02-15 / Monoidal logic, ML for short, which formalized the fuzzy logics of continuous t-norms and their residua, has arisen great interest, since it has been applied to fuzzy mathematics, artificial intelligence, and other areas. It is clear that fuzzy logics basically try to represent imperfect or fuzzy information aiming to model the natural human reasoning. On the other hand, in order to deal with imprecision in the computational representation of real numbers, the use of intervals have been proposed, as it can guarantee that the results of numerical computation are in a bounded interval, controlling, in this way, the numerical errors produced by successive roundings. There are several ways to connect both areas; the most usual one is to consider interval membership degrees. The algebraic counterpart of ML is ML-algebra, an interesting structure due to the fact that by adding some properties it is possible to reach different classes of residuated lattices. We propose to apply an interval constructor to ML-algebras and some of their subclasses, to verify some properties within these algebras, in addition to the analysis of the algebraic aspects of them

Made available in DSpace on 2016-06-02T19:05:26Z (GMT). No. of bitstreams: 1 1634.pdf: 2033754 bytes, checksum: ef58063d765aca814c3608c0828d4965 (MD5) Previous issue date: 2007-06-22 / Financiadora de Estudos e Projetos / As availability of data from several areas of knowledge grows, it is even more necessary to develop effective techniques to retrieve the desired information, aiming to reduce irrelevant answers and ensure that relevant results are not ignored. Considering this context, we present the FOQuE system, developed to perform query expansion in order to retrieve semantically relevant and broad results. Based on fuzzy ontologies, this system is able to obtain approximate results that satisfy user requirements according to expansion parameters defined by the user. The additional answers retrieved by the FOQuE system are classified according to the semantic expansion performed and the relevance to the query, therefore it is possible to improve results that are presented to the user. / Diante da crescente facilidade de acesso a dados de diversas áreas do conhecimento, cada vez mais são necessárias técnicas eficazes para recuperar a informação desejada, visando reduzir respostas irrelevantes e assegurar que resultados relevantes não sejam desprezados. Dentro deste contexto, este trabalho apresenta o sistema FOQuE, desenvolvido para realizar diversos tipos de expansão de consultas com o intuito de recuperar resultados semanticamente relevantes e abrangentes. Baseado em ontologias difusas, este sistema é capaz de obter resultados aproximados que satisfaçam aos requisitos do usuário, de acordo com parâmetros de expansão especificados por ele. As respostas adicionais recuperadas pelo sistema FOQuE são classificadas segundo o tipo de expansão realizada e a relevância para a consulta, melhorando, assim, a forma como os resultados são apresentados ao usuário.

Made available in DSpace on 2015-03-03T15:47:48Z (GMT). No. of bitstreams: 1 AdrianoAD_DISSERT.pdf: 771338 bytes, checksum: 06adea5feab9914c5a48eb146511b556 (MD5) Previous issue date: 2013-11-19 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / I thank to my advisor, Jo?o Marcos, for the intellectual support and patience that devoted me along graduate years. With his friendship, his ability to see problems of the better point of view and his love in to make Logic, he became a great inspiration for me. I thank to my committee members: Claudia Nalon, Elaine Pimentel and Benjamin Bedregal. These make a rigorous lecture of my work and give me valuable suggestions to make it better. I am grateful to the Post-Graduate Program in Systems and Computation that accepted me as student and provided to me the propitious environment to develop my research. I thank also to the CAPES for a 21 months fellowship. Thanks to my research group, LoLITA (Logic, Language, Information, Theory and Applications). In this group I have the opportunity to make some friends. Someone of them I knew in my early classes, they are: Sanderson, Haniel and Carol Blasio. Others I knew during the course, among them I?d like to cite: Patrick, Claudio, Flaulles and Ronildo. I thank to Severino Linhares and Maria Linhares who gently hosted me at your home in my first months in Natal. This couple jointly with my colleagues of student flat Fernado, Don?tila and Aline are my nuclear family in Natal. I thank my fianc?e Lucl?cia for her precious a ective support and to understand my absence at home during my master. I thank also my parents Manoel and Zenilda, my siblings Alexandre, Paulo and Paula.Without their confidence and encouragement I wouldn?t achieve success in this journey. If you want the hits, be prepared for the misses Carl Yastrzemski / Esta disserta??o trata do enriquecimento de l?gicas modais. O termo enriquecimento ? usado em dois sentidos distintos. No primeiro deles, de fundo sem?ntico, propomos uma sem?ntica difusa para diversas l?gicas modais normais e demonstramos um resultado de completude para uma extensa classe dessas l?gicas enriquecidas com m?ltiplas inst?ncias do axioma da conflu?ncia. Um fato curioso a respeito dessa sem?ntica ? que ela se comporta como as sem?nticas de Kripke usuais. O outro enriquecimento diz respeito ? expressividade da l?gica e se d? por meio da adi??o de novos conectivos, especialmente de nega??es modais. Neste sentido, estudamos inicialmente o fragmento da l?gica cl?ssica positiva estendido com uma nega??o modal paraconsistente e mostramos que essa linguagem ? forte o suficiente para expressar as linguagens modais normais. Vemos que tamb?m ? poss?vel definir uma nega??o modal paracompleta e conectivos de restaura??o que internalizam as no??es de consist?ncia e determina??o a n?vel da linguagem-objeto. Esta l?gica constitui-se em uma L?gica da Inconsist?ncia Formal e em uma L?gica da Indetermina??o Formal. Em tais l?gicas, com o objetivo de recuperar infer?ncias cl?ssicas perdidas, demonstram-se Teoremas de Ajuste de Derivabilidade. No caso da l?gica estendida com uma nega??o paraconsistente, se removermos a implica??o ainda lidaremos com uma linguagem bastante rica, com ambas nega??es paranormais e seus respectivos conectivos de restaura??o. Sobre esta linguagem estudamos a l?gica modal normal minimal definida por meio de um c?lculo de Gentzen apropriado, ? diferen?a dos demais sistemas estudados at? ent?o, que s?o apresentados via c?lculo de Hilbert. Em seguida ap?s demonstrarmos a completude do sistema dedutivo associado a este c?lculo, introduzimos algumas extens?es desse sistema e buscamos Teoremas de Ajuste de Derivabilidade adequados

In our region, heavy rains may occur virtually everywhere. Nowadays there are instruments to predict these events in sufficient advance, but without precise localisation, which is a problem. Present instruments for searching endangered watersheds are focused on operative evaluation of meteorological situation and actual precipitation forecast processing (nowcasting). The thesis brings quite different approach. Potentially endangered areas are detected with evaluation of long-term statistical variables (N-year discharges and rain characteristics) and properties of specific watershed. The whole issue is handled out of situation of actual danger, this attitude is so called off-line solution. The thesis describes a model based on selected artificial intelligence methods. The model forms the core of final map application. The use of model and final application is supposed to be used in area of preventive flood protection, and related investment decision-making. The model focuses on heavy rains and flash floods.