Inconsistencia Logica
Mostrando 1-12 de 16 artigos, teses e dissertações.
-
1. Estrutura lógica como metodologia para avaliação de políticas públicas: uma análise do Pronaf
O Programa Nacional de Fortalecimento da Agricultura Familiar (Pronaf) incluiu agricultores familiares no quadro das políticas públicas, ao seguir as tendências das políticas da década de 1990 de democratizar acesso a recursos financeiros. A sustentabilidade foi inserida no programa. Neste estudo, o propósito geral foi analisar os objetivos do Pronaf,
Rev. Adm. Pública. Publicado em: 2014-06
-
2. A proposta de uma teoria geral de princípios de abstração: uma contribuição à fundamentação da aritmética
O objetivo do presente artigo é apresentar a correlação entre o programa logicista fregeano de fundamentação da aritmética, o neologicismo de Crispin Wright e os chamados princípios de abstração. Minha tese é que uma análise geral de princípios de abstração, do ponto de vista lógico e explanatório, é mais basilar que o projeto de fundamenta�
Trans/Form/Ação. Publicado em: 2013-08
-
3. Abordagem de mapeamento digital de solos baseado em lógica fuzzy e conhecimento de campo de especialista
No Brasil, levantamentos de solos em escalas maiores ainda são escassos e necessários para dar apoio mais adequado ao planejamento de atividades relacionadas a solos e ambientes em áreas menores. Em consequência, este trabalho apresenta algumas técnicas de mapeamento digital de solos que permitem a produção mais rápida de levantamentos de solos, alé
Ciênc. agrotec.. Publicado em: 2013-08
-
4. Inconsistência e racionalidade : uma introdução ao paradoxo do prefácio
Esta dissertação visa a explicar o problema conhecido como Paradoxo do Prefácio e também avaliar algumas das principais soluções sugeridas na literatura sobre o assunto. O Paradoxo do Prefácio é uma situação na qual, aparentemente, uma pessoa possui um conjunto de crenças inconsistentes e racionais. Como a consistência é considerada um dos requi
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/08/2012
-
5. 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
-
6. Logicas da inconsistencia deontica / Logics of Deontic inconsistency
This work expose briefly what are the Logics of Formal Inconsistency ...Note: The complete abstract is available with the full electronic digital thesis or dissertations
Publicado em: 2009
-
7. Multimodalidades anodicas e catodicas : a negação controlada em logicas multimodais e seu poder expressivo
O presente trabalho tem por objetivo investigar o papel da negação no âmbito das modalidades, de forma a poder esclarecer até que ponto a negação pode ser atenuada, controlada ou mesmo totalmente eliminada em favor da melhor expressabilidade lógica de certas teorias, asserções ou raciocínios que sofrem os efeitos da negação. Contudo, atenuar ou e
Publicado em: 2009
-
8. Dilemas deonticos : uma abordagem baseada em relações de preferencia / Deontic dilemmas : an approach based on preference relations
Nosso objetivo neste trabalho é apresentar uma proposta de solução a paradoxos relacionados à lógica deôntica presentes na literatura, reunidos sob o que é chamado de dilemas deônticos - situações nas quais duas obrigações conflitantes estão presentes num mesmo sistema normativo. Situações deste tipo, quando formalizadas (em SDL - standard deo
Publicado em: 2008
-
9. Logicas da inconsistencia formal quantificadas / Quantified logics of formal inconsistency
This dissertation aims to develop a sound and complete semantics for a class of first-order logics known as Logics of Formal Inconsistency (LFIs). After general explanation about paraconsistent and first-order semantics, a particular LFI, labeled QmbC, will be characterized by means of an axiom system. Then a sound and complete semantics for it will be const
Publicado em: 2008
-
10. "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
-
11. Lugares de fala do leitor no Diário Gaúcho
A tese tem como tema o segmento popular da grande imprensa, mais especificamente os Lugares de Fala dos leitores no jornal Diário Gaúcho (DG). O DG, editado pela Rede Brasil Sul de Comunicação no Rio Grande do Sul, é lido por mais de um milhão de leitores das classes B, C e D. Dedica-se à prestação de serviço, ao entretenimento e à concessão de a
Publicado em: 2007
-
12. Análise dos projetos de desenvolvimento dos vales dos rios Tietê e Paraná
Este artigo avalia as alternativas propostas para a região dos vales dos rios Tietê e Paraná, no estado de São Paulo. Os projetos formalmente elaborados para a região foram analisados através do método da estrutura lógica. Tal método consiste em representar um projeto na forma de uma matriz 4 × 4 cujos elementos permitem a análise do projeto em qu
Revista de Administração Pública. Publicado em: 2006-04