A Description Logic for Default

Detalhes bibliográficos
Autor(a) principal: DÃbora Farias Frota
Data de Publicação: 2011
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFC
Texto Completo: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=7649
Resumo: A formalizaÃÃo do conhecimento e a automatizaÃÃo do raciocÃnio sÃo assuntos centrais de pesquisa da InteligÃncia Articial. A LÃgica de Primeira Ordem tem sido tradicionalmente utilizada para tais propÃsitos. No entanto, ela à mais adequada para lidar com conhecimento completo em circunstÃncias ideais. Em situaÃÃes reais, nas quais o conhecimento à parcial, a LÃgica de Primeira Ordem nÃo à suciente. LÃgicas nÃo-monotÃnicas tÃm sido propostas para melhor lidar com o raciocÃnio prÃtico. Uma formalizaÃÃo do raciocÃnio nÃo-monotÃnico bem-sucedida à a LÃgica Default de Reiter que estende a LÃgica de Primeira Ordem com regras default. Infelizmente, a LÃgica Default à indecidÃvel. Nesta dissertaÃÃo, propomos uma LÃgica de DescriÃÃo Default expressiva o suciente para formalizar o raciocÃnio prÃtico sobre bases de conhecimento. Ela tem como base monotÃnica a LÃgica de DescriÃÃo ALC. Adicionamos algumas restriÃÃes à aplicaÃÃo dos defaults a m de obter propriedades interessantes, tais como a coerÃncia e a eliminaÃÃo de extensÃes anÃmalas. Apresentamos os principais algoritmos usados para construir uma extensÃo com um passo-a-passo e suas anÃlise de complexidade.
id UFC_ea192fcf6c15996a1e46c136b6fbf20e
oai_identifier_str oai:www.teses.ufc.br:5127
network_acronym_str UFC
network_name_str Biblioteca Digital de Teses e Dissertações da UFC
spelling info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisA Description Logic for DefaultUma LÃgica de DescriÃÃo Default 2011-08-19Ana Teresa de Castro Martins23070200397http://lattes.cnpq.br/8173372566989305JoÃo Fernando Lima AlcÃntara61720143315http://lattes.cnpq.br/8143823413993024 Edward Hermann Hauesler24815438153http://lattes.cnpq.br/6075905438020841 01544716311http://lattes.cnpq.br/1071570788816803DÃbora Farias FrotaUniversidade Federal do CearÃPrograma de PÃs-GraduaÃÃo em CiÃncia da ComputaÃÃoUFCBRLÃgica de DescriÃÃo LÃgica Default Complexidade EXPTIMEDescription Logic Default Logic EXPTIME ComplexityCIENCIA DA COMPUTACAOA formalizaÃÃo do conhecimento e a automatizaÃÃo do raciocÃnio sÃo assuntos centrais de pesquisa da InteligÃncia Articial. A LÃgica de Primeira Ordem tem sido tradicionalmente utilizada para tais propÃsitos. No entanto, ela à mais adequada para lidar com conhecimento completo em circunstÃncias ideais. Em situaÃÃes reais, nas quais o conhecimento à parcial, a LÃgica de Primeira Ordem nÃo à suciente. LÃgicas nÃo-monotÃnicas tÃm sido propostas para melhor lidar com o raciocÃnio prÃtico. Uma formalizaÃÃo do raciocÃnio nÃo-monotÃnico bem-sucedida à a LÃgica Default de Reiter que estende a LÃgica de Primeira Ordem com regras default. Infelizmente, a LÃgica Default à indecidÃvel. Nesta dissertaÃÃo, propomos uma LÃgica de DescriÃÃo Default expressiva o suciente para formalizar o raciocÃnio prÃtico sobre bases de conhecimento. Ela tem como base monotÃnica a LÃgica de DescriÃÃo ALC. Adicionamos algumas restriÃÃes à aplicaÃÃo dos defaults a m de obter propriedades interessantes, tais como a coerÃncia e a eliminaÃÃo de extensÃes anÃmalas. Apresentamos os principais algoritmos usados para construir uma extensÃo com um passo-a-passo e suas anÃlise de complexidade.Knowledge formalization and reasoning automatization are central within Articial Intelligence. First Order Logic has been traditionally used for such purposes. However, it is better suited to deal with complete knowledge in ideal circumstances. In real situations, in which the knowledge is partial, First Order Logic is not sucient. Nonmonotonic logics have been proposed to better cope with practical reasoning. A successful formalization of nonmonotonic reasoning is the Reiter's default logic which extends classical logic with default rules. Unfortunately, default logic is undecidable. In this work, we propose a description default logic expressible enough to formalize practical reasoning in knowledge bases. It has as its monotonic basis the ALC Description Logic. We add some restrictions to the application of defaults in order to obtain nice properties such as coherence and the elimination of anomalous extensions. We present the main algorithms used to build an extension with a step by step complexity analysis.CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superiorhttp://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=7649application/pdfinfo:eu-repo/semantics/openAccessporreponame:Biblioteca Digital de Teses e Dissertações da UFCinstname:Universidade Federal do Cearáinstacron:UFC2019-01-21T11:20:37Zmail@mail.com -
dc.title.en.fl_str_mv A Description Logic for Default
dc.title.alternative.pt.fl_str_mv Uma LÃgica de DescriÃÃo Default
title A Description Logic for Default
spellingShingle A Description Logic for Default
DÃbora Farias Frota
LÃgica de DescriÃÃo
LÃgica Default
Complexidade EXPTIME
Description Logic
Default Logic
EXPTIME Complexity
CIENCIA DA COMPUTACAO
title_short A Description Logic for Default
title_full A Description Logic for Default
title_fullStr A Description Logic for Default
title_full_unstemmed A Description Logic for Default
title_sort A Description Logic for Default
author DÃbora Farias Frota
author_facet DÃbora Farias Frota
author_role author
dc.contributor.advisor1.fl_str_mv Ana Teresa de Castro Martins
dc.contributor.advisor1ID.fl_str_mv 23070200397
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/8173372566989305
dc.contributor.referee1.fl_str_mv JoÃo Fernando Lima AlcÃntara
dc.contributor.referee1ID.fl_str_mv 61720143315
dc.contributor.referee1Lattes.fl_str_mv http://lattes.cnpq.br/8143823413993024
dc.contributor.referee2.fl_str_mv Edward Hermann Hauesler
dc.contributor.referee2ID.fl_str_mv 24815438153
dc.contributor.referee2Lattes.fl_str_mv http://lattes.cnpq.br/6075905438020841
dc.contributor.authorID.fl_str_mv 01544716311
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/1071570788816803
dc.contributor.author.fl_str_mv DÃbora Farias Frota
contributor_str_mv Ana Teresa de Castro Martins
JoÃo Fernando Lima AlcÃntara
Edward Hermann Hauesler
dc.subject.por.fl_str_mv LÃgica de DescriÃÃo
LÃgica Default
Complexidade EXPTIME
topic LÃgica de DescriÃÃo
LÃgica Default
Complexidade EXPTIME
Description Logic
Default Logic
EXPTIME Complexity
CIENCIA DA COMPUTACAO
dc.subject.eng.fl_str_mv Description Logic
Default Logic
EXPTIME Complexity
dc.subject.cnpq.fl_str_mv CIENCIA DA COMPUTACAO
dc.description.sponsorship.fl_txt_mv CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior
dc.description.abstract.por.fl_txt_mv A formalizaÃÃo do conhecimento e a automatizaÃÃo do raciocÃnio sÃo assuntos centrais de pesquisa da InteligÃncia Articial. A LÃgica de Primeira Ordem tem sido tradicionalmente utilizada para tais propÃsitos. No entanto, ela à mais adequada para lidar com conhecimento completo em circunstÃncias ideais. Em situaÃÃes reais, nas quais o conhecimento à parcial, a LÃgica de Primeira Ordem nÃo à suciente. LÃgicas nÃo-monotÃnicas tÃm sido propostas para melhor lidar com o raciocÃnio prÃtico. Uma formalizaÃÃo do raciocÃnio nÃo-monotÃnico bem-sucedida à a LÃgica Default de Reiter que estende a LÃgica de Primeira Ordem com regras default. Infelizmente, a LÃgica Default à indecidÃvel. Nesta dissertaÃÃo, propomos uma LÃgica de DescriÃÃo Default expressiva o suciente para formalizar o raciocÃnio prÃtico sobre bases de conhecimento. Ela tem como base monotÃnica a LÃgica de DescriÃÃo ALC. Adicionamos algumas restriÃÃes à aplicaÃÃo dos defaults a m de obter propriedades interessantes, tais como a coerÃncia e a eliminaÃÃo de extensÃes anÃmalas. Apresentamos os principais algoritmos usados para construir uma extensÃo com um passo-a-passo e suas anÃlise de complexidade.
dc.description.abstract.eng.fl_txt_mv Knowledge formalization and reasoning automatization are central within Articial Intelligence. First Order Logic has been traditionally used for such purposes. However, it is better suited to deal with complete knowledge in ideal circumstances. In real situations, in which the knowledge is partial, First Order Logic is not sucient. Nonmonotonic logics have been proposed to better cope with practical reasoning. A successful formalization of nonmonotonic reasoning is the Reiter's default logic which extends classical logic with default rules. Unfortunately, default logic is undecidable. In this work, we propose a description default logic expressible enough to formalize practical reasoning in knowledge bases. It has as its monotonic basis the ALC Description Logic. We add some restrictions to the application of defaults in order to obtain nice properties such as coherence and the elimination of anomalous extensions. We present the main algorithms used to build an extension with a step by step complexity analysis.
description A formalizaÃÃo do conhecimento e a automatizaÃÃo do raciocÃnio sÃo assuntos centrais de pesquisa da InteligÃncia Articial. A LÃgica de Primeira Ordem tem sido tradicionalmente utilizada para tais propÃsitos. No entanto, ela à mais adequada para lidar com conhecimento completo em circunstÃncias ideais. Em situaÃÃes reais, nas quais o conhecimento à parcial, a LÃgica de Primeira Ordem nÃo à suciente. LÃgicas nÃo-monotÃnicas tÃm sido propostas para melhor lidar com o raciocÃnio prÃtico. Uma formalizaÃÃo do raciocÃnio nÃo-monotÃnico bem-sucedida à a LÃgica Default de Reiter que estende a LÃgica de Primeira Ordem com regras default. Infelizmente, a LÃgica Default à indecidÃvel. Nesta dissertaÃÃo, propomos uma LÃgica de DescriÃÃo Default expressiva o suciente para formalizar o raciocÃnio prÃtico sobre bases de conhecimento. Ela tem como base monotÃnica a LÃgica de DescriÃÃo ALC. Adicionamos algumas restriÃÃes à aplicaÃÃo dos defaults a m de obter propriedades interessantes, tais como a coerÃncia e a eliminaÃÃo de extensÃes anÃmalas. Apresentamos os principais algoritmos usados para construir uma extensÃo com um passo-a-passo e suas anÃlise de complexidade.
publishDate 2011
dc.date.issued.fl_str_mv 2011-08-19
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
status_str publishedVersion
format masterThesis
dc.identifier.uri.fl_str_mv http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=7649
url http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=7649
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.publisher.none.fl_str_mv Universidade Federal do CearÃ
dc.publisher.program.fl_str_mv Programa de PÃs-GraduaÃÃo em CiÃncia da ComputaÃÃo
dc.publisher.initials.fl_str_mv UFC
dc.publisher.country.fl_str_mv BR
publisher.none.fl_str_mv Universidade Federal do CearÃ
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFC
instname:Universidade Federal do Ceará
instacron:UFC
reponame_str Biblioteca Digital de Teses e Dissertações da UFC
collection Biblioteca Digital de Teses e Dissertações da UFC
instname_str Universidade Federal do Ceará
instacron_str UFC
institution UFC
repository.name.fl_str_mv -
repository.mail.fl_str_mv mail@mail.com
_version_ 1643295158732587008

Registros relacionados