Revisão de Crenças Aplicada a Programas em Lógica

Autores

1651
Rubens Júnior Magno Cabral
431,105
1652
Sheila Regina Murgel Veloso
(Orientador)
431,105

Informações:

Publicações do PESC

Título
Revisão de Crenças Aplicada a Programas em Lógica
Linha de pesquisa
Inteligência Artificial
Tipo de publicação
Dissertação de Mestrado
Número de registro
Data da defesa
5/6/1998
Resumo
PESC: Resumo de Dissertação de Mestrado Resumo da Tese apresentada à COPPE/UFRJ como parte dos requisitos necessários para a obtenção do grau de Mestre em Ciências (M.Sc.)

Revisão de Crenças Aplicada a Programas em Lógica

Rubens Júnior Magno Cabral

Junho/1998
Orientador: Sheila Regina Murgel Veloso  

 
Programa: Engenharia de Sistemas e Computação

      Neste trabalho é proposto um processo de revisão para programas em lógica. Partindo-se de um programa em lógica inicial, obtém-se um programa em lógica revisado de acordo com uma especificação formalizada por programas de revisão, qual seja, a revisão de bases de conhecimento. O processo proposto se aplica a programas em lógica em geral, disjuntivos e com prioridades. São apresentados dois resultados relacionando revisão de programas com revisão de bases, bem como uma interpretação dos programas de revisão como programas em lógica.

Abstract
PESC: Master Degree Abstracts Abstract of Thesis presented at COPPE/UFRJ as a partial fulfillment of the requirements for the degree of Master of Science (M.Sc.)

Belief Revision Applied to Logic Programs

Rubens Júnior Magno Cabral

June/1998
Advisor:Sheila R. Murgel Veloso
 
Department: Systems Engineering and Computer Science

      In this work is proposed a process of revision for logic programs. Starting from an initial logic program, we get a revised logic program according to a specification formalized by revision programs, extending the traditional use of the revision programs which was the revision of knowledge bases. The process applies to general and disjunctive logic programs and also to logic programs with priorities. Two new results relating program revision with base revision are presented, and as well an interpretation of revision programs as logic programs.

Arquivo
Topo