Uma nova abordagem para o raciocinio não monotônico

Detalhes bibliográficos
Ano de defesa: 2007
Autor(a) principal: Veras, Rodrigo de Melo Souza
Orientador(a): Pequeno, Marcelino Cavalcante
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:
Link de acesso: http://www.repositorio.ufc.br/handle/riufc/18558
Resumo: 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.
id UFC-7_90f0c2b5ac11538824c89c570259ed80
oai_identifier_str oai:repositorio.ufc.br:riufc/18558
network_acronym_str UFC-7
network_name_str Repositório Institucional da Universidade Federal do Ceará (UFC)
repository_id_str
spelling Veras, Rodrigo de Melo SouzaZaverucha, GersonPequeno, Marcelino Cavalcante2016-07-21T16:12:24Z2016-07-21T16:12:24Z2007VERAS, Rodrigo de Melo Souza. Uma nova abordagem para o raciocinio não monotônico. 2007. 102 f. Dissertação (Mestrado em ciência da computação) - Universidade Federal do Ceará, Fortaleza-CE, 2007.http://www.repositorio.ufc.br/handle/riufc/18558Default 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.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.Ciência da computaçãoLógica defaultRaciocínio não monotônicoDefault logicNonmonotonic reasoningUma nova abordagem para o raciocinio não monotônicoNew Boarding for the nonmonotonic reasoninginfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da Universidade Federal do Ceará (UFC)instname:Universidade Federal do Ceará (UFC)instacron:UFCinfo:eu-repo/semantics/openAccessORIGINAL2007_dis_rmsveras.pdf2007_dis_rmsveras.pdfapplication/pdf1095797http://repositorio.ufc.br/bitstream/riufc/18558/1/2007_dis_rmsveras.pdf0e461d552478b8849c4691529b7a5a91MD51LICENSElicense.txtlicense.txttext/plain; charset=utf-81748http://repositorio.ufc.br/bitstream/riufc/18558/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufc/185582020-07-02 11:19:03.546oai:repositorio.ufc.br:riufc/18558Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositório InstitucionalPUBhttp://www.repositorio.ufc.br/ri-oai/requestbu@ufc.br || repositorio@ufc.bropendoar:2020-07-02T14:19:03Repositório Institucional da Universidade Federal do Ceará (UFC) - Universidade Federal do Ceará (UFC)false
dc.title.pt_BR.fl_str_mv Uma nova abordagem para o raciocinio não monotônico
dc.title.en.pt_BR.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
Veras, Rodrigo de Melo Souza
Ciência da computação
Lógica default
Raciocínio não monotônico
Default logic
Nonmonotonic reasoning
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 Veras, Rodrigo de Melo Souza
author_facet Veras, Rodrigo de Melo Souza
author_role author
dc.contributor.co-advisor.none.fl_str_mv Zaverucha, Gerson
dc.contributor.author.fl_str_mv Veras, Rodrigo de Melo Souza
dc.contributor.advisor1.fl_str_mv Pequeno, Marcelino Cavalcante
contributor_str_mv Pequeno, Marcelino Cavalcante
dc.subject.por.fl_str_mv Ciência da computação
Lógica default
Raciocínio não monotônico
Default logic
Nonmonotonic reasoning
topic Ciência da computação
Lógica default
Raciocínio não monotônico
Default logic
Nonmonotonic reasoning
description 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.
publishDate 2007
dc.date.issued.fl_str_mv 2007
dc.date.accessioned.fl_str_mv 2016-07-21T16:12:24Z
dc.date.available.fl_str_mv 2016-07-21T16:12:24Z
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 VERAS, Rodrigo de Melo Souza. Uma nova abordagem para o raciocinio não monotônico. 2007. 102 f. Dissertação (Mestrado em ciência da computação) - Universidade Federal do Ceará, Fortaleza-CE, 2007.
dc.identifier.uri.fl_str_mv http://www.repositorio.ufc.br/handle/riufc/18558
identifier_str_mv VERAS, Rodrigo de Melo Souza. Uma nova abordagem para o raciocinio não monotônico. 2007. 102 f. Dissertação (Mestrado em ciência da computação) - Universidade Federal do Ceará, Fortaleza-CE, 2007.
url http://www.repositorio.ufc.br/handle/riufc/18558
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.source.none.fl_str_mv reponame:Repositório Institucional da Universidade Federal do Ceará (UFC)
instname:Universidade Federal do Ceará (UFC)
instacron:UFC
instname_str Universidade Federal do Ceará (UFC)
instacron_str UFC
institution UFC
reponame_str Repositório Institucional da Universidade Federal do Ceará (UFC)
collection Repositório Institucional da Universidade Federal do Ceará (UFC)
bitstream.url.fl_str_mv http://repositorio.ufc.br/bitstream/riufc/18558/1/2007_dis_rmsveras.pdf
http://repositorio.ufc.br/bitstream/riufc/18558/2/license.txt
bitstream.checksum.fl_str_mv 0e461d552478b8849c4691529b7a5a91
8a4605be74aa9ea9d79846c1fba20a33
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da Universidade Federal do Ceará (UFC) - Universidade Federal do Ceará (UFC)
repository.mail.fl_str_mv bu@ufc.br || repositorio@ufc.br
_version_ 1847793010240126976