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

To access or cite this item use:
http://hdl.handle.net/10183/6775

Title	Definição inicial de um sistema de provas rotulado para lógicas do conhecimento
Author	Malanovicz, Aline Vieira
Advisor	Lamb, Luis da Cunha
Co-advisor	Diverio, Tiaraju Asmuz
Date	2004
Level	Mestrado
Institution	Universidade Federal do Rio Grande do Sul. Instituto de Informática. Programa de Pós-Graduação em Computação.
Subject	Lógica : Conhecimento Lógica modal Teoria : Ciencia : Computacao
Abstract in Portuguese	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.
Type	Dissertação
URI	http://hdl.handle.net/10183/6775

Files	Description	Format	View
000446712.pdf (598.4Kb)	Texto completo	Adobe PDF	View/Open

This item is licensed under a Creative Commons License

This item appears in the following Collection(s)

The author is the owner of the copyrights of the documents available in this repository and is prohibited under the law, the marketing of any kind without prior authorization.
Graphic design by Caixola - Clube de Criação Fabico/UFRGS Powered by DSpace software, Version 1.8.1.