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

Detalhes bibliográficos
Autor(a) principal: Malanovicz, Aline Vieira
Data de Publicação: 2004
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFRGS
Texto Completo: http://hdl.handle.net/10183/6775
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.
id URGS_9c57f09f6c9c5d21f898b4a1147b81eb
oai_identifier_str oai:www.lume.ufrgs.br:10183/6775
network_acronym_str URGS
network_name_str Biblioteca Digital de Teses e Dissertações da UFRGS
repository_id_str 1853
spelling Malanovicz, Aline VieiraLamb, Luis da CunhaDiverio, Tiaraju Asmuz2007-06-06T19:00:27Z2004http://hdl.handle.net/10183/6775000446712Ló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.application/pdfporTeoria : Ciência : ComputaçãoLógica modalLógica : ConhecimentoDefinição inicial de um sistema de provas rotulado para lógicas do conhecimentoinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPrograma de Pós-Graduação em ComputaçãoPorto Alegre, BR-RS2004mestradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL000446712.pdf000446712.pdfTexto completoapplication/pdf598443http://www.lume.ufrgs.br/bitstream/10183/6775/1/000446712.pdf86d6b36d888054bf6bb063efdb32299eMD51TEXT000446712.pdf.txt000446712.pdf.txtExtracted Texttext/plain306005http://www.lume.ufrgs.br/bitstream/10183/6775/2/000446712.pdf.txtbd1f193d34186ef67681b65c1c9fa020MD52THUMBNAIL000446712.pdf.jpg000446712.pdf.jpgGenerated Thumbnailimage/jpeg1100http://www.lume.ufrgs.br/bitstream/10183/6775/3/000446712.pdf.jpg81ba6b7194f5197b8f92084118482923MD5310183/67752018-10-17 09:02:29.921oai:www.lume.ufrgs.br:10183/6775Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532018-10-17T12:02:29Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Definição inicial de um sistema de provas rotulado para lógicas do conhecimento
title Definição inicial de um sistema de provas rotulado para lógicas do conhecimento
spellingShingle Definição inicial de um sistema de provas rotulado para lógicas do conhecimento
Malanovicz, Aline Vieira
Teoria : Ciência : Computação
Lógica modal
Lógica : Conhecimento
title_short Definição inicial de um sistema de provas rotulado para lógicas do conhecimento
title_full Definição inicial de um sistema de provas rotulado para lógicas do conhecimento
title_fullStr Definição inicial de um sistema de provas rotulado para lógicas do conhecimento
title_full_unstemmed Definição inicial de um sistema de provas rotulado para lógicas do conhecimento
title_sort Definição inicial de um sistema de provas rotulado para lógicas do conhecimento
author Malanovicz, Aline Vieira
author_facet Malanovicz, Aline Vieira
author_role author
dc.contributor.author.fl_str_mv Malanovicz, Aline Vieira
dc.contributor.advisor1.fl_str_mv Lamb, Luis da Cunha
dc.contributor.advisor-co1.fl_str_mv Diverio, Tiaraju Asmuz
contributor_str_mv Lamb, Luis da Cunha
Diverio, Tiaraju Asmuz
dc.subject.por.fl_str_mv Teoria : Ciência : Computação
Lógica modal
Lógica : Conhecimento
topic Teoria : Ciência : Computação
Lógica modal
Lógica : Conhecimento
description 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.
publishDate 2004
dc.date.issued.fl_str_mv 2004
dc.date.accessioned.fl_str_mv 2007-06-06T19:00:27Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/6775
dc.identifier.nrb.pt_BR.fl_str_mv 000446712
url http://hdl.handle.net/10183/6775
identifier_str_mv 000446712
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Biblioteca Digital de Teses e Dissertações da UFRGS
collection Biblioteca Digital de Teses e Dissertações da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/6775/1/000446712.pdf
http://www.lume.ufrgs.br/bitstream/10183/6775/2/000446712.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/6775/3/000446712.pdf.jpg
bitstream.checksum.fl_str_mv 86d6b36d888054bf6bb063efdb32299e
bd1f193d34186ef67681b65c1c9fa020
81ba6b7194f5197b8f92084118482923
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv lume@ufrgs.br||lume@ufrgs.br
_version_ 1800308936453128192

Registros relacionados