Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / 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.teses.ufc.br:4497 |
| Date | 02 October 2008 |
| Creators | Samy Soares Passos de SÃ |
| Contributors | Tarcisio Haroldo Cavalcante Pequeno, Marcelino Cavalcante Pequeno, Arthur Ronald de Vallauris Buchsbaum, Jean-Yves Beziau |
| Publisher | Universidade Federal do CearÃ, Programa de PÃs-GraduaÃÃo em CiÃncia da ComputaÃÃo, UFC, BR |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | application/pdf |
| Source | reponame:Biblioteca Digital de Teses e Dissertações da UFC, instname:Universidade Federal do Ceará, instacron:UFC |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0031 seconds