Em direção a um cálculo de sequentes para a lógica de descrição ALCH

Detalhes bibliográficos
Autor(a) principal: CORDEIRO, Hérikles Vinícyus França
Data de Publicação: 2023
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFPE
Texto Completo: https://repositorio.ufpe.br/handle/123456789/52092
Resumo: A Lógica de Descrições é um dos formalismos usados para representar conhecimento de um domínio. A lógica de descrição pode ser entendida como um subconjunto da Lógica de Primeira Ordem e é equipada com uma semântica formal e uma sintaxe bem definida. O conhecimento representado em sistemas baseados em lógica de descrições pode ser validado através de diversos métodos, e esses métodos têm a capacidade de inferência para deduzir conhecimento implícito a partir dos conceitos e relações explicitamente representados. Um desses métodos de validação é o Cálculo de Sequentes. As provas geradas por esse método são consideradas de fácil compreensão. Isso é uma grande vantagem em relação a outros métodos de validação, pois a legibilidade/explicabilidade das provas é uma das partes mais fundamentais para um sistema de provas/deduções. Nesta dissertação, investigamos a teoria da prova para a lógica de descrição. Apresentamos um cálculo de sequentes para a DL ALCH e comparamos os resultados obtidos com outros cálculos de sequentes para a DL presentes na literatura.
id UFPE_e3ee0062239f439065c4cb4508460df9
oai_identifier_str oai:repositorio.ufpe.br:123456789/52092
network_acronym_str UFPE
network_name_str Repositório Institucional da UFPE
repository_id_str 2221
spelling CORDEIRO, Hérikles Vinícyus Françahttp://lattes.cnpq.br/3772307186989299http://lattes.cnpq.br/9932708325371272http://lattes.cnpq.br/6195215666638965OLIVEIRA, Anjolina Grisi deFREITAS, Frederico Luiz Gonçalves de2023-08-29T17:21:04Z2023-08-29T17:21:04Z2023-06-28CORDEIRO, Hérikles Vinícyus França. Em direção a um cálculo de sequentes para a lógica de descrição ALCH. 2023. Dissertação (Mestrado em Ciência da Computação) – Universidade Federal de Pernambuco, Recife, 2023.https://repositorio.ufpe.br/handle/123456789/52092A Lógica de Descrições é um dos formalismos usados para representar conhecimento de um domínio. A lógica de descrição pode ser entendida como um subconjunto da Lógica de Primeira Ordem e é equipada com uma semântica formal e uma sintaxe bem definida. O conhecimento representado em sistemas baseados em lógica de descrições pode ser validado através de diversos métodos, e esses métodos têm a capacidade de inferência para deduzir conhecimento implícito a partir dos conceitos e relações explicitamente representados. Um desses métodos de validação é o Cálculo de Sequentes. As provas geradas por esse método são consideradas de fácil compreensão. Isso é uma grande vantagem em relação a outros métodos de validação, pois a legibilidade/explicabilidade das provas é uma das partes mais fundamentais para um sistema de provas/deduções. Nesta dissertação, investigamos a teoria da prova para a lógica de descrição. Apresentamos um cálculo de sequentes para a DL ALCH e comparamos os resultados obtidos com outros cálculos de sequentes para a DL presentes na literatura.CNPqDescription Logic is one of the formalisms used to represent knowledge of a domain. Description logic can be understood as a subset of First Order Logic and is equipped with formal semantics and well-defined syntax. The knowledge represented in systems based on description logic can be validated through several methods, and these methods have the inference capacity to deduce implicit knowledge from the explicitly represented concepts and relations. One of these validation methods is the Calculus of Sequents. The proofs generated by this method are considered easy to understand. This is a great advantage over other validation methods, as proof readability/explainability is one of the most fundamental parts of a proof/deduction system. In this dissertation, we investigate proof theory for the logic of description. We present a sequent calculation for the DL ALCH and compare the results obtained with other sequent calculations for the DL present in the literature.porUniversidade Federal de PernambucoPrograma de Pos Graduacao em Ciencia da ComputacaoUFPEBrasilhttp://creativecommons.org/licenses/by-nc-nd/3.0/br/info:eu-repo/semantics/openAccessTeoria da ComputaçãoLógica de descriçõesCálculo de sequentesEm direção a um cálculo de sequentes para a lógica de descrição ALCHinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesismestradoreponame:Repositório Institucional da UFPEinstname:Universidade Federal de Pernambuco (UFPE)instacron:UFPECC-LICENSElicense_rdflicense_rdfapplication/rdf+xml; charset=utf-8811https://repositorio.ufpe.br/bitstream/123456789/52092/2/license_rdfe39d27027a6cc9cb039ad269a5db8e34MD52TEXTDISSERTAÇÃO Hérikles Vinícyus França Cordeiro.pdf.txtDISSERTAÇÃO Hérikles Vinícyus França Cordeiro.pdf.txtExtracted texttext/plain364147https://repositorio.ufpe.br/bitstream/123456789/52092/4/DISSERTA%c3%87%c3%83O%20H%c3%a9rikles%20Vin%c3%adcyus%20Fran%c3%a7a%20Cordeiro.pdf.txt2accb7d9ff24fcb1316484220d921180MD54THUMBNAILDISSERTAÇÃO Hérikles Vinícyus França Cordeiro.pdf.jpgDISSERTAÇÃO Hérikles Vinícyus França Cordeiro.pdf.jpgGenerated Thumbnailimage/jpeg1227https://repositorio.ufpe.br/bitstream/123456789/52092/5/DISSERTA%c3%87%c3%83O%20H%c3%a9rikles%20Vin%c3%adcyus%20Fran%c3%a7a%20Cordeiro.pdf.jpg33eb6573008f33039d957797bdcdec0cMD55LICENSElicense.txtlicense.txttext/plain; charset=utf-82362https://repositorio.ufpe.br/bitstream/123456789/52092/3/license.txt5e89a1613ddc8510c6576f4b23a78973MD53ORIGINALDISSERTAÇÃO Hérikles Vinícyus França Cordeiro.pdfDISSERTAÇÃO Hérikles Vinícyus França Cordeiro.pdfapplication/pdf1294979https://repositorio.ufpe.br/bitstream/123456789/52092/1/DISSERTA%c3%87%c3%83O%20H%c3%a9rikles%20Vin%c3%adcyus%20Fran%c3%a7a%20Cordeiro.pdf3eef63b96a717fab330a88a902c3b0bdMD51123456789/520922023-08-30 02:18:18.337oai:repositorio.ufpe.br:123456789/52092VGVybW8gZGUgRGVww7NzaXRvIExlZ2FsIGUgQXV0b3JpemHDp8OjbyBwYXJhIFB1YmxpY2l6YcOnw6NvIGRlIERvY3VtZW50b3Mgbm8gUmVwb3NpdMOzcmlvIERpZ2l0YWwgZGEgVUZQRQoKCkRlY2xhcm8gZXN0YXIgY2llbnRlIGRlIHF1ZSBlc3RlIFRlcm1vIGRlIERlcMOzc2l0byBMZWdhbCBlIEF1dG9yaXphw6fDo28gdGVtIG8gb2JqZXRpdm8gZGUgZGl2dWxnYcOnw6NvIGRvcyBkb2N1bWVudG9zIGRlcG9zaXRhZG9zIG5vIFJlcG9zaXTDs3JpbyBEaWdpdGFsIGRhIFVGUEUgZSBkZWNsYXJvIHF1ZToKCkkgLSBvcyBkYWRvcyBwcmVlbmNoaWRvcyBubyBmb3JtdWzDoXJpbyBkZSBkZXDDs3NpdG8gc8OjbyB2ZXJkYWRlaXJvcyBlIGF1dMOqbnRpY29zOwoKSUkgLSAgbyBjb250ZcO6ZG8gZGlzcG9uaWJpbGl6YWRvIMOpIGRlIHJlc3BvbnNhYmlsaWRhZGUgZGUgc3VhIGF1dG9yaWE7CgpJSUkgLSBvIGNvbnRlw7pkbyDDqSBvcmlnaW5hbCwgZSBzZSBvIHRyYWJhbGhvIGUvb3UgcGFsYXZyYXMgZGUgb3V0cmFzIHBlc3NvYXMgZm9yYW0gdXRpbGl6YWRvcywgZXN0YXMgZm9yYW0gZGV2aWRhbWVudGUgcmVjb25oZWNpZGFzOwoKSVYgLSBxdWFuZG8gdHJhdGFyLXNlIGRlIG9icmEgY29sZXRpdmEgKG1haXMgZGUgdW0gYXV0b3IpOiB0b2RvcyBvcyBhdXRvcmVzIGVzdMOjbyBjaWVudGVzIGRvIGRlcMOzc2l0byBlIGRlIGFjb3JkbyBjb20gZXN0ZSB0ZXJtbzsKClYgLSBxdWFuZG8gdHJhdGFyLXNlIGRlIFRyYWJhbGhvIGRlIENvbmNsdXPDo28gZGUgQ3Vyc28sIERpc3NlcnRhw6fDo28gb3UgVGVzZTogbyBhcnF1aXZvIGRlcG9zaXRhZG8gY29ycmVzcG9uZGUgw6AgdmVyc8OjbyBmaW5hbCBkbyB0cmFiYWxobzsKClZJIC0gcXVhbmRvIHRyYXRhci1zZSBkZSBUcmFiYWxobyBkZSBDb25jbHVzw6NvIGRlIEN1cnNvLCBEaXNzZXJ0YcOnw6NvIG91IFRlc2U6IGVzdG91IGNpZW50ZSBkZSBxdWUgYSBhbHRlcmHDp8OjbyBkYSBtb2RhbGlkYWRlIGRlIGFjZXNzbyBhbyBkb2N1bWVudG8gYXDDs3MgbyBkZXDDs3NpdG8gZSBhbnRlcyBkZSBmaW5kYXIgbyBwZXLDrW9kbyBkZSBlbWJhcmdvLCBxdWFuZG8gZm9yIGVzY29saGlkbyBhY2Vzc28gcmVzdHJpdG8sIHNlcsOhIHBlcm1pdGlkYSBtZWRpYW50ZSBzb2xpY2l0YcOnw6NvIGRvIChhKSBhdXRvciAoYSkgYW8gU2lzdGVtYSBJbnRlZ3JhZG8gZGUgQmlibGlvdGVjYXMgZGEgVUZQRSAoU0lCL1VGUEUpLgoKIApQYXJhIHRyYWJhbGhvcyBlbSBBY2Vzc28gQWJlcnRvOgoKTmEgcXVhbGlkYWRlIGRlIHRpdHVsYXIgZG9zIGRpcmVpdG9zIGF1dG9yYWlzIGRlIGF1dG9yIHF1ZSByZWNhZW0gc29icmUgZXN0ZSBkb2N1bWVudG8sIGZ1bmRhbWVudGFkbyBuYSBMZWkgZGUgRGlyZWl0byBBdXRvcmFsIG5vIDkuNjEwLCBkZSAxOSBkZSBmZXZlcmVpcm8gZGUgMTk5OCwgYXJ0LiAyOSwgaW5jaXNvIElJSSwgYXV0b3Jpem8gYSBVbml2ZXJzaWRhZGUgRmVkZXJhbCBkZSBQZXJuYW1idWNvIGEgZGlzcG9uaWJpbGl6YXIgZ3JhdHVpdGFtZW50ZSwgc2VtIHJlc3NhcmNpbWVudG8gZG9zIGRpcmVpdG9zIGF1dG9yYWlzLCBwYXJhIGZpbnMgZGUgbGVpdHVyYSwgaW1wcmVzc8OjbyBlL291IGRvd25sb2FkIChhcXVpc2nDp8OjbykgYXRyYXbDqXMgZG8gc2l0ZSBkbyBSZXBvc2l0w7NyaW8gRGlnaXRhbCBkYSBVRlBFIG5vIGVuZGVyZcOnbyBodHRwOi8vd3d3LnJlcG9zaXRvcmlvLnVmcGUuYnIsIGEgcGFydGlyIGRhIGRhdGEgZGUgZGVww7NzaXRvLgoKIApQYXJhIHRyYWJhbGhvcyBlbSBBY2Vzc28gUmVzdHJpdG86CgpOYSBxdWFsaWRhZGUgZGUgdGl0dWxhciBkb3MgZGlyZWl0b3MgYXV0b3JhaXMgZGUgYXV0b3IgcXVlIHJlY2FlbSBzb2JyZSBlc3RlIGRvY3VtZW50bywgZnVuZGFtZW50YWRvIG5hIExlaSBkZSBEaXJlaXRvIEF1dG9yYWwgbm8gOS42MTAgZGUgMTkgZGUgZmV2ZXJlaXJvIGRlIDE5OTgsIGFydC4gMjksIGluY2lzbyBJSUksIGF1dG9yaXpvIGEgVW5pdmVyc2lkYWRlIEZlZGVyYWwgZGUgUGVybmFtYnVjbyBhIGRpc3BvbmliaWxpemFyIGdyYXR1aXRhbWVudGUsIHNlbSByZXNzYXJjaW1lbnRvIGRvcyBkaXJlaXRvcyBhdXRvcmFpcywgcGFyYSBmaW5zIGRlIGxlaXR1cmEsIGltcHJlc3PDo28gZS9vdSBkb3dubG9hZCAoYXF1aXNpw6fDo28pIGF0cmF2w6lzIGRvIHNpdGUgZG8gUmVwb3NpdMOzcmlvIERpZ2l0YWwgZGEgVUZQRSBubyBlbmRlcmXDp28gaHR0cDovL3d3dy5yZXBvc2l0b3Jpby51ZnBlLmJyLCBxdWFuZG8gZmluZGFyIG8gcGVyw61vZG8gZGUgZW1iYXJnbyBjb25kaXplbnRlIGFvIHRpcG8gZGUgZG9jdW1lbnRvLCBjb25mb3JtZSBpbmRpY2FkbyBubyBjYW1wbyBEYXRhIGRlIEVtYmFyZ28uCg==Repositório InstitucionalPUBhttps://repositorio.ufpe.br/oai/requestattena@ufpe.bropendoar:22212023-08-30T05:18:18Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)false
dc.title.pt_BR.fl_str_mv Em direção a um cálculo de sequentes para a lógica de descrição ALCH
title Em direção a um cálculo de sequentes para a lógica de descrição ALCH
spellingShingle Em direção a um cálculo de sequentes para a lógica de descrição ALCH
CORDEIRO, Hérikles Vinícyus França
Teoria da Computação
Lógica de descrições
Cálculo de sequentes
title_short Em direção a um cálculo de sequentes para a lógica de descrição ALCH
title_full Em direção a um cálculo de sequentes para a lógica de descrição ALCH
title_fullStr Em direção a um cálculo de sequentes para a lógica de descrição ALCH
title_full_unstemmed Em direção a um cálculo de sequentes para a lógica de descrição ALCH
title_sort Em direção a um cálculo de sequentes para a lógica de descrição ALCH
author CORDEIRO, Hérikles Vinícyus França
author_facet CORDEIRO, Hérikles Vinícyus França
author_role author
dc.contributor.authorLattes.pt_BR.fl_str_mv http://lattes.cnpq.br/3772307186989299
dc.contributor.advisorLattes.pt_BR.fl_str_mv http://lattes.cnpq.br/9932708325371272
dc.contributor.advisor-coLattes.pt_BR.fl_str_mv http://lattes.cnpq.br/6195215666638965
dc.contributor.author.fl_str_mv CORDEIRO, Hérikles Vinícyus França
dc.contributor.advisor1.fl_str_mv OLIVEIRA, Anjolina Grisi de
dc.contributor.advisor-co1.fl_str_mv FREITAS, Frederico Luiz Gonçalves de
contributor_str_mv OLIVEIRA, Anjolina Grisi de
FREITAS, Frederico Luiz Gonçalves de
dc.subject.por.fl_str_mv Teoria da Computação
Lógica de descrições
Cálculo de sequentes
topic Teoria da Computação
Lógica de descrições
Cálculo de sequentes
description A Lógica de Descrições é um dos formalismos usados para representar conhecimento de um domínio. A lógica de descrição pode ser entendida como um subconjunto da Lógica de Primeira Ordem e é equipada com uma semântica formal e uma sintaxe bem definida. O conhecimento representado em sistemas baseados em lógica de descrições pode ser validado através de diversos métodos, e esses métodos têm a capacidade de inferência para deduzir conhecimento implícito a partir dos conceitos e relações explicitamente representados. Um desses métodos de validação é o Cálculo de Sequentes. As provas geradas por esse método são consideradas de fácil compreensão. Isso é uma grande vantagem em relação a outros métodos de validação, pois a legibilidade/explicabilidade das provas é uma das partes mais fundamentais para um sistema de provas/deduções. Nesta dissertação, investigamos a teoria da prova para a lógica de descrição. Apresentamos um cálculo de sequentes para a DL ALCH e comparamos os resultados obtidos com outros cálculos de sequentes para a DL presentes na literatura.
publishDate 2023
dc.date.accessioned.fl_str_mv 2023-08-29T17:21:04Z
dc.date.available.fl_str_mv 2023-08-29T17:21:04Z
dc.date.issued.fl_str_mv 2023-06-28
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.citation.fl_str_mv CORDEIRO, Hérikles Vinícyus França. Em direção a um cálculo de sequentes para a lógica de descrição ALCH. 2023. Dissertação (Mestrado em Ciência da Computação) – Universidade Federal de Pernambuco, Recife, 2023.
dc.identifier.uri.fl_str_mv https://repositorio.ufpe.br/handle/123456789/52092
identifier_str_mv CORDEIRO, Hérikles Vinícyus França. Em direção a um cálculo de sequentes para a lógica de descrição ALCH. 2023. Dissertação (Mestrado em Ciência da Computação) – Universidade Federal de Pernambuco, Recife, 2023.
url https://repositorio.ufpe.br/handle/123456789/52092
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv http://creativecommons.org/licenses/by-nc-nd/3.0/br/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-nd/3.0/br/
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Pernambuco
dc.publisher.program.fl_str_mv Programa de Pos Graduacao em Ciencia da Computacao
dc.publisher.initials.fl_str_mv UFPE
dc.publisher.country.fl_str_mv Brasil
publisher.none.fl_str_mv Universidade Federal de Pernambuco
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPE
instname:Universidade Federal de Pernambuco (UFPE)
instacron:UFPE
instname_str Universidade Federal de Pernambuco (UFPE)
instacron_str UFPE
institution UFPE
reponame_str Repositório Institucional da UFPE
collection Repositório Institucional da UFPE
bitstream.url.fl_str_mv https://repositorio.ufpe.br/bitstream/123456789/52092/2/license_rdf
https://repositorio.ufpe.br/bitstream/123456789/52092/4/DISSERTA%c3%87%c3%83O%20H%c3%a9rikles%20Vin%c3%adcyus%20Fran%c3%a7a%20Cordeiro.pdf.txt
https://repositorio.ufpe.br/bitstream/123456789/52092/5/DISSERTA%c3%87%c3%83O%20H%c3%a9rikles%20Vin%c3%adcyus%20Fran%c3%a7a%20Cordeiro.pdf.jpg
https://repositorio.ufpe.br/bitstream/123456789/52092/3/license.txt
https://repositorio.ufpe.br/bitstream/123456789/52092/1/DISSERTA%c3%87%c3%83O%20H%c3%a9rikles%20Vin%c3%adcyus%20Fran%c3%a7a%20Cordeiro.pdf
bitstream.checksum.fl_str_mv e39d27027a6cc9cb039ad269a5db8e34
2accb7d9ff24fcb1316484220d921180
33eb6573008f33039d957797bdcdec0c
5e89a1613ddc8510c6576f4b23a78973
3eef63b96a717fab330a88a902c3b0bd
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)
repository.mail.fl_str_mv attena@ufpe.br
_version_ 1802310867074678784

Registros relacionados