Antonio Monteiro realizó una caracterización de las congruencias maximales para ciertas variedades semisimples, permitiendo presentar un teorema de representación de las mismas; que bajo condiciones específicas, este teorema se le puede presentar una prueba unificada. En esta tesis, mostramos que esta noción de congruencia maximal está íntimamente ligada a la noción de teorías maximales de Henkin para ciertas familias de lógicas de la literatura de lógicas algebraicas. Para ver esta relación, estudiamos la clase de álgebras de Hilbert n-valoradas con supremo enriquecidas con operadores de Moisil. Para esta clase de álgebras, presentamos un cálculo proposicional y de primer orden correctos y completos. Además, mostramos cómo funciona esta relación para lógicas de variedades semisimples estudiadas en la escuela de Monteiro. Ampliando el alcance de las aplicaciones, presentamos resultados de correctitud y completitud para lógicas paraconsistentes de primer orden a través de una semántica matricial no determinista. A pesar de que estas lógicas no son algebraizables con el método general de Blok-Pigozzi, presentan un comportamiento algebraico que nos permite dar una presentación simplificada. Por otro lado, construimos modelos valorados sobre estructuras de Fidel siguiendo la metodología desarrollada para modelos valorados de Heyting; recordemos que las estructuras de Fidel no son álgebras en el sentido del álgebra universal. Tomando modelos que verifican la ley de Leibniz, podemos probar que todos los axiomas de la teoría de conjuntos de ZF son válidos sobre estos modelos. La prueba se basa fuertemente en la existencia de modelos paraconsistentes de la ley de Leibniz. En este escenario, se discute la dificultad de tener modelos de ley algebraicos paraconsistentes para fórmulas con negación usando el mapeo interpretación estándar, mostrando que la existencia de modelos de la ley de Leibniz es esencial para obtener modelos para ZF. / Antonio Monteiro gave a characterization of maximal congruences in certain semisimple varieties in order to present a representation theorem for them. Under specific conditions, this theorem can be presented with the same proof for every semisimple variety considered by him. In this thesis, we show that this notion of maximal congruence is closely linked to Henkin’s notion of maximal theories for certain families of logics from the literature of algebraic logic. To see this relation, we study the class of n-valued Hilbert algebras with supremum enriched with Moisil operators. For this class of algebras, we present a sound and complete propositional and first-order calculus. Moreover, we show how this relation works for logics from semisimple varieties studied in the Monteiro’s school. Extending the scope of applications, we present soundness and completeness results for some first-order paraconsistent logics through non-deterministic matrix semantics. Despite the fact that these logics are not algebraizable with the Blok-Pigozzi’s method, they display an algebraic behaviour that allows us to give a simplified presentation. On the other hand, we build Fidel-structures valued models following the methodology developed for Heyting-valued models; recall that Fidel structures are not algebras in the universal algebra sense. Taking models that verify Leibniz law, we are able to prove that all set-theoretic axioms of ZF are valid over these models. The proof is strongly based on the existence of paraconsistent models of Leibniz law. In this setting, the difficulty of having algebraic paraconsistent models of law for formulas with negation using the standard interpretation map is discussed, showing that the existence of models of Leibniz law is essential to getting models for ZF.

Pode-se afirmar que os processos de organização, recuperação e visualização de informações estão interligados por pelo menos um ponto em comum: a indexação de textos ou documentos. A indexação, um componente essencial do tratamento e organização de informações, é também importante tanto para a recuperação quanto para a visualização de informações. Nesse contexto, destacam-se as soluções que objetivam automatizar a indexação. As pesquisas que propõe soluções de indexação automática são desenvolvidas com base em diferentes pressupostos teóricos, entre os quais podem ser destacados: a Estatística, a Lingüística e o Controle de Vocabulários (Leiva, 1999). A grande maioria dessas soluções utiliza modelos híbridos que combinam dois ou três desses pressupostos. Outras abordagens para o problema da indexação automática utilizam, além dos pressupostos anteriormente citados, teorias que permitem o tratamento da incerteza, da imprecisão e da vagueza, tais como a teoria de Dempster-Shafer e a lógica difusa. O objetivo desta pesquisa é avaliar o potencial de utilização da lógica paraconsistente, uma lógica não clássica, com capacidade para tratar situações que envolvem incerteza, imprecisão e vagueza nos procedimentos de indexação automática. A hipótese de trabalho sustentada nesta pesquisa apóia-se teoricamente nos princípios da Lógica Paraconsistente. A utilização dessa lógica e de métodos derivados da mesma, por ser flexível e comportar estados lógicos que vão além das dicotomias sim e não, permite adiantar a hipótese de que os resultados da indexação poderão ser melhores do que os obtidos por métodos tradicionais. Do ponto de vista metodológico, optou-se pela utilização de um algoritmo para tratamento de incerteza e imprecisão, desenvolvido no âmbito da lógica paraconsistente, para modificar os valores dos pesos atribuídos aos termos de indexação. Os testes foram realizados em um sistema de visualização de informações, com código fonte disponível. As coleções utilizadas são disponibilizadas com o sistema. Os resultados obtidos foram avaliados por meio de critérios e índices embutidos no próprio sistema de visualização, e demonstram ganhos mensuráveis de qualidade na construção das visualizações, confirmando, assim a hipótese de pesquisa elencada. / It can be argued that the processes of organization, retrieval and visualization of information are conected, presenting one point in common: the indexing of texts or documents. Indexing, an essential component of text analysis, is important to information retrieval and visualization. In this context, we highlight solutions to automate indexing. Researchs that propose solutions for automatic indexing are developed based on different theoretical assumptions as, for example: Statistics, Linguistics and Controlled vocabularies (Leiva, 1999). Most of these solutions uses hybrid models combining two or three of these theoretical assumptions. Other approaches to the problem of automatic indexing uses, besides the aforementioned assumptions, theories that allow the treatment of uncertainty, imprecision and vagueness, as the Dempster-Shafer theory and the fuzzy logic. The aim of this research is to evaluate the use of paraconsistent logic, a nonclassical logic, capable of dealing with situations involving uncertainty, imprecision and vagueness, in the procedures of automatic indexing. The working hypothesis supported in this research is based theoretically on the principles of Paraconsistent Logic. The utilization of this logic, being flexible and containing logical states that go beyond the dichotomies yes and no, permit to advance the hypothesis that the results of indexing could be better than those obtained by traditional methods. From the methodological point of view, we chose to use an algorithm for treatment of uncertainty and imprecision, developed under the paraconsistent logic, to modify the values of the weights assigned to index terms. The tests were performed on a information visualization system, with source code available. The collections used are available with the system. The results were evaluated by criteria and indices built into the information visualization system itself, and demonstrate measurable gains in the construction quality of the displays, thus confirming the hypothesis listed.

Made available in DSpace on 2015-05-14T12:11:45Z (GMT). No. of bitstreams: 1 Arquivototal.pdf: 533308 bytes, checksum: a99c51f4120b595bd31262696be2a428 (MD5) Previous issue date: 2012-05-31 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This dissertation examines two of the results of da Costa in order to show its usefulness to the philosophy and to point out possible philosophical developments. At first, It examines the paraconsistent logic, both from the historical and technical point of view as well as some of its developments. Next, it examines the theory of quasi-truth. Finally, it is proposed uses of these developments in philosophy, trying to show tricks in the philosophy of science and metaphysics. / O presente trabalho examina dois dos resultados de da Costa a fim de mostrar sua utilidade para a filosofia e apontar possíveis desenvolvimentos filosóficos. Examina-se, em primeiro lugar, a lógica paraconsistente, tanto do ponto de vista histórico e técnico, quanto alguns de seus desenvolvimentos; depois examina-se a teoria da quase-verdade. Por fim, propõe-se usos desses desenvolvimentos na filosofia, buscando mostrar caminhos em filosofia da ciência e metafísica.

Dans son début, ce rapport présent quelques évidences sur la necessité de promouvoir une compréhension d’ensemble des systèmes d´infrastructure, em s’appuyant sur des études faites au Brésil et a l’ étranger. Ensuite, il est proposé la compréhension homogéneisé des systèmes et sa présentation rassemblée et systématisée dans le format d’ une matrice, a partir des critéres communs comme l’étude des flux, la distinction entre systèmes et services et les differentes échelles – centrale, artérielle et capillaire – de chaque système et sous-système. Après cette systématisation, ce sont proposés des niveaux d’integration élargis entre les systèmes dans une unité territoriale d´analyse determinée. Dans une première option méthodologique, la gestion integrée proposée est relacionée avec sés localizations et espaces physiques necessaires. Dans une deuxième option, la gestion integrée est developée par l’avaliation des indicateurs d’accomplissement dês services, qui sont uniformisés pour tous les systèmes, ce qui rend possible une compréhension complète des locaux et des systèmes associés aux conditions d’offre et demande des services. La troisième option propose la gestion integrée en échangeant des données, des informations et des critères opérationnels entre les différents systèmes et ses centres de controle opérationnel. Dans cette troisième option, la gestion integrée avec des procedures classiques a besoin d’une base de données consistantes et disponibles dans chaque système, pour possibiliter le commencement de sés compatibilisations et d’elaboration des modèles opéracionnaux en faisant son association. Considerant que les bases de données sont normalement non disponibles ou organisées selon des critères particuliers de chaque système, il est proposé de construire (et processer) une autre base de données obtenue par des crytères non classiques, relacionées a la Logique Paraconsistente. Ensuite cette méthode non classique est apliquée a une étude de cas sur la navigation d’une rivière urbaine dans la ville de São Paulo. Finalement, les conclusions sont listées et les chemins pour l’applicabilité de cette méthode sont indiqués. / O presente trabalho apresenta inicialmente algumas evidências da necessidade de promover o entendimento abrangente dos sistemas de infra-estrutura apoiando-se sobre trabalhos realizados no Brasil e no Exterior. Em seguida, propõe-se a compreensão homogeneizada dos sistemas e sua apresentação conjunta e sistematizada no formato de matriz, a partir de critérios comuns como o estudo dos fluxos, a distinção entre sistemas e serviços e as diferentes escalas - central, arterial e capilar - de cada sistema e sub sistema. Após esta sistematização, propõe-se níveis crescentes de integração entre os sistemas em uma determinada unidade territorial de análise; numa primeira opção metodológica, a gestão integrada proposta relaciona-se às suas localizações e espaços necessários; numa segunda opção, a gestão integrada desenvolve-se mediante avaliação de indicadores de desempenho dos serviços, os quais são uniformizados para todos os sistemas, propiciando um entendimento abrangente de locais e sistemas associados às condições de oferta e demanda dos serviços; a terceira opção propõe a gestão integrada intercambiando dados, informações e critérios operacionais entre os diferentes sistemas.Nesta 3ª opção, a gestão integrada com procedimentos clássicos (hipótese 3/1) necessita de base de dados consistente e disponível em cada sistema, para iniciar-se então suas compatibilizações e daí elaborar modelos operacionais, associando-os. Considerando que as bases de dados são normalmente indisponíveis ou organizadas segundo critérios próprios de cada sistema, propõe-se construir e processar outra Base de Dados (hipótese 3/2) obtida através dos critérios não clássicos, relacionadas à Lógica Paraconsistente. Aplica-se então este método não clássico a um estudo de caso de navegação de um rio urbano no Município de São Paulo. Finalmente são elencadas conclusões e são indicados possíveis caminhos de aplicabilidade destes métodos.

Pode-se afirmar que os processos de organização, recuperação e visualização de informações estão interligados por pelo menos um ponto em comum: a indexação de textos ou documentos. A indexação, um componente essencial do tratamento e organização de informações, é também importante tanto para a recuperação quanto para a visualização de informações. Nesse contexto, destacam-se as soluções que objetivam automatizar a indexação. As pesquisas que propõe soluções de indexação automática são desenvolvidas com base em diferentes pressupostos teóricos, entre os quais podem ser destacados: a Estatística, a Lingüística e o Controle de Vocabulários (Leiva, 1999). A grande maioria dessas soluções utiliza modelos híbridos que combinam dois ou três desses pressupostos. Outras abordagens para o problema da indexação automática utilizam, além dos pressupostos anteriormente citados, teorias que permitem o tratamento da incerteza, da imprecisão e da vagueza, tais como a teoria de Dempster-Shafer e a lógica difusa. O objetivo desta pesquisa é avaliar o potencial de utilização da lógica paraconsistente, uma lógica não clássica, com capacidade para tratar situações que envolvem incerteza, imprecisão e vagueza nos procedimentos de indexação automática. A hipótese de trabalho sustentada nesta pesquisa apóia-se teoricamente nos princípios da Lógica Paraconsistente. A utilização dessa lógica e de métodos derivados da mesma, por ser flexível e comportar estados lógicos que vão além das dicotomias sim e não, permite adiantar a hipótese de que os resultados da indexação poderão ser melhores do que os obtidos por métodos tradicionais. Do ponto de vista metodológico, optou-se pela utilização de um algoritmo para tratamento de incerteza e imprecisão, desenvolvido no âmbito da lógica paraconsistente, para modificar os valores dos pesos atribuídos aos termos de indexação. Os testes foram realizados em um sistema de visualização de informações, com código fonte disponível. As coleções utilizadas são disponibilizadas com o sistema. Os resultados obtidos foram avaliados por meio de critérios e índices embutidos no próprio sistema de visualização, e demonstram ganhos mensuráveis de qualidade na construção das visualizações, confirmando, assim a hipótese de pesquisa elencada. / It can be argued that the processes of organization, retrieval and visualization of information are conected, presenting one point in common: the indexing of texts or documents. Indexing, an essential component of text analysis, is important to information retrieval and visualization. In this context, we highlight solutions to automate indexing. Researchs that propose solutions for automatic indexing are developed based on different theoretical assumptions as, for example: Statistics, Linguistics and Controlled vocabularies (Leiva, 1999). Most of these solutions uses hybrid models combining two or three of these theoretical assumptions. Other approaches to the problem of automatic indexing uses, besides the aforementioned assumptions, theories that allow the treatment of uncertainty, imprecision and vagueness, as the Dempster-Shafer theory and the fuzzy logic. The aim of this research is to evaluate the use of paraconsistent logic, a nonclassical logic, capable of dealing with situations involving uncertainty, imprecision and vagueness, in the procedures of automatic indexing. The working hypothesis supported in this research is based theoretically on the principles of Paraconsistent Logic. The utilization of this logic, being flexible and containing logical states that go beyond the dichotomies yes and no, permit to advance the hypothesis that the results of indexing could be better than those obtained by traditional methods. From the methodological point of view, we chose to use an algorithm for treatment of uncertainty and imprecision, developed under the paraconsistent logic, to modify the values of the weights assigned to index terms. The tests were performed on a information visualization system, with source code available. The collections used are available with the system. The results were evaluated by criteria and indices built into the information visualization system itself, and demonstrate measurable gains in the construction quality of the displays, thus confirming the hypothesis listed.

Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-26T05:10:17Z (GMT). No. of bitstreams: 1 Cholodovskis_AnaFlaviadeFaria_M.pdf: 14177739 bytes, checksum: 714f42d947721ac9da9a5d1e34cd497e (MD5) Previous issue date: 2014 / Resumo: Existem diversas razões para justificar o desenvolvimento de lógicas não-clássicas tais como a expressividade destas linguagens e como elas poderiam ajudar a formalizar o pensamento humano. Neste sentido, as lógicas não-monotônicas foram desenvolvidas em prol de formalizar raciocínios cotidianos baseados na premissa de que nós deveríamos ser capazes de retratar conclusões previamente obtidas quando confrontadas com novas informações. Algumas lógicas não-monotônicas utilizam a noção de pensamento default para formalizar raciocínios cotidianos. Por outro lado, as lógicas paraconsistentes são aquelas lógicas que estudam teorias não-explosivas e foram desenvolvidas em prol de lidar com contradições. Sobre as lógicas paraconsistentes, existe uma classe de sistemas que se mostram realmente interessantes, particularmente: as Lógicas de Inconsistência Formal (LIFs). LIFs são um tipo especial de lógicas paraconsistentes que são gentilmente explosivas e internalizam o conceito de consistência no nível da linguagem-objeto utilizando o operador de consistência ? . A questão inicial Poderia a Paraconsistência substituir a Não-Monotonicidade? nos guiou à formalização de uma pergunta mais específica, entretanto, mais intrigante: É possível desenvolver uma lógica não-monotônica gentilmente explosiva?. No intuito de buscar responder a essa questão, é importante investigar conceitual e filosoficamente a relevância e as problemáticas de se desenvolver tal lógica. Este trabalho visa justificar a importância de uma lógica não-monotônica paraconsistente baseada nas Lógicas de Inconsistência Formal a partir de uma análise intuitiva dos conceitos e das noções envolvidas em tais sistemas formais considerando, ainda, abordagens possíveis a partir das chamadas Lógicas Adaptativas de Inconsistência e das Lógicas Moduladas / Abstract: There are many reasons to justify the development of non-classical logics such as the expressivity of those languages and how they could help to formulate human reasoning. In that sense, nonmonotonic logics were developed in order to formalize everyday reasoning based on the premise that we should be able to retract conclusions previously obtained in face of new information. Some nonmonotonic logics uses the notion of default reasoning to formalize everyday reasoning. On the other hand, paraconsistent logics are those logics that studies non-explosive theories and were developed in order to deal with contradictions. About paraconsistent logics, there is a class of systems that has shown to be really interesting, particularly: the Logics of Formal Inconsistency [LFIs]. LFIs are a special kind of paraconsistent logics that are gently explosive and internalize the concept of consistency at the object-language level using the consistency operator ?. The initial question Can Paraconsistency replace Nonmonotonicity? guided us to the formulation of a more specific yet intriguing question: Is it possible to develop a gently explosive nonmonotonic logic?. In order to answer that question, it is important to investigate both conceptual and philosophical relevance and problems of developing such logic. This work intends to justify the importance of a non-monotonic paraconsistent logic based on Logics of Formal Inconsistency from an intuitive analysis of concepts and notions involved in such formal systems, also considering possible approaches from the so called Adaptive Logics of Inconsistency an Modulated Logics / Mestrado / Filosofia / Mestra em Filosofia

A análise visual do eletroencefalograma (EEG) tem se mostrado útil na ajuda diagnóstica da doença de Alzheimer (DA), sendo indicado em alguns protocolos clínicos quando o diagnóstico permanece em aberto após a avaliação inicial. Porém, tal análise está sujeita naturalmente à imprecisão inerente de equipamentos, movimentos do paciente, registros elétricos e variação da interpretação da análise visual do médico. A teoria das Redes Neurais Artificiais (RNA) tem-se mostrado muito apropriado para tratar problemas como predição e reconhecimento de padrões de sinais em outras áreas do conhecimento. Neste trabalho utilizou-se uma nova classe de RNA, a Rede Neural Artificial Paraconsistente (RNAP), caracterizada pela manipulação de informações incertas, inconsistentes e paracompletas, destinada a reconhecer padrões predeterminados de EEG e de avaliar sua aplicabilidade como método auxiliar para o diagnóstico da DA. Trinta e três pacientes com DA provável e trinta e quatro pacientes controles foram submetidos ao registro de exames de EEG durante a vigília em repouso. Considerou-se como padrão normal de um paciente, a atividade de base entre 8,0 Hz e 12,0 Hz (com uma frequência média de 10 Hz), permitindo uma variação de 0.5 Hz. A RNAP foi capaz de reconhecer ondas de diferentes bandas de frequência (teta, delta, alfa e beta) aplicadas ao uso clínico do EEG, levando a uma concordância com o diagnóstico clínico de 82% de sensibilidade e 61% de especificidade. Com estes resultados, acredita-se que a RNAP possa vir a ser uma ferramenta promissora para manipular análise de EEG, tendo em mente as seguintes considerações: o interesse crescente de especialistas em análise visual de EEG e a capacidade da RNAP tratar diretamente dados imprecisos, inconsistentes e paracompletos, fornecendo uma interessante análise quantitativa e qualitativa / The visual analysis of EEG has shown useful in helping the diagnosis of Alzheimer disease (AD) when the diagnosis remains uncertain, being used in some clinical protocols. However, such analysis is subject to the inherent equipment imprecision, patient movement, electrical records, and physician interpretation of the visual analysis variation. The Artificial Neural Network (ANN) could be a helpful tool, appropriate to address problems such as prediction and pattern recognition. In this work, it has use a new class of ANN, the Paraconsistent Artificial Neural Network (PANN), which is capable of handling uncertain, inconsistent, and paracomplet information, for recognizing predetermined patterns of EEG and to assess its value as a possible auxiliary method for AD diagnosis. Thirty three patients with Alzheimer\'s disease and thirty four controls patients of EEG records were obtained during relaxed wakefulness. It was considered as normal patient pattern, the background EEG activity between 8.0 Hz and 12.0 Hz (with an average frequency of 10 Hz), allowing a range of 0.5 Hz. The PANN was able to recognize waves that belonging to their respective bands of clinical use (theta, delta, alpha, and beta), leading to an agreement with the clinical diagnosis at 82% of sensitivity and at 61% of specificity. Supported with these results, the PANN could be a promising tool to manipulate EEG analysis, bearing in mind the following considerations: the growing interest of specialists in EEG analysis visual and the ability of the PANN to deal directly imprecise, inconsistent and paracomplet data, providing an interesting quantitative and qualitative analysis

O presente trabalho apresenta inicialmente algumas evidências da necessidade de promover o entendimento abrangente dos sistemas de infra-estrutura apoiando-se sobre trabalhos realizados no Brasil e no Exterior. Em seguida, propõe-se a compreensão homogeneizada dos sistemas e sua apresentação conjunta e sistematizada no formato de matriz, a partir de critérios comuns como o estudo dos fluxos, a distinção entre sistemas e serviços e as diferentes escalas - central, arterial e capilar - de cada sistema e sub sistema. Após esta sistematização, propõe-se níveis crescentes de integração entre os sistemas em uma determinada unidade territorial de análise; numa primeira opção metodológica, a gestão integrada proposta relaciona-se às suas localizações e espaços necessários; numa segunda opção, a gestão integrada desenvolve-se mediante avaliação de indicadores de desempenho dos serviços, os quais são uniformizados para todos os sistemas, propiciando um entendimento abrangente de locais e sistemas associados às condições de oferta e demanda dos serviços; a terceira opção propõe a gestão integrada intercambiando dados, informações e critérios operacionais entre os diferentes sistemas.Nesta 3ª opção, a gestão integrada com procedimentos clássicos (hipótese 3/1) necessita de base de dados consistente e disponível em cada sistema, para iniciar-se então suas compatibilizações e daí elaborar modelos operacionais, associando-os. Considerando que as bases de dados são normalmente indisponíveis ou organizadas segundo critérios próprios de cada sistema, propõe-se construir e processar outra Base de Dados (hipótese 3/2) obtida através dos critérios não clássicos, relacionadas à Lógica Paraconsistente. Aplica-se então este método não clássico a um estudo de caso de navegação de um rio urbano no Município de São Paulo. Finalmente são elencadas conclusões e são indicados possíveis caminhos de aplicabilidade destes métodos. / Dans son début, ce rapport présent quelques évidences sur la necessité de promouvoir une compréhension d’ensemble des systèmes d´infrastructure, em s’appuyant sur des études faites au Brésil et a l’ étranger. Ensuite, il est proposé la compréhension homogéneisé des systèmes et sa présentation rassemblée et systématisée dans le format d’ une matrice, a partir des critéres communs comme l’étude des flux, la distinction entre systèmes et services et les differentes échelles – centrale, artérielle et capillaire – de chaque système et sous-système. Après cette systématisation, ce sont proposés des niveaux d’integration élargis entre les systèmes dans une unité territoriale d´analyse determinée. Dans une première option méthodologique, la gestion integrée proposée est relacionée avec sés localizations et espaces physiques necessaires. Dans une deuxième option, la gestion integrée est developée par l’avaliation des indicateurs d’accomplissement dês services, qui sont uniformisés pour tous les systèmes, ce qui rend possible une compréhension complète des locaux et des systèmes associés aux conditions d’offre et demande des services. La troisième option propose la gestion integrée en échangeant des données, des informations et des critères opérationnels entre les différents systèmes et ses centres de controle opérationnel. Dans cette troisième option, la gestion integrée avec des procedures classiques a besoin d’une base de données consistantes et disponibles dans chaque système, pour possibiliter le commencement de sés compatibilisations et d’elaboration des modèles opéracionnaux en faisant son association. Considerant que les bases de données sont normalement non disponibles ou organisées selon des critères particuliers de chaque système, il est proposé de construire (et processer) une autre base de données obtenue par des crytères non classiques, relacionées a la Logique Paraconsistente. Ensuite cette méthode non classique est apliquée a une étude de cas sur la navigation d’une rivière urbaine dans la ville de São Paulo. Finalement, les conclusions sont listées et les chemins pour l’applicabilité de cette méthode sont indiqués.

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.

A análise visual do eletroencefalograma (EEG) tem se mostrado útil na ajuda diagnóstica da doença de Alzheimer (DA), sendo indicado em alguns protocolos clínicos quando o diagnóstico permanece em aberto após a avaliação inicial. Porém, tal análise está sujeita naturalmente à imprecisão inerente de equipamentos, movimentos do paciente, registros elétricos e variação da interpretação da análise visual do médico. A teoria das Redes Neurais Artificiais (RNA) tem-se mostrado muito apropriado para tratar problemas como predição e reconhecimento de padrões de sinais em outras áreas do conhecimento. Neste trabalho utilizou-se uma nova classe de RNA, a Rede Neural Artificial Paraconsistente (RNAP), caracterizada pela manipulação de informações incertas, inconsistentes e paracompletas, destinada a reconhecer padrões predeterminados de EEG e de avaliar sua aplicabilidade como método auxiliar para o diagnóstico da DA. Trinta e três pacientes com DA provável e trinta e quatro pacientes controles foram submetidos ao registro de exames de EEG durante a vigília em repouso. Considerou-se como padrão normal de um paciente, a atividade de base entre 8,0 Hz e 12,0 Hz (com uma frequência média de 10 Hz), permitindo uma variação de 0.5 Hz. A RNAP foi capaz de reconhecer ondas de diferentes bandas de frequência (teta, delta, alfa e beta) aplicadas ao uso clínico do EEG, levando a uma concordância com o diagnóstico clínico de 82% de sensibilidade e 61% de especificidade. Com estes resultados, acredita-se que a RNAP possa vir a ser uma ferramenta promissora para manipular análise de EEG, tendo em mente as seguintes considerações: o interesse crescente de especialistas em análise visual de EEG e a capacidade da RNAP tratar diretamente dados imprecisos, inconsistentes e paracompletos, fornecendo uma interessante análise quantitativa e qualitativa / The visual analysis of EEG has shown useful in helping the diagnosis of Alzheimer disease (AD) when the diagnosis remains uncertain, being used in some clinical protocols. However, such analysis is subject to the inherent equipment imprecision, patient movement, electrical records, and physician interpretation of the visual analysis variation. The Artificial Neural Network (ANN) could be a helpful tool, appropriate to address problems such as prediction and pattern recognition. In this work, it has use a new class of ANN, the Paraconsistent Artificial Neural Network (PANN), which is capable of handling uncertain, inconsistent, and paracomplet information, for recognizing predetermined patterns of EEG and to assess its value as a possible auxiliary method for AD diagnosis. Thirty three patients with Alzheimer\'s disease and thirty four controls patients of EEG records were obtained during relaxed wakefulness. It was considered as normal patient pattern, the background EEG activity between 8.0 Hz and 12.0 Hz (with an average frequency of 10 Hz), allowing a range of 0.5 Hz. The PANN was able to recognize waves that belonging to their respective bands of clinical use (theta, delta, alpha, and beta), leading to an agreement with the clinical diagnosis at 82% of sensitivity and at 61% of specificity. Supported with these results, the PANN could be a promising tool to manipulate EEG analysis, bearing in mind the following considerations: the growing interest of specialists in EEG analysis visual and the ability of the PANN to deal directly imprecise, inconsistent and paracomplet data, providing an interesting quantitative and qualitative analysis