Revisão de Crenças Aplicada a Programas em Lógica
Autores
|
1651 |
Rubens Júnior Magno Cabral
|
431,105
|
|
1652 |
431,105
|
Informações:
Publicações do PESC
Revisão de Crenças Aplicada a Programas em Lógica
Rubens Júnior Magno Cabral
Junho/1998
| Orientador: | Sheila Regina Murgel Veloso | |
| ||
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.
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.
