Paraconsistente
Mostrando 13-24 de 38 artigos, teses e dissertações.
-
13. Identificação de inconsistências e indeterminações na classificação de equipamentos médico-hospitalares : lógica paraconsistente anotada / Identification of inconsistencies and indeterminacies of a medical equipment classification : paraconsistent annotated logic
O constante avanço tecnológico faz com que uma grande variedade de equipamentos médico-hospitalares esteja disponível no mercado e, cada vez mais, o corpo clínico torna-se dependente dessas novas tecnologias para tratar os pacientes de maneira mais segura e eficiente. No cenário do sistema de saúde atual, em que os recursos financeiros passaram a ser
Publicado em: 2010
-
14. Metodologia para análise da confiabilidade estrutural de escavações em rocha
Esse artigo apresenta uma metodologia para incorporação de incertezas à modelagem numérica pelo método dos elementos distintos em análises de confiabilidade estrutural de escavações em rocha. A metodologia foi desenvolvida levando em conta que os métodos de modelagem numérica normalmente empregados fornecem resultados pontuais, determinados a parti
Rem: Revista Escola de Minas. Publicado em: 2009-03
-
15. Paraconsistency and modality / Paraconsistencia e modalidade
O presente trabalho tem por objetivo examinar, sob a perspectiva lógico- filosófica da paraconsistência e da modalidade, as relações entre os conceitos lógico-filosófico-formais de negação paraconsistente e o conceito de modalidade. Nosso objetivo central consiste no exame de um operador modal de negação paraconsistente. Examinamos conhecidos resu
Publicado em: 2009
-
16. Mineração de dados de padrões climáticos sazonais usando a lógica paraconsistente / Data mining of climatic patterns using the paraconsistent logic
Esta dissertação apresenta uma técnica não-paramétrica que utiliza a Lógica Paraconsistente na Mineração de Dados Meteorológicos de reanálise dos históricos de informações de cinco regiões da América do Sul, de um período de 21 anos dos ciclos sazonais ocorridos entre os anos de 1980-2000. Esses dados são as entradas de uma Rede Neural Artif
Publicado em: 2009
-
17. Mineração de dados de padrões climáticos sazonais usando a lógica paraconsistente / Data mining of climatic patterns using the paraconsistent logic
Esta dissertação apresenta uma técnica não-paramétrica que utiliza a Lógica Paraconsistente na Mineração de Dados Meteorológicos de reanálise dos históricos de informações de cinco regiões da América do Sul, de um período de 21 anos dos ciclos sazonais ocorridos entre os anos de 1980-2000. Esses dados são as entradas de uma Rede Neural Artif
Publicado em: 2009
-
18. Estudos sobre a lógica paraconsciente DL e aplicações em Direito / Studies about DL paraconsistent and applications in Law
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�
Publicado em: 2009
-
19. Application of artificial neural networks paraconsistents as a method of aid in the diagnosis of Alzheimer disease / Aplicação de redes neurais artificiais paraconsistentes como método de auxílio no diagnóstico da doença de Alzheimer
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
Publicado em: 2009
-
20. Paraconsisted computation : a logic approach to quantum / Computação paraconsistente : uma abordagem logica a computação quantica
This work provides evidences to view computational complexity as logic-relative, by introducing new models of computation through non-classical logics and by studying their features with respect to computational expressivity and efficiency. From this point of view, we suggest a new way to study the efficiency of quantum computational models consisting in the
Publicado em: 2009
-
21. Natureza jurídica e eficácia da sentença civil: perspectiva da incidência normativa
Este trabalho se propõe a uma investigação científico-dogmática da natureza jurídica e da eficácia da sentença civil, sob o ponto de vista da incidência normativa, dando-lhes abordagem semiótica, por um viés da teoria dos códigos e da significação; inserções lingüísticas foram inevitáveis para a compreensão de que o lógico-formal pressup
Publicado em: 2008
-
22. Controle das decisões jurídicas pela técnica do auto-precedente : lógica deôntica paraconsistente aplicada em sistemas especialistas legais
O estágio em que se encontra debate filosófico-jurídico da atualidade ainda se mantém na polêmica entre o positivismo jurídico (postura voluntarista) e os anti-positivismos (posturas racionalistas), em que o positivismo jurídico realça o papel descritivo da atividade do jurista, que ao encarar o Direito como sistema deve tratar de reconhecer o Direit
Publicado em: 2008
-
23. Rede neural artificial paraconsistente e doença de Alzheimer: estudo preliminar
Resumo A análise visual de EEG tem se mostrado útil na ajuda de diagnóstico de DA, sendo indicado em alguns protocolos clínicos. Porém, tal análise está sujeita à imprecisão inerente de equipamentos, movimentos do paciente, registros elétricos e variação individual da análise visual do médico. Objetivos: Utilizar a Rede Neural Artificial Paraco
Dement. neuropsychol.. Publicado em: 2007-09
-
24. "Um provador de teoremas multi-estratégia" / A Multi-Strategy Tableau Prover
Nesta tese apresentamos o projeto e a implementação do KEMS, um provador de teoremas multi-estratégia baseado no método de tablôs KE. Um provador de teoremas multi-estratégia é um provador de teoremas onde podemos variar as estratégias utilizadas sem modificar o núcleo da implementação. Além de multi-estratégia, o KEMS é capaz de provar teorema
Publicado em: 2007