Mostrar registro simples

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

dc.contributor.advisorLamb, Luis da Cunhapt_BR
dc.contributor.authorMalanovicz, Aline Vieirapt_BR
dc.date.accessioned2007-06-06T19:00:27Zpt_BR
dc.date.issued2004pt_BR
dc.identifier.urihttp://hdl.handle.net/10183/6775pt_BR
dc.description.abstractLó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.pt_BR
dc.format.mimetypeapplication/pdf
dc.language.isoporpt_BR
dc.rightsOpen Accessen
dc.subjectTeoria : Ciência : Computaçãopt_BR
dc.subjectLógica modalpt_BR
dc.subjectLógica : Conhecimentopt_BR
dc.titleDefinição inicial de um sistema de provas rotulado para lógicas do conhecimentopt_BR
dc.typeDissertaçãopt_BR
dc.contributor.advisor-coDiverio, Tiaraju Asmuzpt_BR
dc.identifier.nrb000446712pt_BR
dc.degree.grantorUniversidade Federal do Rio Grande do Sulpt_BR
dc.degree.departmentInstituto de Informáticapt_BR
dc.degree.programPrograma de Pós-Graduação em Computaçãopt_BR
dc.degree.localPorto Alegre, BR-RSpt_BR
dc.degree.date2004pt_BR
dc.degree.levelmestradopt_BR


Thumbnail
Nome:
000446712.pdf
Tamanho:
584.4Kb
Formato:
PDF
Descrição:
Texto completo
Visualizar/abrir
   

Este item está licenciado na Creative Commons License

Mostrar registro simples