Uma aplicação para a LPR

Sá, Samy Soares Passos de

Use este identificador para citar ou linkar para este item: http://repositorio.ufc.br/handle/riufc/18648

Registro completo de metadados

Campo DC	Valor	Idioma
dc.contributor.advisor	Pequeno, Tarcisio Haroldo Cavalcante	-
dc.contributor.author	Sá, Samy Soares Passos de	-
dc.date.accessioned	2016-07-22T12:26:23Z	-
dc.date.available	2016-07-22T12:26:23Z	-
dc.date.issued	2008	-
dc.identifier.citation	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.	pt_BR
dc.identifier.uri	http://www.repositorio.ufc.br/handle/riufc/18648	-
dc.language.iso	pt_BR	pt_BR
dc.subject	Ciência da computação	pt_BR
dc.title	Uma aplicação para a LPR	pt_BR
dc.type	Dissertação	pt_BR
dc.contributor.co-advisor	Pequeno, Marcelino Cavalcante	-
dc.description.abstract-ptbr	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.	pt_BR
Aparece nas coleções:	DCOMP - Dissertações defendidas na UFC

Arquivos associados a este item:

Arquivo	Descrição	Tamanho	Formato
2008_dis_sspsa.pdf		2,07 MB	Adobe PDF	Visualizar/Abrir

Mostrar registro simples do item Visualizar estatísticas