Logica Proposicional
Mostrando 1-12 de 18 artigos, teses e dissertações.
-
1. O ENS TERTIO ADIACENS DE GERARDO ODON E O REALISMO PROPOSICIONAL
O artigo aborda o tratado lógico de Geraldo Odon "De duobos communissimis principiis scientiarum" focando na noção de ens tertio adiacens: o ente significado pela totalidade da proposição e seu verificador. Odon o identifica ao sujeito dos princípios de não-contradição e terceiro excluído. O ens tertio adiacens também corresponde ao primeiro objet
Kriterion. Publicado em: 2015-06
-
2. Sobre inferências e interfaces: validade e relevância
Os gregos clássicos, desde que os textos sofistas representavam ameaças ao raciocínio legítimo ancorado na noção de verdade, trataram de examinar as relações entre os argumentos válidos, informais e falaciosos. Aristóteles, principalmente, distinguiu os modos formais de abstrações dos usos práticos cotidianos, abordando as relações entre as fo
Ling. (dis)curso. Publicado em: 2014-09
-
3. Análise da distribuição do número de operações de resolvedores SAT / Distribution\ s analysis of operations\ s number of SAT solvers
No estudo da complexidade de problemas computacionais destacam-se duas classes conhecidas como P e NP. A questao P=NP e um dos maiores problemas nao resolvidos em Ciencia da Compu- tacao teorica e Matematica contemporanea. O problema SAT foi o primeiro problema reconhecido como NP-completo e consiste em verificar se uma determinada formula da logica proposic
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/02/2012
-
4. Árvore de Características e Redes de Petri Colorida com Expressões de Lógica Proposicional: Propostas de Modelagem de Requisitos e Fluxo de Navegação
Geralmente, a análise de requisitos é feita por proposições ad hoc de especialistas. O personagem que detém o conhecimento a respeito do domínio a ser desenvolvido, normalmente, não compreende a linguagem dos especialistas. Assim, as pessoas que deveriam especificar o software são relegadas a um segundo plano, como é o caso de alunos e professores d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/08/2011
-
5. Um papel para a lógica intraproposicional de Jean Piaget na representação do conhecimento do senso comum
Este trabalho procura utilizar algumas das idéias de J. Piaget, em especial a "Lógica Operatória Intraproposicional", para uma análise das relações de herança entre classes empregadas em sistemas de representação de conhecimento. Procura-se sistematizar a noção de taxonomias do conhecimento "científico", ou "classificações sistemáticas". Estas
Publicado em: 2010
-
6. Semântica proposicional categórica
The basic concepts of what later became called category theory were introduced in 1945 by Samuel Eilenberg and Saunders Mac Lane. In 1940s, the main applications were originally in the elds of algebraic topology and algebraic abstract. During the 1950s and 1960s, this theory became an important conceptual framework in other many areas of mathematical researc
Publicado em: 2010
-
7. Avaliação da correção proposicional dos subtestes memória lógica I e II da escala de memória de Wechsler e do perfil de eficiência comunicativa em diferentes grupos de idosos
Segundo Mansur (2005), dentre as alterações cognitivas encontradas na Doença de Alzheimer, está inclusa a linguagem, esta se apresenta alterada no âmbito semântico e na evolução dos sintomas lingüísticos, estudos recentes tem mostrado que estas alterações podem surgir por interação com as alterações da memória operacional. Neste estudo, 43 s
Publicado em: 2009
-
8. Transformations for proof-graphs with cycle treatment augmented via geometric perspective techniques
O presente trabalho é baseada em dois aspectos fundamentais: (i) o estudo de procedimentos de normalização para sistemas de provas, especialmente para a lógica clássica com dedução natural; e (ii) a investigação de técnicas da perspectiva geométrica aplicadas em propriedades da teoria da prova. Com isso, a motivação específica deste trabalho re
Publicado em: 2009
-
9. "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
-
10. Aprendizado relacional por um modelo neural
As técnicas que formam o campo da Descoberta de Conhecimento em Bases de Dados (DCBD) surgiram devido à necessidade de se tratar grandes volumes de dados. O processo completo de DCBD envolve um elevado grau de subjetividade e de trabalho não totalmente automatizado. Podemos dizer que a fase mais automatizada é a de Mineração de Dados (MD). Uma importan
Publicado em: 2007
-
11. LOGIC PROOFS COMPACTATION / COMPACTAÇÃO DE PROVAS LÓGICAS
É um fato conhecido que provas clássicas podem ser demasiadamente grandes. Estudos em teoria da prova descobriram diferenças exponenciais entre provas normais (ou provas livres do corte) e suas respectivas provas não normais. Por outro lado, provadores automáticos de teorema usualmente se baseiam na construção de provas normais, livres de corte ou pro
Publicado em: 2007
-
12. A KANTIAN LECTURE OF STANDARD DEONTIC LOGIC / UMA LEITURA KANTIANADA LÓGICA DEÔNTICA STANDARD
A presente dissertação é o resultado de uma investigação acerca da semântica para lógica deôntica standard. Restringindo-se à versão proposicional da mesma, o trabalho teve como principal objeto de estudo alguns textos do filósofo J. Hintikka, cuja proposta de semântica para lógica deôntica inclui a reinterpretação de uma noção importante d
Publicado em: 2006