Uma implementação genérica para Métodos de Tableaux Modais com uma aplicação específica em raciocínio sobre ações

Detalhes bibliográficos
Ano de defesa: 2003
Autor(a) principal: Rojo, Roberta Vanessa
Orientador(a): Castilho, Marcos Alexandre, 1965-
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Lógica simbólica e matemática
Inteligência artificial
Ciência da Computação
Link de acesso: 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
spelling Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em InformáticaCastilho, Marcos Alexandre, 1965-Rojo, Roberta Vanessa2025-04-28T20:51:45Z2025-04-28T20:51:45Z2003https://hdl.handle.net/1884/24751ApendicesOrientador: Marcos Alexandre CastilhoDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação 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 artificialCiência da ComputaçãoUma implementação genérica para Métodos de Tableaux Modais com uma aplicação específica em raciocínio sobre açõesinfo: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/247512025-04-28 17:51:45.918open accessoai:acervodigital.ufpr.br:1884/24751Repositório InstitucionalPUBhttp://acervodigital.ufpr.br/oai/requestinformacaodigital@ufpr.bropendoar:3082025-04-28T20:51:45Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Uma implementação genérica para Métodos de Tableaux Modais com uma aplicação específica em raciocínio sobre ações
title Uma implementação genérica para Métodos de Tableaux Modais com uma aplicação específica em raciocínio sobre ações
spellingShingle Uma implementação genérica para Métodos de Tableaux Modais com uma aplicação específica em raciocínio sobre ações
Rojo, Roberta Vanessa
Lógica simbólica e matemática
Inteligência artificial
Ciência da Computação
title_short Uma implementação genérica para Métodos de Tableaux Modais com uma aplicação específica em raciocínio sobre ações
title_full Uma implementação genérica para Métodos de Tableaux Modais com uma aplicação específica em raciocínio sobre ações
title_fullStr Uma implementação genérica para Métodos de Tableaux Modais com uma aplicação específica em raciocínio sobre ações
title_full_unstemmed Uma implementação genérica para Métodos de Tableaux Modais com uma aplicação específica em raciocínio sobre ações
title_sort Uma implementação genérica para Métodos de Tableaux Modais com uma aplicação específica em raciocínio sobre ações
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
Ciência da Computação
topic Lógica simbólica e matemática
Inteligência artificial
Ciência da Computação
description Apendices
publishDate 2003
dc.date.issued.fl_str_mv 2003
dc.date.accessioned.fl_str_mv 2025-04-28T20:51:45Z
dc.date.available.fl_str_mv 2025-04-28T20:51:45Z
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 informacaodigital@ufpr.br
_version_ 1847526118601523200

Registros relacionados