Logica Modal
Mostrando 13-24 de 38 artigos, teses e dissertações.
-
13. Entre discursos e práticas: a construção da confiança nas interações professor-alunos
Esse estudo investigou as representações da confiança no futuro e na vida, nos textosdiscursos de professores e alunos, e os possíveis efeitos de sentido na construção da identidade profissional dos alunos, mais especificamente, na forma de verem o mundo, o futuro e a si mesmos nesse mundo. O desenvolvimento acelerado das tecnologias de informação e
Publicado em: 2010
-
14. Um modelo neural de aprimoramento progressivo para redução de dimensionalidade / A Progressive Enhancement Neural Model for dimensionality reduction
Nas últimas décadas, avanços em tecnologias de geração, coleta e armazenamento de dados têm contribuído para aumentar o tamanho dos bancos de dados nas diversas áreas de conhecimento humano. Este aumento verifica-se não somente em relação à quantidade de amostras de dados, mas principalmente em relação à quantidade de características descreve
Publicado em: 2010
-
15. An Introduction to Modal Logic / Introdução à Lógica Modal.
The goal of this work is to provide the studens who need to deal with modal logic as a tool with a text which might be concise but complete enough at the same time. Although this is a rather mathematical text, an effort is made in order to maintain the equilibrium between mathematical concepts and their philosophical origins for believing this equilibium is
Publicado em: 2009
-
16. 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
-
17. Expressividade intervalar nos poesilúdios de Almeida Prado
Este trabalho visa formar um corpus de entendimento da ordem dos materiais construídos a partir da lógica de intervalos. Os intervalos recorrentes são entendidos também como marca indelével no aspecto de conferir unidade e coesão da obra. Os vários sistemas musicais - tonal, modal, atonal, serialismo livre e transtonalismo - tal vinculação ocorre po
Publicado em: 2009
-
18. 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
-
19. Lógica BDI fuzzy
Com o intuito de entender como a mente humana funciona iniciaram-se estudos sobre cognição nos campos da filosofia e psicologia. Teorias surgiram desses estudos e, atualmente, esta curiosidade foi estendida a outras áreas, tais como, ciência e engenharia de computação, no entanto, nestas áreas, o objetivo é sutilmente diferente: entender o funcioname
Publicado em: 2008
-
20. Algebraic semantics for modal logics and its philosophical interest / A semantica algebrica para as logicas modais e seu interesse filosofico
No século XX tivemos um considerável avanço sobre o entendimento formal do significado das modalidades. Os trabalhos de Jónsson, McKinsey e Tarski na década de quarenta permitiram a construção dos resultados de completude algébrica para os sistemas modais. Estes resultados, porém, não receberam a devida atenção. Na década de cinqüenta, Kripke p
Publicado em: 2008
-
21. Investigações sobre raciocínio e aprendizagem temporal em modelos conexionistas / Investigations about temporal reasoning and learning in connectionist models
A inteligência computacional é considerada por diferentes autores da atualidade como o destino manifesto da Ciência da Computação. A modelagem de diversos aspectos da cognição, tais como aprendizagem e raciocínio, tem sido a motivação para o desenvolvimento dos paradigmas simbólico e conexionista da inteligência artificial e, mais recentemente, p
Publicado em: 2008
-
22. 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
-
23. FIRST-ORDER MODAL LOGIC FOR REASONING ABOUT GAMES / LÓGICA MODAL DE PRIMEIRA-ORDEM PARA RACIOCINAR SOBRE JOGOS
O termo jogo tem sido utilizado como uma metáfora, em várias áreas do conhecimento, para modelar e analisar situações onde agentes(jogadores) interagem em ambientes compartilhados para a realização de seus objetivos sejam eles individuais ou coletivos. Existem diversos modelos propostos para jogos por diferentes áreas do conhecimento, tais como matem
Publicado em: 2007
-
24. Definição inicial de um sistema de provas rotulado para lógicas do conhecimento
Lógicas modais têm sido amplamente utilizadas em Ciência da Computação e inteligência artificial. Além disso, aplicações de lógicas modais na representação do conhecimento em sistemas distribuídos e, mais recentemente, em sistemas multiagentes, têm apresentado resultados promissores. No entanto, outros sistemas de prova para estas lógicas que
Publicado em: 2007