Uma implementaçao genérica para Métodos de Tableaux Modais com uma aplicaçao específica em raciocínio sobre açoes

Detalhes bibliográficos
Autor(a) principal: Rojo, Roberta Vanessa
Data de Publicação: 2003
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFPR
Texto Completo: https://hdl.handle.net/1884/24751
Resumo: Apendices
id UFPR_04b83dab9efe0d2910e0183d950dcbda
oai_identifier_str oai:acervodigital.ufpr.br:1884/24751
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str 308
spelling Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em InformáticaCastilho, Marcos Alexandre, 1965-Rojo, Roberta Vanessa2024-01-31T16:35:18Z2024-01-31T16:35:18Z2003https://hdl.handle.net/1884/24751ApendicesOrientador: Marcos Alexandre CastilhoDissertaçao (mestrado) - Universidade Federal do Paraná, Setor de Ciencias Exatas. Programa de Pós-graduaçao em InformáticaResumo: Neste trabalho apresentamos uma implementação de um provador de teoremas baseado em tableau semânticos para diversas lógicas modais. A implementação segue a idéia de se dividir as regras de tableau em regras estruturais e de propagação, o que permite que o provador possa ser configurado sob demanda para provar fórmulas em lógicas modais diversas. Cabe ao usuário informar quais são os axiomas que caracterizam a lógica modal desejada e o provador escolhe as regras de tableau correspondentes. A implementação também permite ao usuário determinar a estratégia de aplicação de regras a ser utilizada em cada prova. O trabalho mostra uma aplicação deste provador no contexto de raciocínio sobre ações.Abstract: This research presented the implementation of a theorem prover based in a semantic tableau for several modal logics. The implementation follows the idea of dividing the tableau rules in propagation rules and structural rules, that enables the prover to be configured on demand to prove formulae in several modal logics. The user has to inform which are the axioms that caracterize the modal logic wanted in case, and the prover chooses the correspondent tableau rules. The implementation also allows the user to determine the rules application strategy to be used in each proof. The research presented an application of this prover in the reasoning context about actions.viii, 78f. : il.application/pdfDisponível em formato digitalLógica simbólica e matemáticaInteligência artificialCiencia da ComputaçãoUma implementaçao genérica para Métodos de Tableaux Modais com uma aplicaçao específica em raciocínio sobre açoesinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALD - ROJO, VANESSA ROBERTA.pdfapplication/pdf2657929https://acervodigital.ufpr.br/bitstream/1884/24751/1/D%20-%20ROJO%2c%20VANESSA%20ROBERTA.pdf4675ba21f0001800499897b3e1ecf58aMD51open accessTEXTD - ROJO, VANESSA ROBERTA.pdf.txtExtracted Texttext/plain202326https://acervodigital.ufpr.br/bitstream/1884/24751/2/D%20-%20ROJO%2c%20VANESSA%20ROBERTA.pdf.txt78aaef0846570b8728ffe3e7952812dbMD52open accessTHUMBNAILD - ROJO, VANESSA ROBERTA.pdf.jpgGenerated Thumbnailimage/jpeg1213https://acervodigital.ufpr.br/bitstream/1884/24751/3/D%20-%20ROJO%2c%20VANESSA%20ROBERTA.pdf.jpge8690f31f6041553fd9e66f3424316c4MD53open access1884/247512024-01-31 13:35:18.622open accessoai:acervodigital.ufpr.br:1884/24751Repositório de PublicaçõesPUBhttp://acervodigital.ufpr.br/oai/requestopendoar:3082024-01-31T16:35:18Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Uma implementaçao genérica para Métodos de Tableaux Modais com uma aplicaçao específica em raciocínio sobre açoes
title Uma implementaçao genérica para Métodos de Tableaux Modais com uma aplicaçao específica em raciocínio sobre açoes
spellingShingle Uma implementaçao genérica para Métodos de Tableaux Modais com uma aplicaçao específica em raciocínio sobre açoes
Rojo, Roberta Vanessa
Lógica simbólica e matemática
Inteligência artificial
Ciencia da Computação
title_short Uma implementaçao genérica para Métodos de Tableaux Modais com uma aplicaçao específica em raciocínio sobre açoes
title_full Uma implementaçao genérica para Métodos de Tableaux Modais com uma aplicaçao específica em raciocínio sobre açoes
title_fullStr Uma implementaçao genérica para Métodos de Tableaux Modais com uma aplicaçao específica em raciocínio sobre açoes
title_full_unstemmed Uma implementaçao genérica para Métodos de Tableaux Modais com uma aplicaçao específica em raciocínio sobre açoes
title_sort Uma implementaçao genérica para Métodos de Tableaux Modais com uma aplicaçao específica em raciocínio sobre açoes
author Rojo, Roberta Vanessa
author_facet Rojo, Roberta Vanessa
author_role author
dc.contributor.other.pt_BR.fl_str_mv Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática
dc.contributor.advisor1.fl_str_mv Castilho, Marcos Alexandre, 1965-
dc.contributor.author.fl_str_mv Rojo, Roberta Vanessa
contributor_str_mv Castilho, Marcos Alexandre, 1965-
dc.subject.por.fl_str_mv Lógica simbólica e matemática
Inteligência artificial
Ciencia da Computação
topic Lógica simbólica e matemática
Inteligência artificial
Ciencia da Computação
description Apendices
publishDate 2003
dc.date.issued.fl_str_mv 2003
dc.date.accessioned.fl_str_mv 2024-01-31T16:35:18Z
dc.date.available.fl_str_mv 2024-01-31T16:35:18Z
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 https://hdl.handle.net/1884/24751
url https://hdl.handle.net/1884/24751
dc.language.iso.fl_str_mv por
language por
dc.relation.pt_BR.fl_str_mv Disponível em formato digital
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv viii, 78f. : il.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPR
instname:Universidade Federal do Paraná (UFPR)
instacron:UFPR
instname_str Universidade Federal do Paraná (UFPR)
instacron_str UFPR
institution UFPR
reponame_str Repositório Institucional da UFPR
collection Repositório Institucional da UFPR
bitstream.url.fl_str_mv https://acervodigital.ufpr.br/bitstream/1884/24751/1/D%20-%20ROJO%2c%20VANESSA%20ROBERTA.pdf
https://acervodigital.ufpr.br/bitstream/1884/24751/2/D%20-%20ROJO%2c%20VANESSA%20ROBERTA.pdf.txt
https://acervodigital.ufpr.br/bitstream/1884/24751/3/D%20-%20ROJO%2c%20VANESSA%20ROBERTA.pdf.jpg
bitstream.checksum.fl_str_mv 4675ba21f0001800499897b3e1ecf58a
78aaef0846570b8728ffe3e7952812db
e8690f31f6041553fd9e66f3424316c4
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)
repository.mail.fl_str_mv
_version_ 1801860915682869248

Registros relacionados