Logica Paraconsistente
Mostrando 1-12 de 37 artigos, teses e dissertações.
-
1. Aderência ao programa de integridade da lei anticorrupção brasileira e implantação de controles internos
RESUMO Este estudo investiga o grau de aderência das empresas brasileiras de capital aberto aos critérios do programa de integridade estabelecido na lei anticorrupção e, ademais, avalia a relação entre esse programa e a implantação de controles internos. Diante dos escândalos contábeis e fraudes corporativas reportados em diversos países, incluind
Rev. contab. finanç.. Publicado em: 08/10/2018
-
2. Análise de decisão multicritério para alocação de recursos e avaliação de tecnologias em saúde: tão longe e tão perto?
A análise de decisão multicritérios (ADMC) é uma ferramenta emergente que permite a integração de fatores relevantes para os processos de avaliação de tecnologias em saúde (ATS). O objetivo deste estudo é apresentar uma síntese dos aspectos metodológicos da ADMC: definições, abordagens, aplicações e etapas de implementação. Realizou-se um e
Cad. Saúde Pública. Publicado em: 26/10/2017
-
3. Apêndice C - Fonte Oral em História da Lógica Paraconsistente
Parte do livro:Para além das Colunas de Hércules, uma história da paraconsistência: de Heráclito a Newton da Costa
Autor(es): Gomes, Evandro Luís; D'Ottaviano, Itala M. Loffredo
Editora da Unicamp. Publicado em: 2017
-
4. Para além das Colunas de Hércules, uma história da paraconsistência: de Heráclito a Newton da Costa
Neste livro, os autores historiam o advento e o paulatino estabelecimento da perspectiva paraconsistente no pensamento ocidental. Num estudo inédito, resgatam e reconstroem os principais argumentos de personagens fundamentais para a constituição dessa perspectiva teórica, desde sua “pré-história” – com Heráclito de Éfeso, Aristóteles e os estoicos; Pedro Abelardo, Pedro Hispano, Guilherme de Ockham e muitos outros – até sua plena configuração no século XX. São assim reconstituídas as ideias de Hegel, Vasiliev, Łukasiewicz entre outros precursores da paraconsistência, culminando na exposição detalhada do contexto da lógica contemporânea, no qual se inserem as contribuições efetivas de Stanisław Jaśkowski e Newton da Costa, que estabeleceram definitivamente o paradigma paraconsistente.
Autor(es): Gomes, Evandro Luís; D'Ottaviano, Itala M. Loffredo
Editora da Unicamp. Publicado em: 2017
-
5. Paraconsistents artificial neural networks applied to the study of mutational patterns of the F subtype of the viral strains of HIV-1 to antiretroviral therapy
RESUMO A elevada variabilidade do HIV-1, bem como, a ausência de mecanismos eficientes de reparo durante os estágios da replicação viral, contribuem para a rápida emergência de cepas de HIV-1 resistentes aos antirretrovirais. A pressão seletiva exercida pelas drogas, leva à fixação de mutações capazes de conferir graus variados de resistência. A
An. Acad. Bras. Ciênc.. Publicado em: 04/03/2016
-
6. Aplicação do Método Paraconsistente de Decisão na Seleção de Tecnologias de Transporte Público Urbano
Resumo Este trabalho tem como objetivo propor uma metodologia para seleção das diversas alternativas de transporte público, baseando-se na aplicação da lógica paconsistente em processos decisórios na área de planejamento de transportes. Utilizou-se o Método Paraconsistente de Decisão (MPD) como instrumento de apoio na seleção para o Eixo Sul do D
J. Transp. Lit.. Publicado em: 2015-09
-
7. Da lógica paraconsistente à quase-verdade: um exame de dois trabalhos de Newton da Costa.
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, p
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 31/05/2012
-
8. Calculus infinitesimalis: uma teoria entre a razão e o mito?
Neste artigo percorremos parte dos caminhos históricos e lógico-matemáticos que unem o cálculo infinitesimal à análise não-standard de Abraham Robinson, e esta ao cálculo diferencial paraconsistente - um cálculo proposto por Newton da Costa, que tem como lógica e teoria de conjuntos subjacentes a lógica paraconsistente e a teoria paraconsistente d
Ciênc. educ. (Bauru). Publicado em: 2012
-
9. Identificação de patologias na laringe com base na Discriminative Paraconsistent Machine (DPM) / Identification of pathology in larynx based on Discriminative Paraconsistent Machine
Este trabalho de doutorado apresenta duas inovações: a Discriminative Paraconsistent Machine (DPM), que consiste em um novo classificador elaborado com base na lógica paraconsistente anotada (LPA) e a aplicação da DPM para a identificação de patologias na laringe, por meio de exames nos sinais de voz de um locutor. Não há relatos na literatura sobre
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 14/10/2011
-
10. Newton da Costa e a escola de Curitiba
Este artigo pretende apresentar o início das publicações de Newton da Costa fora do Brasil. Dois matemáticos desempenharam um papel importante neste início: Marcel Guillaume da Universidade de Clermont-Ferrand e Paulo Dedecker das Universidades de Lille e Liège. Ao mesmo tempo lembramos o papel desempenhado por Newton da Costa e Jayme Machado Cardoso n
Manuscrito. Publicado em: 2011-06
-
11. Diagnóstico cefalométrico eletrônico: contextualização de variáveis cefalométricas
INTRODUÇÃO: avaliações paramétricas clássicas e variáveis cefalométricas isoladas podem não prover a melhor informação em morfologia craniofacial. Por outro lado, uma cefalometria contextualizada pode ser bem mais promissora, uma vez que permite a integração de variáveis cefalométricas ponderadas. OBJETIVO: a proposta principal desse artigo é
Dental Press Journal of Orthodontics. Publicado em: 2011-04
-
12. Sobre os fundamentos de programação lógica paraconsistente / On the foundations of paraconsistent logic programming
A Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como programas de computador. A Programação Lógica tem sido extensamente utilizada em ramos da Inteligência Artificial tais como Representação do Conhecimento e Raciocínio de Senso Comum. Esta apr
Publicado em: 2010