Repositório Digital

A- A A+

Definição inicial de um sistema de provas rotulado para lógicas do conhecimento

.

Definição inicial de um sistema de provas rotulado para lógicas do conhecimento

Mostrar registro completo

Estatísticas

Título Definição inicial de um sistema de provas rotulado para lógicas do conhecimento
Autor Malanovicz, Aline Vieira
Orientador Lamb, Luis da Cunha
Co-orientador Diverio, Tiaraju Asmuz
Data 2004
Nível Mestrado
Instituição Universidade Federal do Rio Grande do Sul. Instituto de Informática. Programa de Pós-Graduação em Computação.
Assunto Lógica : Conhecimento
Lógica modal
Teoria : Ciência : Computação
Resumo 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 não os sistemas axiomáticos à la Hilbert são raros na literatura. Este trabalho tem como objetivo principal preencher esta lacuna existente na literatura, ao propor um sistema de prova por dedução natural rotulada para lógicas do conhecimento.
Tipo Dissertação
URI http://hdl.handle.net/10183/6775
Arquivos Descrição Formato
000446712.pdf (598.4Kb) Texto completo Adobe PDF Visualizar/abrir

Este item está licenciado na Creative Commons License

Este item aparece na(s) seguinte(s) coleção(ões)


Mostrar registro completo

Percorrer



  • O autor é titular dos direitos autorais dos documentos disponíveis neste repositório e é vedada, nos termos da lei, a comercialização de qualquer espécie sem sua autorização prévia.
    Projeto gráfico elaborado pelo Caixola - Clube de Criação Fabico/UFRGS Powered by DSpace software, Version 1.8.1.