Uma aplicaÃÃo para a LPR

Detalhes bibliográficos
Autor(a) principal: Samy Soares Passos de SÃ
Data de Publicação: 2008
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=8878
Resumo: Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico
id UFC_ff289797e84d7918dfe0bf201865ba40
oai_identifier_str oai:www.teses.ufc.br:4497
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 aplicaÃÃo para a LPR2008-10-02Tarcisio Haroldo Cavalcante Pequeno01504290372http://dgp.cnpq.br/buscaoperacional/detalhepesq.jsp?pesq=8763487086911020Marcelino Cavalcante Pequeno55006426772http://lattes.cnpq.br/3756351374552378Arthur Ronald de Vallauris Buchsbaumhttp://lattes.cnpq.br/5753981526255474Jean-Yves Beziauhttp://lattes.cnpq.br/9209454388590325 00255406371http://lattes.cnpq.br/0340525775226523Samy Soares Passos de SÃUniversidade Federal do CearÃPrograma de PÃs-GraduaÃÃo em CiÃncia da ComputaÃÃoUFCBRRaciocÃnio NÃo-MonotÃnicoCIENCIA DA COMPUTACAOConselho Nacional de Desenvolvimento CientÃfico e TecnolÃgicoSistemas automatizados de apoio à decisÃo lidam com a representaÃÃo de conhecimento atravÃs de sistemas formais que permitam cÃlculo de inferÃncias, e atravÃs deste, a possibilidade de tirar conclusÃes de uma base de conhecimento. LÃgicas nÃo-monotÃnicas vÃm sendo discutidas como soluÃÃo para contornar os limites de expressividade da lÃgica clÃssica quanto à representaÃÃo de bases de conhecimento. A LPR (Logic of Plausible Reasoning) à uma proposta recente, que sugere uma estrutura de regra nÃo monotÃnica atravÃs do conceito de generalizaÃÃo e um cÃlculo de extensÃes prÃprio como soluÃÃo capaz de lidar com alguns dos principais problemas e limites expressivos dos formalismos que a antecederam. O presente trabalho à um dos primeiros a explorar o poder expressivo e potencial para a utilizaÃÃo dessa tÃcnica como ferramenta de modelagem de bases de conhecimento para sistemas de apoio à decisÃo. Introduzimos as regras de um jogo enquanto sistema formal adequado à anÃlise e ilustramos o funcionamento do raciocÃnio modelado pela LPR sobre o conhecimento corrente em vÃrios momentos do mesmo, permitindo modelar aspectos do pensamento tais como a formulaÃÃo de conjecturas, avaliaÃÃo de cenÃrios e mudanÃa de idÃia em decorrÃncia de novas descobertas. Apresentamos, ainda, um programa PROLOG que implementa o modelo descrito com regras LPR como instrumento de corretude do mesmo, utilizando uma tÃcnica de divisÃo do programa para formular na linguagem regras baseadas em quantificadores e equivalÃncia de variÃveis.http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=8878application/pdfinfo:eu-repo/semantics/openAccessporreponame:Biblioteca Digital de Teses e Dissertações da UFCinstname:Universidade Federal do Cearáinstacron:UFC2019-01-21T11:21:57Zmail@mail.com -
dc.title.pt.fl_str_mv Uma aplicaÃÃo para a LPR
title Uma aplicaÃÃo para a LPR
spellingShingle Uma aplicaÃÃo para a LPR
Samy Soares Passos de SÃ
RaciocÃnio NÃo-MonotÃnico
CIENCIA DA COMPUTACAO
title_short Uma aplicaÃÃo para a LPR
title_full Uma aplicaÃÃo para a LPR
title_fullStr Uma aplicaÃÃo para a LPR
title_full_unstemmed Uma aplicaÃÃo para a LPR
title_sort Uma aplicaÃÃo para a LPR
author Samy Soares Passos de SÃ
author_facet Samy Soares Passos de SÃ
author_role author
dc.contributor.advisor1.fl_str_mv Tarcisio Haroldo Cavalcante Pequeno
dc.contributor.advisor1ID.fl_str_mv 01504290372
dc.contributor.advisor1Lattes.fl_str_mv http://dgp.cnpq.br/buscaoperacional/detalhepesq.jsp?pesq=8763487086911020
dc.contributor.advisor-co1.fl_str_mv Marcelino Cavalcante Pequeno
dc.contributor.advisor-co1ID.fl_str_mv 55006426772
dc.contributor.advisor-co1Lattes.fl_str_mv http://lattes.cnpq.br/3756351374552378
dc.contributor.referee1.fl_str_mv Arthur Ronald de Vallauris Buchsbaum
dc.contributor.referee1Lattes.fl_str_mv http://lattes.cnpq.br/5753981526255474
dc.contributor.referee2.fl_str_mv Jean-Yves Beziau
dc.contributor.referee2Lattes.fl_str_mv http://lattes.cnpq.br/9209454388590325
dc.contributor.authorID.fl_str_mv 00255406371
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/0340525775226523
dc.contributor.author.fl_str_mv Samy Soares Passos de SÃ
contributor_str_mv Tarcisio Haroldo Cavalcante Pequeno
Marcelino Cavalcante Pequeno
Arthur Ronald de Vallauris Buchsbaum
Jean-Yves Beziau
dc.subject.por.fl_str_mv RaciocÃnio NÃo-MonotÃnico
topic RaciocÃnio NÃo-MonotÃnico
CIENCIA DA COMPUTACAO
dc.subject.cnpq.fl_str_mv CIENCIA DA COMPUTACAO
dc.description.sponsorship.fl_txt_mv Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico
dc.description.abstract.por.fl_txt_mv Sistemas automatizados de apoio à decisÃo lidam com a representaÃÃo de conhecimento atravÃs de sistemas formais que permitam cÃlculo de inferÃncias, e atravÃs deste, a possibilidade de tirar conclusÃes de uma base de conhecimento. LÃgicas nÃo-monotÃnicas vÃm sendo discutidas como soluÃÃo para contornar os limites de expressividade da lÃgica clÃssica quanto à representaÃÃo de bases de conhecimento. A LPR (Logic of Plausible Reasoning) à uma proposta recente, que sugere uma estrutura de regra nÃo monotÃnica atravÃs do conceito de generalizaÃÃo e um cÃlculo de extensÃes prÃprio como soluÃÃo capaz de lidar com alguns dos principais problemas e limites expressivos dos formalismos que a antecederam. O presente trabalho à um dos primeiros a explorar o poder expressivo e potencial para a utilizaÃÃo dessa tÃcnica como ferramenta de modelagem de bases de conhecimento para sistemas de apoio à decisÃo. Introduzimos as regras de um jogo enquanto sistema formal adequado à anÃlise e ilustramos o funcionamento do raciocÃnio modelado pela LPR sobre o conhecimento corrente em vÃrios momentos do mesmo, permitindo modelar aspectos do pensamento tais como a formulaÃÃo de conjecturas, avaliaÃÃo de cenÃrios e mudanÃa de idÃia em decorrÃncia de novas descobertas. Apresentamos, ainda, um programa PROLOG que implementa o modelo descrito com regras LPR como instrumento de corretude do mesmo, utilizando uma tÃcnica de divisÃo do programa para formular na linguagem regras baseadas em quantificadores e equivalÃncia de variÃveis.
description Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico
publishDate 2008
dc.date.issued.fl_str_mv 2008-10-02
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=8878
url http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=8878
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_ 1643295167141117952

Registros relacionados