Uma nova abordagem para o raciocinio nÃo monotÃnico

Detalhes bibliográficos
Autor(a) principal: Rodrigo de Melo Souza Veras
Data de Publicação: 2007
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=1384
Resumo: A lÃgica default foi introduzida para manipular raciocÃnio com conhecimento incompleto e tornou-se o principal paradigma para a formalizaÃÃo do raciocÃnio nÃo monotÃnico. Muitas variaÃÃes foram propostas com o objetivo de solucionar algumas limitaÃÃes do formalismo ou para proporem diferentes intuiÃÃes sobre o papel das informaÃÃes inconlusivas. PorÃm, algumas das principais caracterÃsticas foram mantidas: a informaÃÃo inconclusiva à representada por regras default, objetivam o cÃlculo de extensÃes e, para isso, utilizam uma caracterizaÃÃo atravÃs de operadores de ponto fixo. NÃs propomos uma nova abordagem para o raciocÃnio nÃo monotÃnico. Nesta dissertaÃÃo, apresentamos a LÃgica Defeasible com Prioridade Ãs ExceÃÃes. As principais vantagens desta proposta sÃo a nÃo utilizaÃÃo de pontos fixos para definiÃÃo das expansÃes (nosso correspondente de extensÃes) e a propriedade de prioridade Ãs exceÃÃes que nÃo permite que uma proposiÃÃo inconclusiva interfira na derivaÃÃo de sua exceÃÃo. AlÃm disso, apresentamos uma nova maneira de definir as extensÃes da lÃgica default e de duas das suas principais variantes a lÃgica default justificada e a lÃgica default com restriÃÃes.
id UFC_1f48d1cca00fb527102608ec9cdc8ef6
oai_identifier_str oai:www.teses.ufc.br:1187
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/masterThesisUma nova abordagem para o raciocinio nÃo monotÃnico New Boarding for the nonmonotonic reasoning2007-08-30Marcelino Cavalcante Pequeno55006426772http://lattes.cnpq.br/3756351374552378Gerson Zaverucha13510584520http://lattes.cnpq.br/5117568495536090Ana Teresa de Castro Martins23070200397http://lattes.cnpq.br/817337256698930564175456368Rodrigo de Melo Souza VerasUniversidade Federal do CearÃPrograma de PÃs-GraduaÃÃo em CiÃncia da ComputaÃÃoUFCBRLÃgica default raciocÃnio nÃo monotÃnicoDefault logic nonmonotonic reasoningCIENCIA DA COMPUTACAOA lÃgica default foi introduzida para manipular raciocÃnio com conhecimento incompleto e tornou-se o principal paradigma para a formalizaÃÃo do raciocÃnio nÃo monotÃnico. Muitas variaÃÃes foram propostas com o objetivo de solucionar algumas limitaÃÃes do formalismo ou para proporem diferentes intuiÃÃes sobre o papel das informaÃÃes inconlusivas. PorÃm, algumas das principais caracterÃsticas foram mantidas: a informaÃÃo inconclusiva à representada por regras default, objetivam o cÃlculo de extensÃes e, para isso, utilizam uma caracterizaÃÃo atravÃs de operadores de ponto fixo. NÃs propomos uma nova abordagem para o raciocÃnio nÃo monotÃnico. Nesta dissertaÃÃo, apresentamos a LÃgica Defeasible com Prioridade Ãs ExceÃÃes. As principais vantagens desta proposta sÃo a nÃo utilizaÃÃo de pontos fixos para definiÃÃo das expansÃes (nosso correspondente de extensÃes) e a propriedade de prioridade Ãs exceÃÃes que nÃo permite que uma proposiÃÃo inconclusiva interfira na derivaÃÃo de sua exceÃÃo. AlÃm disso, apresentamos uma nova maneira de definir as extensÃes da lÃgica default e de duas das suas principais variantes a lÃgica default justificada e a lÃgica default com restriÃÃes. Default logic was introduced to manipulate reasoning with incomplete information and became the main paradigm to formalize nonmonotonic reasoning. Many variations have been proposed with the objective to solve some limitations of the formalism or to consider different intuitions on the role of inconclusive information. However, some of the main characteristics had been kept: inconclusive information is represented as default rules, objectifies the calculation of extensions and, because this, they use characterizations through fixed-point operators. We consider a new approach for nonmonotonic reasoning. In this dissertation, we present the Defeasible Logic with Exception-First. The main advantages of this approach are: it does not use fixed-points operators to define expansions (our correspondent of extensions) and exception-first property that does not allow that a inconclusive proposition intervenes with the derivation of its exception. Moreover, we present a new way to define the extensions of default logic and two of its main variants, justified default logic and constrained default logic. nÃo hÃhttp://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=1384application/pdfinfo:eu-repo/semantics/openAccessporreponame:Biblioteca Digital de Teses e Dissertações da UFCinstname:Universidade Federal do Cearáinstacron:UFC2019-01-21T11:14:19Zmail@mail.com -
dc.title.pt.fl_str_mv Uma nova abordagem para o raciocinio nÃo monotÃnico
dc.title.alternative.en.fl_str_mv New Boarding for the nonmonotonic reasoning
title Uma nova abordagem para o raciocinio nÃo monotÃnico
spellingShingle Uma nova abordagem para o raciocinio nÃo monotÃnico
Rodrigo de Melo Souza Veras
LÃgica default
raciocÃnio nÃo monotÃnico
Default logic
nonmonotonic reasoning
CIENCIA DA COMPUTACAO
title_short Uma nova abordagem para o raciocinio nÃo monotÃnico
title_full Uma nova abordagem para o raciocinio nÃo monotÃnico
title_fullStr Uma nova abordagem para o raciocinio nÃo monotÃnico
title_full_unstemmed Uma nova abordagem para o raciocinio nÃo monotÃnico
title_sort Uma nova abordagem para o raciocinio nÃo monotÃnico
author Rodrigo de Melo Souza Veras
author_facet Rodrigo de Melo Souza Veras
author_role author
dc.contributor.advisor1.fl_str_mv Marcelino Cavalcante Pequeno
dc.contributor.advisor1ID.fl_str_mv 55006426772
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/3756351374552378
dc.contributor.advisor-co1.fl_str_mv Gerson Zaverucha
dc.contributor.advisor-co1ID.fl_str_mv 13510584520
dc.contributor.advisor-co1Lattes.fl_str_mv http://lattes.cnpq.br/5117568495536090
dc.contributor.referee1.fl_str_mv Ana Teresa de Castro Martins
dc.contributor.referee1ID.fl_str_mv 23070200397
dc.contributor.referee1Lattes.fl_str_mv http://lattes.cnpq.br/8173372566989305
dc.contributor.authorID.fl_str_mv 64175456368
dc.contributor.author.fl_str_mv Rodrigo de Melo Souza Veras
contributor_str_mv Marcelino Cavalcante Pequeno
Gerson Zaverucha
Ana Teresa de Castro Martins
dc.subject.por.fl_str_mv LÃgica default
raciocÃnio nÃo monotÃnico
topic LÃgica default
raciocÃnio nÃo monotÃnico
Default logic
nonmonotonic reasoning
CIENCIA DA COMPUTACAO
dc.subject.eng.fl_str_mv Default logic
nonmonotonic reasoning
dc.subject.cnpq.fl_str_mv CIENCIA DA COMPUTACAO
dc.description.sponsorship.fl_txt_mv nÃo hÃ
dc.description.abstract.por.fl_txt_mv A lÃgica default foi introduzida para manipular raciocÃnio com conhecimento incompleto e tornou-se o principal paradigma para a formalizaÃÃo do raciocÃnio nÃo monotÃnico. Muitas variaÃÃes foram propostas com o objetivo de solucionar algumas limitaÃÃes do formalismo ou para proporem diferentes intuiÃÃes sobre o papel das informaÃÃes inconlusivas. PorÃm, algumas das principais caracterÃsticas foram mantidas: a informaÃÃo inconclusiva à representada por regras default, objetivam o cÃlculo de extensÃes e, para isso, utilizam uma caracterizaÃÃo atravÃs de operadores de ponto fixo. NÃs propomos uma nova abordagem para o raciocÃnio nÃo monotÃnico. Nesta dissertaÃÃo, apresentamos a LÃgica Defeasible com Prioridade Ãs ExceÃÃes. As principais vantagens desta proposta sÃo a nÃo utilizaÃÃo de pontos fixos para definiÃÃo das expansÃes (nosso correspondente de extensÃes) e a propriedade de prioridade Ãs exceÃÃes que nÃo permite que uma proposiÃÃo inconclusiva interfira na derivaÃÃo de sua exceÃÃo. AlÃm disso, apresentamos uma nova maneira de definir as extensÃes da lÃgica default e de duas das suas principais variantes a lÃgica default justificada e a lÃgica default com restriÃÃes.
dc.description.abstract.eng.fl_txt_mv Default logic was introduced to manipulate reasoning with incomplete information and became the main paradigm to formalize nonmonotonic reasoning. Many variations have been proposed with the objective to solve some limitations of the formalism or to consider different intuitions on the role of inconclusive information. However, some of the main characteristics had been kept: inconclusive information is represented as default rules, objectifies the calculation of extensions and, because this, they use characterizations through fixed-point operators. We consider a new approach for nonmonotonic reasoning. In this dissertation, we present the Defeasible Logic with Exception-First. The main advantages of this approach are: it does not use fixed-points operators to define expansions (our correspondent of extensions) and exception-first property that does not allow that a inconclusive proposition intervenes with the derivation of its exception. Moreover, we present a new way to define the extensions of default logic and two of its main variants, justified default logic and constrained default logic.
description A lÃgica default foi introduzida para manipular raciocÃnio com conhecimento incompleto e tornou-se o principal paradigma para a formalizaÃÃo do raciocÃnio nÃo monotÃnico. Muitas variaÃÃes foram propostas com o objetivo de solucionar algumas limitaÃÃes do formalismo ou para proporem diferentes intuiÃÃes sobre o papel das informaÃÃes inconlusivas. PorÃm, algumas das principais caracterÃsticas foram mantidas: a informaÃÃo inconclusiva à representada por regras default, objetivam o cÃlculo de extensÃes e, para isso, utilizam uma caracterizaÃÃo atravÃs de operadores de ponto fixo. NÃs propomos uma nova abordagem para o raciocÃnio nÃo monotÃnico. Nesta dissertaÃÃo, apresentamos a LÃgica Defeasible com Prioridade Ãs ExceÃÃes. As principais vantagens desta proposta sÃo a nÃo utilizaÃÃo de pontos fixos para definiÃÃo das expansÃes (nosso correspondente de extensÃes) e a propriedade de prioridade Ãs exceÃÃes que nÃo permite que uma proposiÃÃo inconclusiva interfira na derivaÃÃo de sua exceÃÃo. AlÃm disso, apresentamos uma nova maneira de definir as extensÃes da lÃgica default e de duas das suas principais variantes a lÃgica default justificada e a lÃgica default com restriÃÃes.
publishDate 2007
dc.date.issued.fl_str_mv 2007-08-30
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=1384
url http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=1384
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_ 1643295118545911808

Registros relacionados