Navegação Ciências Exatas e da Terra por Assunto "Lógica modal"
Resultados 1-3 de 3
-
Definição inicial de um sistema de provas rotulado para lógicas do conhecimento
(2004) [Dissertação]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 ... -
Investigações sobre raciocínio e aprendizagem temporal em modelos conexionistas
(2007) [Dissertação]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 ... -
Um modelo neural de aprimoramento progressivo para redução de dimensionalidade
(2010) [Tese]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 ...