Modal Logic
Mostrando 13-21 de 21 artigos, teses e dissertações.
-
13. 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
-
14. 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
-
15. 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
-
16. TRUST IN INTELLIGENT AGENTS / CONFIANÇA EM AGENTES INTELIGENTES
Trust is a fundamental concern in large-escale open distributed sytems. It lies at the core of all interactios between the entities that have to operate in such uncertain and constantly changing environmonts. Given the complexity of the interactions, these components, and the ensuing system, are increasingly being conceptualised, desined, and built using age
Publicado em: 2007
-
17. CONCEPTIVIDADE, POSSIBILIDADE E LÓGICA / CONCEIVABILITY, POSSIBILITY AND LOGIC
Logic is seen today as a mathematical science fundamentally linked to the faculty of understanding, unrelated to our capacity of imagining or conceiving. Under the label psychologism, one usually considers any association between logic and conceivability (or imagination) as spurious and misled. This doctoral thesis has as its goal showing that, contrarily to
Publicado em: 2005
-
18. Logics of formal inconsistency
According to the classical consistency presupposition, contradictions have an explosive character: Whenever they are present in a theory, anything goes, and no sensible reasoning can thus take place. A logic is paraconsistent if it disallows such presupposition, and allows instead for some inconsistent yet non-trivial theories to make perfect sense. The Logi
Publicado em: 2005
-
19. "Combinations of non-normal modal logics" / "Combinações de lógicas modais não-normais"
Neste trabalho, estudamos algumas formas de combinar sistemas de Lógica Modal, analisando quando a combinação preserva propriedades como correção, completude e decidibilidade. Estendemos um estudo já realizado sobre combinações de sistemas de Lógica Modal Normal para sistemas de Lógica Modal Não-normal. O principal resultado deste trabalho é a pr
Publicado em: 2004
-
20. Uma teoria da verdade pragmatica : a quase-verdade de Newton C.A. da Costa
Alfred Tarki, in presenting his semantical conception of truth - a definition for formalized languages -, captured Aristotle s classical conception of truth - this one, a correspondencial truth conception. Mikenberg, da Costa and Chuaqui, introduced a formal conception of pragmatic truth - da Costa s quasi-truth -, based on the theories of truth of some prag
Publicado em: 2003
-
21. Analise e sintese de sistemas a eventos discretos via logica modal
The problem of verification of a specification and controller synthesis in a class of discrete event dynamic systems is addressed. We propose a new propositional modallogic, named NK logic, and we show that a set of formulas of this logic is completely equivalent to a set of equations written in the context of the theory of dioids. Therefore, a system descri
Publicado em: 1998