Um sistema de revisão de crenças para resolução de problemas

Abstract

Sistemas de revisão de crenças selo sistemas que apóiam a realização de raciocínio não-monotônico em aplicações de Inteligência Artificial. Eles podem funcionar como suporte para "resolvedores de problemas", ajudando-os a explorar caminhos alternativos para se chegar a uma solução. Este trabalho apresenta um estudo sobre sistemas de revisão de crenças e descreve um em particular - o sistema SRC - que foi implementado com o objetivo de visualizar a sua utilização na resolução de problemas. Apenas para ilustrar um exemplo de aplicação do SRC, desenvolveu-se um resolvedor de problemas simples que também será descrito.

Belief revision systems are systems that support nonmonotonic reasoning in Artificial Intelligence applications. They may give support for "problem solvers", helping them in exploring alternative ways to obtain solutions. This work presents a study about belief revision systems and describes one - the SRC system. It was implemented to visualize its utility for problem solving in order to ilustrate an example of SRC application, a simple problem solver was developed. This application is also described in this work.