A área de monitoração e diagnóstico vem apresentando um acentuado desenvolvimento nos últimos anos com a introdução de novas técnicas de diagnóstico bem como vem contando com a contribuição dos computadores no processamento das informações e das técnicas de diagnósticos. A contribuição da inteligência artificial na automatização do diagnóstico de defeito vem se desenvolvendo continuamente e a crescente automação na indústria vêm de encontro a estas novas técnicas. Na área nuclear, é crescente a preocupação com a segurança nas instalações, e têm sido procuradas técnicas mais eficazes para aumentar o nível de segurança [59]. Algumas usinas nucleares já possuem instaladas, em algumas máquinas, sensores que permitem a verificação de suas condições operacionais. Desta forma, este trabalho também pode colaborar nesta área, ajudando no diagnóstico das condições de operação das máquinas, mais especificamente, no diagnóstico das condições dos rolamentos. O principal objetivo deste trabalho é detectar e classificar os tipos de defeitos apresentados pelos rolamentos analisados e para tal desenvolveu-se uma nova técnica de extração de característica dos sinais de aceleração, baseando-se no Zero Crossing da Transformada de Wavelet contribuindo com o desenvolvimento desta dinâmica área. Como técnica de inteligência artificial foi utilizada a Lógica Paraconsistente Anotada com dois valores (LPA2v), oferecendo a sua contribuição na automação do diagnóstico de defeitos, pois esta lógica pode tratar inclusive de resultados contraditórios que as técnicas de extração de características possam apresentar. Foi desenvolvido um programa de computador onde varias técnicas de extração de características foram utilizadas para realização de diagnóstico das condições de operação dos rolamentos. Este programa foi testado através de dados experimentais obtidas em uma bancada de ensaios para rolamentos onde defeitos previamente conhecidos foram utilizados para avaliar o desempenho das novas técnicas utilizadas. Este trabalho também se concentrou na identificação de defeitos em sua fase inicial procurando utilizar acelerômetros, pois são sensores robustos, de baixo custo e facilmente encontrados na indústria em geral. Os resultados deste trabalho foram obtidos através da utilização de um banco de dados experimental e verificou-se que os resultados de diagnósticos de defeitos mostraramse bons para defeitos em fase inicial. / The monitoring and diagnosis area is presenting an impressive development in recent years with the introduction of new diagnosis techniques as well as with the use the computers in the processing of the information and of the diagnosis techniques. The contribution of the artificial intelligence in the automation of the defect diagnosis is developing continually and the growing automation in the industry meets this new techniques. In the nuclear area, the growing concern with the safety in the facilities requires more effective techniques that have been sought to increase the safety level. Some nuclear power stations have already installed in some machines, sensors that allow the verification of their operational conditions. In this way, the present work can also collaborate in this area, helping in the diagnosis of the operational condition of the machines. This work presents a new technique for characteristic extraction based on the Zero Crossing of Wavelet Transform, contributing with the development of this dynamic area. The technique of artificial intelligence was used in this work the Paraconsistente Logic of Annotation with Two values (LPA2v), contributing with the automation of the diagnosis of defects, because this logic can deal with contradictory results that the techniques of feature extraction can present. This work also concentrated on the identification of defects in its initial phase trying to use accelerometers, because they are robust sensors, of low cost and can be easily found the industry in general. The results obtained in this work were accomplished through the use of an experimental database, and it was observed that the results of diagnoses of defects shown good results for defects in their initial phase.

A área de monitoração e diagnóstico vem apresentando um acentuado desenvolvimento nos últimos anos com a introdução de novas técnicas de diagnóstico bem como vem contando com a contribuição dos computadores no processamento das informações e das técnicas de diagnósticos. A contribuição da inteligência artificial na automatização do diagnóstico de defeito vem se desenvolvendo continuamente e a crescente automação na indústria vêm de encontro a estas novas técnicas. Na área nuclear, é crescente a preocupação com a segurança nas instalações, e têm sido procuradas técnicas mais eficazes para aumentar o nível de segurança [59]. Algumas usinas nucleares já possuem instaladas, em algumas máquinas, sensores que permitem a verificação de suas condições operacionais. Desta forma, este trabalho também pode colaborar nesta área, ajudando no diagnóstico das condições de operação das máquinas, mais especificamente, no diagnóstico das condições dos rolamentos. O principal objetivo deste trabalho é detectar e classificar os tipos de defeitos apresentados pelos rolamentos analisados e para tal desenvolveu-se uma nova técnica de extração de característica dos sinais de aceleração, baseando-se no Zero Crossing da Transformada de Wavelet contribuindo com o desenvolvimento desta dinâmica área. Como técnica de inteligência artificial foi utilizada a Lógica Paraconsistente Anotada com dois valores (LPA2v), oferecendo a sua contribuição na automação do diagnóstico de defeitos, pois esta lógica pode tratar inclusive de resultados contraditórios que as técnicas de extração de características possam apresentar. Foi desenvolvido um programa de computador onde varias técnicas de extração de características foram utilizadas para realização de diagnóstico das condições de operação dos rolamentos. Este programa foi testado através de dados experimentais obtidas em uma bancada de ensaios para rolamentos onde defeitos previamente conhecidos foram utilizados para avaliar o desempenho das novas técnicas utilizadas. Este trabalho também se concentrou na identificação de defeitos em sua fase inicial procurando utilizar acelerômetros, pois são sensores robustos, de baixo custo e facilmente encontrados na indústria em geral. Os resultados deste trabalho foram obtidos através da utilização de um banco de dados experimental e verificou-se que os resultados de diagnósticos de defeitos mostraramse bons para defeitos em fase inicial. / The monitoring and diagnosis area is presenting an impressive development in recent years with the introduction of new diagnosis techniques as well as with the use the computers in the processing of the information and of the diagnosis techniques. The contribution of the artificial intelligence in the automation of the defect diagnosis is developing continually and the growing automation in the industry meets this new techniques. In the nuclear area, the growing concern with the safety in the facilities requires more effective techniques that have been sought to increase the safety level. Some nuclear power stations have already installed in some machines, sensors that allow the verification of their operational conditions. In this way, the present work can also collaborate in this area, helping in the diagnosis of the operational condition of the machines. This work presents a new technique for characteristic extraction based on the Zero Crossing of Wavelet Transform, contributing with the development of this dynamic area. The technique of artificial intelligence was used in this work the Paraconsistente Logic of Annotation with Two values (LPA2v), contributing with the automation of the diagnosis of defects, because this logic can deal with contradictory results that the techniques of feature extraction can present. This work also concentrated on the identification of defects in its initial phase trying to use accelerometers, because they are robust sensors, of low cost and can be easily found the industry in general. The results obtained in this work were accomplished through the use of an experimental database, and it was observed that the results of diagnoses of defects shown good results for defects in their initial phase.

Esta tese tem como objetivo estudar a paraconsistentização de lógicas, que consiste em encontrar, para uma dada lógica, sua contraparte paraconsistente. A estratégia geral utilizada para tal tarefa é: ao encontrar premissas inconsistentes, faça inferências a partir de seus subconjuntos consistentes. Para isso, foram desenvolvidos dois métodos de paraconsistentização. O primeiro consiste na utilização do arcabouço teórico da Teoria de Categorias, enquanto que o segundo faz uso da teoria da prova e da noção de estruturas valorativas. Após a apresentação dos métodos, algumas propriedades formais de ambas as propostas foram investigadas. Em particular, provou-se que a paraconsistentização preserva correção e completude, isto é, se a lógica inicial for correta e completa, sua contraparte paraconsistente também o será. Também foram estabelecidas as condições suficientes que uma lógica deve satisfazer para poder ser paraconsistentizada. A partir destes resultados, os dois métodos propostos foram comparados com outras abordagens desenvolvidas para raciocinar a partir de conjuntos inconsistentes. Por fim, a tese analisa o debate entre pluralismo e monismo lógico investigando, especificamente, as contribuições da paraconsistentização para tal discussão. / This thesis aims to study the paraconsistentization of logics, which consists in finding, for a given logic, its paraconsistent counterpart. The general strategy used for this task is the following: when finding inconsistent premises, one must draw inferences from its consistent subsets. For this, two methods of paraconsistentization were developed. The first consists in using the framework of Category Theory, while the second one makes use of proof theory and the notion of valuation structure. After their presentation, some formal properties of both proposals were investigated. In particular, it was proved that paraconsistentization preserves soundness and completeness, that is, if the initial logic is sound and complete, its paraconsistent counterpart will also be. The sufficient conditions that a logic must satisfy in order for it to be paraconsistentized were also established. From these results, the two proposed methods were compared with other approaches developed to reason from inconsistent sets. Finally, the thesis analyses the debate between pluralism and logical monism investigating, specifically, the contributions of paraconsistentization to this discussion.

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.

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

O Processamento e Análise Digital de Imagens é utilizado cada vez mais para agilizar processos, aumentar a precisão, segurança e confiabilidade de dados extraídos de imagens nas mais diversas áreas de pesquisa. No entanto, muitas vezes é necessário que o pesquisador faça, ele próprio, o pré-processamento das imagens, mesmo não sendo um especialista nesta área. Isto coloca em risco o próprio objetivo do uso do Processamento e Análise Digital de Imagens. Este trabalho analisa a relação dos dados extraídos de uma imagem (micrografia) através do software livre ImageJ com relação ao seu processamento final desejado, avaliando assim, a necessidade ou não, de uma ou mais sequencias de pré-processamento para adequar a imagem para o processamento final, indicando ainda quais fatores de influência apresentam informações irrelevantes ou incompletas para o processamento final utilizando ferramentas da Lógica Paraconsistente Anotada. Os resultados obtidos mostram que esta abordagem carece de informações diversificadas sobre a imagem original capturada que possam subsidiar a tomada de decisão quanto aos procedimentos necessários e, para o pré-processamento adequado ao objetivo desejado. / Processing and Analysis of Digital Images is increasingly used to streamline processes, improve accuracy, safety and reliability of data extracted from images in various research areas. However, it is often necessary for the researcher to make himself, the preprocessing of images, although not an expert in this area. This puts at risk the very purpose of using the Processing and Analysis of Digital Images. This paper analyzes the relationship of the data extracted from an image (micrograph) through the free software ImageJ, with respect to its desired final processing. Thus, evaluating the necessity or not, of one or more sequences of preprocessing to adjust the image to the final processing, further indicating which factors influence presents incomplete or irrelevant information for final processing using tools of Annotaded Paraconsistent Logic. The results show that this approach lacks diversified information about the original image captured that can support decision making about procedures for appropriate preprocessing to the desired goal.

O Processamento e Análise Digital de Imagens é utilizado cada vez mais para agilizar processos, aumentar a precisão, segurança e confiabilidade de dados extraídos de imagens nas mais diversas áreas de pesquisa. No entanto, muitas vezes é necessário que o pesquisador faça, ele próprio, o pré-processamento das imagens, mesmo não sendo um especialista nesta área. Isto coloca em risco o próprio objetivo do uso do Processamento e Análise Digital de Imagens. Este trabalho analisa a relação dos dados extraídos de uma imagem (micrografia) através do software livre ImageJ com relação ao seu processamento final desejado, avaliando assim, a necessidade ou não, de uma ou mais sequencias de pré-processamento para adequar a imagem para o processamento final, indicando ainda quais fatores de influência apresentam informações irrelevantes ou incompletas para o processamento final utilizando ferramentas da Lógica Paraconsistente Anotada. Os resultados obtidos mostram que esta abordagem carece de informações diversificadas sobre a imagem original capturada que possam subsidiar a tomada de decisão quanto aos procedimentos necessários e, para o pré-processamento adequado ao objetivo desejado. / Processing and Analysis of Digital Images is increasingly used to streamline processes, improve accuracy, safety and reliability of data extracted from images in various research areas. However, it is often necessary for the researcher to make himself, the preprocessing of images, although not an expert in this area. This puts at risk the very purpose of using the Processing and Analysis of Digital Images. This paper analyzes the relationship of the data extracted from an image (micrograph) through the free software ImageJ, with respect to its desired final processing. Thus, evaluating the necessity or not, of one or more sequences of preprocessing to adjust the image to the final processing, further indicating which factors influence presents incomplete or irrelevant information for final processing using tools of Annotaded Paraconsistent Logic. The results show that this approach lacks diversified information about the original image captured that can support decision making about procedures for appropriate preprocessing to the desired goal.

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

Atualmente desenvolvem-se técnicas para a análise, identificação e o reconhecimento da fala. As mais eficientes mostram-se matematicamente complicadas, baseadas em análise estatísticas de dados, o que torna o sistema moroso, necessitando uma grande quantidade de dados para amostras. Este trabalho tem como objetivo apresentar a possibilidade do uso de Estruturas Neurais Artificiais Paraconsistentes no aprendizado e reconhecimento de sinais de fala, independentemente de análise estatística, ou número de amostras. A partir de um estudo piloto, identificou-se a necessidade de um aprofundamento no estudo dos Traços Formantes dos Fones. Com os Formantes dos Fones pode-se criar um sistema capaz de reconhecer sons produzidos em qualquer língua, pelas combinações da produção de sons através da emissão simultânea de um conjunto de Formantes. Como possível solução para a identificação dos Formantes dos Fones propõe-se neste trabalho a criação do conceito de Constelação Fônica, que consiste no reconhecimento de combinações de características matemáticas identificadas nos sinais sonoros de fala. Como uma forma de reconhecer estas Constelações, apresentam-se as Redes Neurais Artificiais Paraconsistentes, eficientes no reconhecimento de padrões por proximidade e com capacidade para tratamento de sinais contraditórios e paracompletos. Para a viabilização desta solução, criou-se um Programa de Computador (Sistema de Análise da Produção da Fala - SIAPF) capaz de promover os tratamentos necessários em um sinal falado, gerando assim a sua Constelação Fônica e sua respectiva Rede Neural Artificial Paraconsistente. A partir da Rede Neural Artificial Paraconsistente correspondente ao sinal em questão, pode-se estudá-lo de uma forma interpretativa, com menor acumulo de dados e tratamentos estatísticos do que com as ferramentas tradicionais. O SIAPF passa a ser mais uma ferramenta para análise de produção de fala, viabilizando a criação de novas formas de medidas quantitativas e normatizadas para os Formantes da Fala. / Currently, many diferent techniques are developing for the analysis identification and recognition of speech. The most efficient are shown mathematically complicated, based on analysis statistical of data, that actually makes systems very slow, creating the nessecity for a great amount of data for samples. The aim of this work is to present the possibility of the use of Paraconsistent Artificial Neural Network Structures, in the learnig and recognition of speech signals, independent of statistical analysis, or the number of samples. Starting from a pilot study, the need of a deep study of the Formants of Phones was identified. With the Formants of Phones, a system capable to recognize sounds produced in any language, through conbinations of the production of sounds and simultaneous emission of a group of Formants was created. A possible solution for the identification of Formants of Phones proposed in this work is the creation of Phonic Constellation concept, witch uses the recognition of combinations of identified mathematical characteristcs in the resoant signal of speech. As a form of recognizing these Constellation, this work present the Paraconsistent Artificial Neural Network, efficient in the recognition of patterns for proximity and with capacity to process contractory and paracomplet signals. To develop this solution a Computer Program (System of Analysis of the Production of Speech - SIAPF) capable to process the necessary calculations of a speech signal, generating its Phonic Constelattion and its respective Paraconsistent Artificial Neural Network was created. The subject signal can be studied in an interpretative way using the Paraconsistent Artificial Neural Network with a minimal accumulation of data and statistical calculations compared to traditional tools. The SIAPF is another new tool for analysis of speech production, creating new ways for quantitative and standard measures of Formants of Speech.

Atualmente desenvolvem-se técnicas para a análise, identificação e o reconhecimento da fala. As mais eficientes mostram-se matematicamente complicadas, baseadas em análise estatísticas de dados, o que torna o sistema moroso, necessitando uma grande quantidade de dados para amostras. Este trabalho tem como objetivo apresentar a possibilidade do uso de Estruturas Neurais Artificiais Paraconsistentes no aprendizado e reconhecimento de sinais de fala, independentemente de análise estatística, ou número de amostras. A partir de um estudo piloto, identificou-se a necessidade de um aprofundamento no estudo dos Traços Formantes dos Fones. Com os Formantes dos Fones pode-se criar um sistema capaz de reconhecer sons produzidos em qualquer língua, pelas combinações da produção de sons através da emissão simultânea de um conjunto de Formantes. Como possível solução para a identificação dos Formantes dos Fones propõe-se neste trabalho a criação do conceito de Constelação Fônica, que consiste no reconhecimento de combinações de características matemáticas identificadas nos sinais sonoros de fala. Como uma forma de reconhecer estas Constelações, apresentam-se as Redes Neurais Artificiais Paraconsistentes, eficientes no reconhecimento de padrões por proximidade e com capacidade para tratamento de sinais contraditórios e paracompletos. Para a viabilização desta solução, criou-se um Programa de Computador (Sistema de Análise da Produção da Fala - SIAPF) capaz de promover os tratamentos necessários em um sinal falado, gerando assim a sua Constelação Fônica e sua respectiva Rede Neural Artificial Paraconsistente. A partir da Rede Neural Artificial Paraconsistente correspondente ao sinal em questão, pode-se estudá-lo de uma forma interpretativa, com menor acumulo de dados e tratamentos estatísticos do que com as ferramentas tradicionais. O SIAPF passa a ser mais uma ferramenta para análise de produção de fala, viabilizando a criação de novas formas de medidas quantitativas e normatizadas para os Formantes da Fala. / Currently, many diferent techniques are developing for the analysis identification and recognition of speech. The most efficient are shown mathematically complicated, based on analysis statistical of data, that actually makes systems very slow, creating the nessecity for a great amount of data for samples. The aim of this work is to present the possibility of the use of Paraconsistent Artificial Neural Network Structures, in the learnig and recognition of speech signals, independent of statistical analysis, or the number of samples. Starting from a pilot study, the need of a deep study of the Formants of Phones was identified. With the Formants of Phones, a system capable to recognize sounds produced in any language, through conbinations of the production of sounds and simultaneous emission of a group of Formants was created. A possible solution for the identification of Formants of Phones proposed in this work is the creation of Phonic Constellation concept, witch uses the recognition of combinations of identified mathematical characteristcs in the resoant signal of speech. As a form of recognizing these Constellation, this work present the Paraconsistent Artificial Neural Network, efficient in the recognition of patterns for proximity and with capacity to process contractory and paracomplet signals. To develop this solution a Computer Program (System of Analysis of the Production of Speech - SIAPF) capable to process the necessary calculations of a speech signal, generating its Phonic Constelattion and its respective Paraconsistent Artificial Neural Network was created. The subject signal can be studied in an interpretative way using the Paraconsistent Artificial Neural Network with a minimal accumulation of data and statistical calculations compared to traditional tools. The SIAPF is another new tool for analysis of speech production, creating new ways for quantitative and standard measures of Formants of Speech.