Em nossa dissertação de mestrado, ESTUDOS SOBRE A LÓGICA PARACONSISTENTE DL E APLICAÇÕES EM DIREITO estávamos interessados na construção de um sistema deôntico paraconsistente a partir de uma lógica dialética e na introdução de operadores de interpretação na lógica clássica. A pesquisa atual pretende ampliar o uso de lógicas deônticas paraconsistentes para formalizações com quantificadores e operador de igualdade e apresentar a lógica DL-DQ=, como uma melhor formalização do que os sistemas input/out e algumas lógicas de proposições normativas. Pretendemos aplicar a lógica DL-DQ= na solução de paradoxos deônticos. / In our masters dissertation, ESTUDOS SOBRE A LÓGICA PARACONSISTENTE DL E APLICAÇÕES EM DIREITO (Studies of Paraconsistent Logic DL and its applications in Law) we focused on establishing a paraconsistent deontic system based on specific dialectical logic and urging in interpretations symbols in classical logic. In this research we try to expand the paraconsistent deontic logic to formal languages with symbols for quantifiers and equality and to develop the logic DL-DQ= which we believe presents a better formalization, compared to two other system called Input\\Output and Normative Propositional Logics. We intend to apply DL-DQ= as tool to solve deontic paradoxes.

O desenvolvimento de sistemas de lógica paraconsistente tem melhorado o nosso poder analítico e aprofundou nossa compreensão dos sistemas de lógicas não-clássicas. Esses sistemas têm possibilitado aplicações em diversas áreas, notadamente em Direito. Embora a lógica clássica seja aceita como um valioso mecanismo para analisar os problemas no domínio dos estudos jurídicos, existem outras abordagens, como o cálculo DL, que contém, em certo sentido, a lógica clássica e, portanto, a teoria dos silogismos, amplamente aceitos no raciocínio jurídico. O objetivo principal da dissertação é apresentar a lógica paraconsistente DL, um sistema desenvolvido por N. da Costa e R. Wolf, baseado no trabalho de McGuill e Parry. Apresentaremos como este sistema pode ser aplicado como uma ferramenta para resolver problemas relacionados com o Direito e de uma formalização de aspectos da hermenêutica. / The development of Paraconsistent logical systems has enhanced our analytical power and deepened our understanding of non-classic logic systems. It also has rendered applications in many fields, notably in Law. Although classical logic is accepted as a valuable mechanism to analyze problems in the realm of legal studies, there are stronger frameworks such as the DL calculus, which encompasses classical logic and therefore the silogism, widely accepted in legal reasoning. My chief aim is to present an overview of the DL paraconsistent calculus, a system developed by da Costa and Wolf, based on the work of McGuill and Parry. I will also show how this system may be applied as a tool in solving problems relating lawlogic and how the formalization of these problems allows for hermeneutical analysis.

O desenvolvimento de sistemas de lógica paraconsistente tem melhorado o nosso poder analítico e aprofundou nossa compreensão dos sistemas de lógicas não-clássicas. Esses sistemas têm possibilitado aplicações em diversas áreas, notadamente em Direito. Embora a lógica clássica seja aceita como um valioso mecanismo para analisar os problemas no domínio dos estudos jurídicos, existem outras abordagens, como o cálculo DL, que contém, em certo sentido, a lógica clássica e, portanto, a teoria dos silogismos, amplamente aceitos no raciocínio jurídico. O objetivo principal da dissertação é apresentar a lógica paraconsistente DL, um sistema desenvolvido por N. da Costa e R. Wolf, baseado no trabalho de McGuill e Parry. Apresentaremos como este sistema pode ser aplicado como uma ferramenta para resolver problemas relacionados com o Direito e de uma formalização de aspectos da hermenêutica. / The development of Paraconsistent logical systems has enhanced our analytical power and deepened our understanding of non-classic logic systems. It also has rendered applications in many fields, notably in Law. Although classical logic is accepted as a valuable mechanism to analyze problems in the realm of legal studies, there are stronger frameworks such as the DL calculus, which encompasses classical logic and therefore the silogism, widely accepted in legal reasoning. My chief aim is to present an overview of the DL paraconsistent calculus, a system developed by da Costa and Wolf, based on the work of McGuill and Parry. I will also show how this system may be applied as a tool in solving problems relating lawlogic and how the formalization of these problems allows for hermeneutical analysis.

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.

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.

Com o uso de um conceito ainda não explorado para fins de classificação de dados, baseado em Lógica Paraconsistente Anotada (LPA), este trabalho visa à construção de um sistema inteligente para classificação de gêneros musicais (Music Genre Classification - MGC). Este tema, de caráter emergente na literatura, tem recebido atenção crescente da comunidade científica, tendo em vista a sua grande aplicabilidade, destacando-se o potencial de comercialização de dados multimídia pela Internet, assim como a automatização de inúmeras tarefas de data mining que envolvem sinais musicais. Utilizando uma base de dados composta por amostras de músicas representativas de cada gênero musical, tais como jazz, bolero, bossa nova, forró, salsa e sertanejo, assim como de um classificador discriminativo paraconsistente, uma abordagem supervisionada é proposta para solucionar o problema. O primeiro módulo do sistema realiza a extração de características dos diversos segmentos das músicas com base na análise tempo-frequência associada com as bandas críticas do ouvido humano. Por outro lado, o segundo módulo utiliza o classificador proposto, que deve permitir a manipulação de sinais com características contraditórias de uma maneira mais semelhante àquela realizada pelo cérebro humano. Os resultados, quando comparados com as abordagens pré-existentes para MGC, demonstram a viabilidade do uso da LPA para tal fim. Além disso, caracteriza-se neste trabalho, uma contribuição original ao estado-da-arte no tema, que consiste justamente no uso da LPA para MGC, procedimento para o qual inexiste descrição na literatura até este momento. / By using a new concept, which is based on Paraconsistent Logic (LPA) and has not yet been applied for classification, this work aims at constructing an intelligent system for Music Genre Classification (MGC). This topic, that is emergent in the literature, has received an increasing attention from the scientific community due to its applicability, emphazising both a commercial potential to commercialize multimedia content on the Internet and data mining tasks involving music signals. By adopting a database formed by samples of songs, which represent different styles of music, such as jazz, bolero, bossa nova, forró, salsa and sertanejo, and a discriminative paraconsistent classifier, a supervised procedure is used to solve the problem. The system is divided in two modules. The first extracts features from the music files, based on the concepts of time-frequency analysis and crictical bands of the human ear. On the other hand, the second implements the proposed classifier, which allows an efficient treatment of contradictions in such a way that is more similar to the human brain. The results obtained, when compared with existing approaches used to MGC, demonstrate how LPA is suitable for this purpose. Additionally, this is the original contribution to the state-of-the-art: the use of LPA for MGC, an inexistent approach up to date.

Com o uso de um conceito ainda não explorado para fins de classificação de dados, baseado em Lógica Paraconsistente Anotada (LPA), este trabalho visa à construção de um sistema inteligente para classificação de gêneros musicais (Music Genre Classification - MGC). Este tema, de caráter emergente na literatura, tem recebido atenção crescente da comunidade científica, tendo em vista a sua grande aplicabilidade, destacando-se o potencial de comercialização de dados multimídia pela Internet, assim como a automatização de inúmeras tarefas de data mining que envolvem sinais musicais. Utilizando uma base de dados composta por amostras de músicas representativas de cada gênero musical, tais como jazz, bolero, bossa nova, forró, salsa e sertanejo, assim como de um classificador discriminativo paraconsistente, uma abordagem supervisionada é proposta para solucionar o problema. O primeiro módulo do sistema realiza a extração de características dos diversos segmentos das músicas com base na análise tempo-frequência associada com as bandas críticas do ouvido humano. Por outro lado, o segundo módulo utiliza o classificador proposto, que deve permitir a manipulação de sinais com características contraditórias de uma maneira mais semelhante àquela realizada pelo cérebro humano. Os resultados, quando comparados com as abordagens pré-existentes para MGC, demonstram a viabilidade do uso da LPA para tal fim. Além disso, caracteriza-se neste trabalho, uma contribuição original ao estado-da-arte no tema, que consiste justamente no uso da LPA para MGC, procedimento para o qual inexiste descrição na literatura até este momento. / By using a new concept, which is based on Paraconsistent Logic (LPA) and has not yet been applied for classification, this work aims at constructing an intelligent system for Music Genre Classification (MGC). This topic, that is emergent in the literature, has received an increasing attention from the scientific community due to its applicability, emphazising both a commercial potential to commercialize multimedia content on the Internet and data mining tasks involving music signals. By adopting a database formed by samples of songs, which represent different styles of music, such as jazz, bolero, bossa nova, forró, salsa and sertanejo, and a discriminative paraconsistent classifier, a supervised procedure is used to solve the problem. The system is divided in two modules. The first extracts features from the music files, based on the concepts of time-frequency analysis and crictical bands of the human ear. On the other hand, the second implements the proposed classifier, which allows an efficient treatment of contradictions in such a way that is more similar to the human brain. The results obtained, when compared with existing approaches used to MGC, demonstrate how LPA is suitable for this purpose. Additionally, this is the original contribution to the state-of-the-art: the use of LPA for MGC, an inexistent approach up to date.

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.

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.

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.