Submitted by Aline Batista (alinehb.ufpel@gmail.com) on 2018-04-18T14:21:35Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_Rosana_Medina_Zanotelli.pdf: 897398 bytes, checksum: 53b6f15a010386648223058dfc32101b (MD5) / Approved for entry into archive by Aline Batista (alinehb.ufpel@gmail.com) on 2018-04-19T14:42:08Z (GMT) No. of bitstreams: 2 Dissertacao_Rosana_Medina_Zanotelli.pdf: 897398 bytes, checksum: 53b6f15a010386648223058dfc32101b (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-04-19T14:42:21Z (GMT). No. of bitstreams: 2 Dissertacao_Rosana_Medina_Zanotelli.pdf: 897398 bytes, checksum: 53b6f15a010386648223058dfc32101b (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2015-04-28 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Esta dissertação contribui com a análise da robustez na Lógica Fuzzy, como uma importante fundamentação para modelagem e desenvolvimento de sistemas robustos, estendendo esta abordagem para a lógica intuicionista de Atanassov. Primeiramente, apresenta-se uma introdução à lógica fuzzy, discutindo as negações, funções de agregações, implicações e coimplicações fuzzy, incluindo também os conectivos Xor e derivações. O trabalho também considera a análise da -sensibilidade destes conectivos fuzzy e suas construções duais, essencialmente focados em propriedades algébricas e projeções. Começando com a avaliação da sensibilidade de conectivos fuzzy, a proposta estende os resultados para classes de conectivos fuzzy intuicionistas. Como principal contribuição, formalmente estabelece-se que a robustez preserva as construções duais e as funções de projeção relacionadas a conectivos fuzzy intuicionistas representáveis. Mostra-se que a extensão, do trabalho científico proposto por Y. Li e colaboradores, 2005 em "An Approach to Measure the Robustness of Fuzzy Reasoning", para a classe de conectivos fuzzy intuicionistas é preservada pelas construções duais. A presente pesquisa mostra que a análise de robustez pode ser diretamente verificada a partir de operadores fuzzy usando duas estratégias: (i) a -sensibilidade de operadores fuzzy baseada na análise da monotonicidade de seus argumentos (negações, agregações, implicações e coimplicações); e ainda (ii) a avaliação do comportamento dos operadores fuzzy nos pontos terminais do intervalo unitário, onde a monotonicidade não pode ser aplicada (conectivos Xor, XNor, bi-implicações e bi-coimplicações). / This dissertation contributes to the robustness analysis in fuzzy logic as an important founding for modeling and developing robust systems, extending such approach to the Atanassov’s intuitionistic fuzzy sets. It begins with the introduction of fuzzy logic, discussing negations, aggregation functions, fuzzy implications and bi-implications, also including Xor connectives and derivations. It also considers the -sensitivity analysis of these fuzzy connectives and their dual constructions from a few essentials such as properties and projections. Starting with an evaluation of the sensitivity in representable fuzzy connectives, the results are applied in the intuitionistic connective classes. The main result formally states that the robustness preserves the projection functions of representable intuitionistic fuzzy connectives. It shows an extension of the work in Y. Li et al, 2005 "An Approach to Measure the Robustness of Fuzzy Reasoning" for the class of intuitionistic fuzzy connectives, showing that the robustness of intuitionistic fuzzy sensitivity is preserved by dual constructions. The present research states that robustness analysis of intuitionistic fuzzy operators can be directly verified from fuzzy operators using two strategies: (i) the -sensitivity analysis of fuzzy connectives based on monotonicity of their arguments (negations, aggregations, implications and coimplications); and, otherwise (ii) the evaluation of the behaviour related to fuzzy connectives in endpoints of the unit interval, when the monotonicity property is not applied (Xor, XNor, bi-implications e bi-coimplications fuzzy operators).

O presente trabalho tem duplo objetivo, prático e teórico. Em termos práticos, busca sistematizar as discussões sobre a responsabilização dos militares e do Estado por acontecimentos do regime militar, bem como sobre a busca da verdade e a preservação da memória. Destacam-se nas discussões os acontecimentos da Guerrilha do Araguaia. Em termos teóricos, tem a intenção de apresentar uma exposição compreensiva da Teoria da Argumentação, tentando adaptá-la, na medida do possível, às necessidades da Argumentação Jurídica. Para cumprir esse duplo objetivo, o trabalho aplica a Teoria da Argumentação às discussões sobre o regime militar almejando benefícios para a teoria e para a prática. Desse modo, o trabalho inicia apresentando os principais conceitos e ferramentas da Teoria da Argumentação. Em seguida, realiza algumas adaptações das ferramentas para que sejam utilizadas na argumentação jurídica. Por fim, utilizando os conceitos e ferramentas expostos e adaptados, apresenta o Mapa Argumentativo dos debates sobre o regime militar, com destaque para as discussões sobre a possibilidade de responsabilizar criminalmente os militares por torturas, execuções e desaparecimentos forçados. São levados em consideração especialmente os aspectos fáticos do caso da Guerrilha do Araguaia e argumentos levantados pelo STF no julgamento da ADPF 153 e pela Corte Interamericana de Direitos Humanos no Caso Gomes Lund (Guerrilha do Araguaia) v. Brasil. A dissertação conclui que os militares não foram beneficiados pela Lei de Anistia e aponta para a continuidade dos debates tanto sobre o aspecto criminal quanto outros problemas identificados no Mapa. Na parte teórica, chama-se atenção para a necessidade de continuar o estudo da Teoria da Argumentação e de adaptá-la às necessidades da Argumentação Jurídica. / This dissertation has two objectives: a practical and a theoretical one. The practical objective is to organize discussions concerning the responsibility of the State and the Military due to events occurred in the Brazilian Military Government, as well as discussions about the search for the historical truth and preservation of its memory. Special attention is draw upon the Araguaias Guerilla. Theoretically, the work intends to present the main aspects of Argumentation Theory trying to adapt it - as long as possible - to be used in Legal Argumentation. To fulfill this double objective, one applies Argumentation Theory to the Military Government events discussions aiming for benefits both for theory and practice. Hence, it begins presenting the essential concepts and tools of Argumentation Theory. It follows with the tools adaptations to Legal Argumentation. Finally, the Argumentation Map of the discussions is presented. The problem whether the most severe crimes of the military personnel (tortures and executions for instance) were amnestied is dealt with in greater detail. The events of Araguaias Guerrilla, the arguments of Brazilian Supreme Court in ADPF 153 and the arguments of the Inter-American Court of Human Rights in Gomes Lund v Brazil Case are all given special attention. The dissertation concludes that the military (States agents) were not amnestied. It also points out the next steps in the discussions. As for the theoretical concerns, the conclusion draws attention to the importance of studying and developing Argumentation Theory in connection with Legal Argumentation.

Este trabalho dedica-se ao ramo da Semiótica que Charles S. Peirce chamou de Gramática Especulativa: o estudo das condições formais para que um Signo funcione como tal, o levantamento dos tipos possíveis de Classes de Signos e sua classificação. A Gramática Especulativa é o primeiro ramo da Semiótica, a Lógica o segundo e a Comunicação o terceiro. Um tratamento semiótico frutuoso da Comunicação depende, portanto, de que a Gramática e a Lógica estejam suficientemente desenvolvidas. Esta foi a motivação deste trabalho. Depois de uma introdução geral sobre Peirce e o desenvolvimento de Semiótica, apresentamos uma proposta de geração de 66 Classes de Signos e sua classificação numa Tabela Periódica. Discutimos brevemente cada uma das Classes de Signos e fazemos algumas considerações sobre como esta tabela pode ajudar a resolver alguns problemas da Lógica e a construir uma Teoria da Comunicação formalmente semiótica. / This work is dedicated to the branch of Semiotic that Charles S. Peirce called Speculative Grammar: the study of the formal conditions that enable a Sign to function as such, the survey of all possible types of Signs and their ordered classification. The Speculative Grammar is the first branch of Semiotic, Logic is the second and Communication is its third one. A fruitful semiotic treatment of the Communication depends, therefore, on that the Grammar and Logic are sufficiently developed. This was the motivation of this work. After an introduction about Peirce and the development of his Theory of Signs, we present a proposal for a generation of 66 Classes of Signs and make some considerations on how this table could help to solve some problems of Logic and to construct of a formally semiotic Theory of Communication.

Esta tesis acepta el carácter polimórfico del pragmatismo, acepta de buen grado que se trata siempre de una orientación más que de una escuela de pensamiento. Y al hacerlo constituye una nueva herejía, una hipótesis que está a mitad de camino de la interpretación ecuménica de William James y la más sediciosa de Charles Peirce. Intenta encontrar aquellas tesis que hacen del pragmatismo un nuevo nombre para una vieja forma de conducir la polémica acerca del realismo.

Este trabalho propõe-se a descrever uma metodologia para avaliação do sistema de educação fundamental do Estado do Rio de Janeiro, que utiliza a teoria dos conjuntos nebulosos como base, no processo de inferência para geração do Indicador Avaliação do Sistema Educacional (IASE). A base de dados utilizada para criação do indicador IASE foi extraída de dados obtidos do Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira (INEP). Em seguida, os resultados obtidos são apresentados em um Sistema de informação Geográfica (SIG) possibilitando compreender a correlação de valores alfanuméricos e espacial das informações geradas no sistema nebuloso, de modo apoiar a tomada de decisão das ações governamentais no setor. / This study aims to describe a methodology to evaluate the system of primary education in the State of Rio de Janeiro, which uses the theory of fuzzy sets as a basis in the inference process for generating the "Indicator Assessment Educational System" (IASE) . The database used to create the indicator IASE was extracted from data obtained from the National Institute of Educational Studies Teixeira (INEP). Then the results are presented in a Geographic Information System (GIS) enabling to understand the correlation of alphanumeric values and spatial information generated in the fuzzy system in order to support the decision making of government actions in the sector.

Made available in DSpace on 2014-06-11T19:33:21Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-11-24Bitstream added on 2014-06-13T18:44:56Z : No. of bitstreams: 1 pereira_cja_dr_rcla.pdf: 3102935 bytes, checksum: f63c54be769615a9e581a9b476b27ed5 (MD5) / As técnicas de análise de dados e de busca de soluções fornecidas pela Computação Inteligente tiveram, nos últimos tempos, um grande avanço em seu desenvolvimento. Essas técnicas têm sido utilizadas com eficácia e eficiência no tratamento de problemas complexos e/ou que possuam uma grande quantidade de dados a serem processados. A integração destas técnicas com as ferramentas computacionais de produção e análise de informações geográficas (Geoprocessamento) é, portanto, muito vantajosa, especialmente com relação à grande quantidade de dados geralmente envolvida nas questões de natureza espacial. Este trabalho apresenta dois exemplos de uso de técnicas de Computação Inteligente em procedimentos de produção e análise de informações geográficas: um Sistema de Raciocínio Nebuloso (baseado na Lógica Nebulosa) para a construção de um mapa de fertilidade de solos, e uma Rede Neural Artificial para a identificação de agrupamentos espaciais em dados sócio-econômicos. Os dois exemplos foram conduzidos utilizando-se um software especialmente construído para esta finalidade, denominado GAIA – Geoprocessamento Apoiado por Inteligência Artificial –, e que doravante está disponível como Software Livre para qualquer pesquisador interessado em utilizar estas ferramentas. O estudo conclui que o uso das técnicas provenientes da computação inteligente, em comparação com técnicas tradicionais de análise de dados, contribuiu para um aumento da qualidade dos resultados obtidos. / Data analysis and problem solving techniques supplied by Soft Computing have had, lately, a great advance in their development. These techniques have been used with effectiveness and efficiency to deal with complex problems and/or problems that have too much data to be processed. The integration of such techniques with the tools for computational geographic information analysis (Geocomputation) is therefore very advantageous, especially in relation to the great quantity of data normally involved in spatial matters. This study presents two examples on how to use Soft Computing techniques in conjunction with geographic information analysis procedures: a Fuzzy Reasoning System (based on Fuzzy Logic) to build a soil fertility map, and an Artificial Neural Network to identify spatial clusters in socioeconomic data. Both examples were conducted using a software specifically developed towards this objective, called GAIA - Artificial Intelligence Supported Geocomputation, from now on available as a Free Software to any interested researcher. The study arrives at the conclusion that the use of soft computing techniques, as compared to classical procedures, leads to an increased quality on the final results.

Submitted by Helen Gomes da Silva (helen-277@hotmail.com) on 2018-04-19T16:16:53Z No. of bitstreams: 1 Dissert_Helen.pdf: 519297 bytes, checksum: 5cb7a2e4a99a88a45d87901f4e7476cd (MD5) / Approved for entry into archive by Satie Tagara (satie@marilia.unesp.br) on 2018-04-19T17:33:50Z (GMT) No. of bitstreams: 1 silva_hg_me_mar.pdf: 519297 bytes, checksum: 5cb7a2e4a99a88a45d87901f4e7476cd (MD5) / Made available in DSpace on 2018-04-19T17:33:50Z (GMT). No. of bitstreams: 1 silva_hg_me_mar.pdf: 519297 bytes, checksum: 5cb7a2e4a99a88a45d87901f4e7476cd (MD5) Previous issue date: 2018-02-23 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O professor Newton C. A. da Costa, notável lógico brasileiro, e colaboradores introduziram a noção de quase-verdade no contexto das ciências empíricas, onde há incompletude do conhecimento. Tal abordagem é considerada uma generalização para contextos parciais da proposta de formalização da verdade introduzida por Alfred Tarski. Inspirado nessa noção de quase-verdade, Silvestrini (2011) introduziu uma de nição de quase-verdade através da satisfação pragmática e, no mesmo trabalho apresentou, num sistema axiomático, uma lógica paraconsistente e trivalente, subjacente a essa noção, a qual denominou por Lógica da Verdade Pragmática (LPT- Logic of Pragmatic Truth ). Posteriormente, Feitosa e Silvestrini (2016) apresentaram algumas alterações no conjunto de axiomas de LPT e deram uma demonstração de adequação segundo a semântica matricial da lógica da verdade pragmática. Hoje, sistemas dedutivos alternativos ao axiomático têm sido de grande interesse para a área da teoria da prova e computabilidade, pois esses, em sua maioria, são métodos mais intuitivos. Alguns são caracterizados como algorítmicos, o que possibilita uma fácil implementação do método em computadores. Dentre esses sistemas de provas, destacamos o método dedutivo dos tableaux analíticos, que foi introduzido de uma forma bastante elegante por Smullyan (1968). Neste trabalho, introduzimos um sistema de tableaux analíticos para a Lógica da Verdade Pragmática e veri camos que todos os resultados dedutivos do sistema axiomático da LPT coincidem com os resultados de consequência analítica do sistema de tableaux que aqui introduzimos. / Professor Newton C. A. da Costa, notable Brazilian logician, and collaborators introduced the notion of quasi-truth in the context of the empirical sciences, where there is incompleteness of knowledge. Such an approach is considered a generalization of Tarski's proposal for partial contexts. Inspired by this notion of quasi-truth, Silvestrini (2011) introduced a de nition of quasi-truth through pragmatic satisfaction and, in the same work, presented, in an axiomatic system, a paraconsistent and trivalent logic, underlying this notion, which he called 'Logic of Pragmatic Truth (LPT)'. Later, Feitosa and Silvestrini (2016) presented some changes in the set of axioms of LPT and gave a proof of adequacy according to the trivalent matrix semantics of LPT. Nowadays, alternative axiomatic deductive systems have been of great interest to proof theory and computability, because these are in general intuitive methods. Some of them are characterized as algorithmic, which allows an easy implementation in computers. Among these systems of proof, we highlight the deductive method of analytic tableaux, which was introduced in an elegant way by Smullyan (1968). In this work, we introduce an analytic tableau system for the Logic of Pragmatic Truth and we verify that the results we can develop in the axiomatic system of the LPT coincide with the deductions in this analytic system of tableaux.

Este trabalho propõe-se a descrever uma metodologia para avaliação do sistema de educação fundamental do Estado do Rio de Janeiro, que utiliza a teoria dos conjuntos nebulosos como base, no processo de inferência para geração do Indicador Avaliação do Sistema Educacional (IASE). A base de dados utilizada para criação do indicador IASE foi extraída de dados obtidos do Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira (INEP). Em seguida, os resultados obtidos são apresentados em um Sistema de informação Geográfica (SIG) possibilitando compreender a correlação de valores alfanuméricos e espacial das informações geradas no sistema nebuloso, de modo apoiar a tomada de decisão das ações governamentais no setor. / This study aims to describe a methodology to evaluate the system of primary education in the State of Rio de Janeiro, which uses the theory of fuzzy sets as a basis in the inference process for generating the "Indicator Assessment Educational System" (IASE) . The database used to create the indicator IASE was extracted from data obtained from the National Institute of Educational Studies Teixeira (INEP). Then the results are presented in a Geographic Information System (GIS) enabling to understand the correlation of alphanumeric values and spatial information generated in the fuzzy system in order to support the decision making of government actions in the sector.

Orientador: Marcelo Esteban Coniglio / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-17T19:11:26Z (GMT). No. of bitstreams: 1 Silvestrini_LuizHenriquedaCruz_D.pdf: 1289416 bytes, checksum: aa5f4929e7149a647d28c4fd4df86874 (MD5) Previous issue date: 2011 / Resumo: Mikenberg, da Costa e Chuaqui (1986) introduziram a noção de quase-verdade por meio da noção de estruturas parciais, e para tanto, conceberam os predicados como ternas. O arcabouço conceitual resultante proporcionou o emprego de estruturas parciais na ciência, pois, em geral, não sabemos tudo a respeito de um determinado domínio de conhecimento. Generalizamos a noção de predicados como ternas para fórmulas complexas. A partir desta nova abordagem, obtemos uma definição de quase-verdade via noção de satisfação pragmática de uma fórmula A em uma estrutura parcial E. Introduzimos uma lógica subjacente à nossa nova definição de quase-verdade, a saber, a lógica paraconsistente trivalente LPT1, a qual possui uma axiomática de primeira ordem. Relacionamos a noção de quase-verdade com algumas lógicas paraconsistentes já existentes. Defendemos que a formalização das Sociedades Abertas, introduzidas por Carnielli e Lima-Marques (1999), quando combinada com quantificadores modulados, introduzidos por Grácio (1999), constitui uma alternativa para capturar a componente indutiva presente na atividade científica, e mostramos, a partir disso, que a proposta original de da Costa e colaboradores pode ser explicada em termos da nova noção de sociedades moduladas / Abstract: Newton da Costa and his collaborators have introduced the notion of quasi-truth by means of partial structures, and for this purpose, they conceived the predicates as ordered triples: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively (the latter represents lack of information). This approach provides a conceptual framework to analyse the use of (first-order) structures in science in contexts of informational incompleteness. In this Thesis, the notion of predicates as triples is extended recursively to any complex formula of the first-order object language. From this, a new definition of quasi-truth via the notion of pragmatic satisfaction is obtained. We obtain the proof-theoretic counterpart of the logic underlying our new definition of quasi-truth, namely, the three-valued paraconsistent logic LPT1, which is presented axiomatically in a first-order language. We relate the notion of quasi-truth with some existing paraconsistent logics. We defend that the formalization of (open) society semantics when combined with the modulated quantifiers constitutes an alternative to capture the inductive component present in scientific activity, and show, from this, that the original proposal of da Costa and collaborators can be explained in terms of the new concept of modulated societies / Doutorado / Filosofia / Doutor em Filosofia

Este trabalho dedica-se ao ramo da Semiótica que Charles S. Peirce chamou de Gramática Especulativa: o estudo das condições formais para que um Signo funcione como tal, o levantamento dos tipos possíveis de Classes de Signos e sua classificação. A Gramática Especulativa é o primeiro ramo da Semiótica, a Lógica o segundo e a Comunicação o terceiro. Um tratamento semiótico frutuoso da Comunicação depende, portanto, de que a Gramática e a Lógica estejam suficientemente desenvolvidas. Esta foi a motivação deste trabalho. Depois de uma introdução geral sobre Peirce e o desenvolvimento de Semiótica, apresentamos uma proposta de geração de 66 Classes de Signos e sua classificação numa Tabela Periódica. Discutimos brevemente cada uma das Classes de Signos e fazemos algumas considerações sobre como esta tabela pode ajudar a resolver alguns problemas da Lógica e a construir uma Teoria da Comunicação formalmente semiótica. / This work is dedicated to the branch of Semiotic that Charles S. Peirce called Speculative Grammar: the study of the formal conditions that enable a Sign to function as such, the survey of all possible types of Signs and their ordered classification. The Speculative Grammar is the first branch of Semiotic, Logic is the second and Communication is its third one. A fruitful semiotic treatment of the Communication depends, therefore, on that the Grammar and Logic are sufficiently developed. This was the motivation of this work. After an introduction about Peirce and the development of his Theory of Signs, we present a proposal for a generation of 66 Classes of Signs and make some considerations on how this table could help to solve some problems of Logic and to construct of a formally semiotic Theory of Communication.