SÁ, Samy Soares Passos de. Uma aplicação para a LPR. 2008. 141 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2008. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-12T17:22:42Z
No. of bitstreams: 1
2008_dis_sspsa.pdf: 2115584 bytes, checksum: d4deacd5a3b3ddf9d60b718c6fc45ca9 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-22T12:26:23Z (GMT) No. of bitstreams: 1
2008_dis_sspsa.pdf: 2115584 bytes, checksum: d4deacd5a3b3ddf9d60b718c6fc45ca9 (MD5) / Made available in DSpace on 2016-07-22T12:26:23Z (GMT). No. of bitstreams: 1
2008_dis_sspsa.pdf: 2115584 bytes, checksum: d4deacd5a3b3ddf9d60b718c6fc45ca9 (MD5)
Previous issue date: 2008 / 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.
| Identifer | oai:union.ndltd.org:IBICT/oai:www.repositorio.ufc.br:riufc/18648 |
| Date | January 2008 |
| Creators | Sá, Samy Soares Passos de |
| Contributors | Pequeno, Marcelino Cavalcante, Pequeno, Tarcisio Haroldo Cavalcante |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Source | reponame:Repositório Institucional da UFC, instname:Universidade Federal do Ceará, instacron:UFC |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0016 seconds