Uma implementação do método das conexões de bibel para uma lógica paraconsistente anotada

Detalhes bibliográficos
Ano de defesa: 2001
Autor(a) principal: Nobre, Emerson Faria
Orientador(a): Krause, Décio, 1953-
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:
Conexões (Matemática)
Lógica simbólica e matemática
Ciencia da Computação
Link de acesso: https://hdl.handle.net/1884/25075
Resumo: Orientador: Décio Krause
id UFPR_b2b21fa5164f8dca167ca855b6a92418
oai_identifier_str oai:acervodigital.ufpr.br:1884/25075
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str
spelling Musicante, Martin AlejandroUniversidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em InformáticaKrause, Décio, 1953-Nobre, Emerson Faria2024-01-31T16:34:05Z2024-01-31T16:34:05Z2001https://hdl.handle.net/1884/25075Orientador: Décio KrauseCoorientador: Martin A. MusicanteDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em InformáticaResumo: O método das conexões de Bibel é uma alternativa ao método de resolução e vem sendo aplicado a vários sistemas lógicos, incluindo fragmentos da lógica linear, lógica intuicionista e várias lógicas modais. Em um trabalho anterior, o método das conexões de Bibel foi estendido para um tipo de lógica paraconsistente, chamada de lógica anotada. Neste trabalho o método do trabalho anterior é estendido tornando as definições mais adequadas à implementação. Um procedimento que melhora a eficiência do método das conexões de Bibel é apresentado e uma implementação do método é desenvolvida na linguagem SML. Os agentes inteligentes e sistemas especialistas podem utilizar métodos de prova em seus módulos raciocinadores para derivar conclusões de uma base de conhecimentos. A lógica anotada trata uma base de conhecimentos inconsistente de modo adequado. Um exemplo ilustrativo de uso de uma base de conhecimentos inconsistente em um sistema médico é automatizado através da implementação. Por fim, uma comparação de eficiência é apresentada.Abstract: Bibel 's connection method is an alternative to the well know resolution method and has been applied in several logical systems, including fragments of linear logic, intuitionistic logic and various modal logics. In a previous work, Bibel's connection method was extended to a kind of paraconsistent logic, called annotated logic. In this work, the previous work is extended, making the definitions well suited for an implementation. A procedure that improve the efficiency is showed and an implementation in the Standard ML is developed. The intelligent agents and expertise systems can make use of proof methods in it's reasoning modules to derive conclusions of an knowledge base. The annotated logic can manage inconsistent knowledge bases in an adequate way. An illustrative example of the use of an inconsistent knowledge base in a medical system is automatized through the implementation. Finally, an efficiency comparai ion is showed.143 f. ; 30cm.application/pdfDisponível em formato digitalConexões (Matemática)Lógica simbólica e matemáticaCiencia da ComputaçãoUma implementação do método das conexões de bibel para uma lógica paraconsistente anotadainfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALD - NOBRE, EMERSON FARIA.pdfapplication/pdf2942542https://acervodigital.ufpr.br/bitstream/1884/25075/1/D%20-%20NOBRE%2c%20EMERSON%20FARIA.pdf66a68d0b2576336a6da6e499eb6da3d5MD51open accessTEXTD - NOBRE, EMERSON FARIA.pdf.txtExtracted Texttext/plain183711https://acervodigital.ufpr.br/bitstream/1884/25075/2/D%20-%20NOBRE%2c%20EMERSON%20FARIA.pdf.txt3cc981f4347d3bf9e1f295cd7f54c329MD52open accessTHUMBNAILD - NOBRE, EMERSON FARIA.pdf.jpgGenerated Thumbnailimage/jpeg1219https://acervodigital.ufpr.br/bitstream/1884/25075/3/D%20-%20NOBRE%2c%20EMERSON%20FARIA.pdf.jpg47a81528a1d84c157af1d98cdff97a37MD53open access1884/250752024-01-31 13:34:05.928open accessoai:acervodigital.ufpr.br:1884/25075Repositório de PublicaçõesPUBhttp://acervodigital.ufpr.br/oai/requestopendoar:3082024-01-31T16:34:05Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Uma implementação do método das conexões de bibel para uma lógica paraconsistente anotada
title Uma implementação do método das conexões de bibel para uma lógica paraconsistente anotada
spellingShingle Uma implementação do método das conexões de bibel para uma lógica paraconsistente anotada
Nobre, Emerson Faria
Conexões (Matemática)
Lógica simbólica e matemática
Ciencia da Computação
title_short Uma implementação do método das conexões de bibel para uma lógica paraconsistente anotada
title_full Uma implementação do método das conexões de bibel para uma lógica paraconsistente anotada
title_fullStr Uma implementação do método das conexões de bibel para uma lógica paraconsistente anotada
title_full_unstemmed Uma implementação do método das conexões de bibel para uma lógica paraconsistente anotada
title_sort Uma implementação do método das conexões de bibel para uma lógica paraconsistente anotada
author Nobre, Emerson Faria
author_facet Nobre, Emerson Faria
author_role author
dc.contributor.other.pt_BR.fl_str_mv Musicante, Martin Alejandro
Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática
dc.contributor.advisor1.fl_str_mv Krause, Décio, 1953-
dc.contributor.author.fl_str_mv Nobre, Emerson Faria
contributor_str_mv Krause, Décio, 1953-
dc.subject.por.fl_str_mv Conexões (Matemática)
Lógica simbólica e matemática
Ciencia da Computação
topic Conexões (Matemática)
Lógica simbólica e matemática
Ciencia da Computação
description Orientador: Décio Krause
publishDate 2001
dc.date.issued.fl_str_mv 2001
dc.date.accessioned.fl_str_mv 2024-01-31T16:34:05Z
dc.date.available.fl_str_mv 2024-01-31T16:34:05Z
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/25075
url https://hdl.handle.net/1884/25075
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 143 f. ; 30cm.
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/25075/1/D%20-%20NOBRE%2c%20EMERSON%20FARIA.pdf
https://acervodigital.ufpr.br/bitstream/1884/25075/2/D%20-%20NOBRE%2c%20EMERSON%20FARIA.pdf.txt
https://acervodigital.ufpr.br/bitstream/1884/25075/3/D%20-%20NOBRE%2c%20EMERSON%20FARIA.pdf.jpg
bitstream.checksum.fl_str_mv 66a68d0b2576336a6da6e499eb6da3d5
3cc981f4347d3bf9e1f295cd7f54c329
47a81528a1d84c157af1d98cdff97a37
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_ 1801861416929460224

Registros relacionados