Berilhes Borges Garcia, José Gabriel Pereira Lopes, Flávio Varejão.
In this paper we demonstrate how a default theory, expressed through a set of conditional defaults that the agent possesses, can be traduced into extended logic programs. Additionally, the proposed translation allows to evaluate the degree of epistemic surprise of a proposition (or a conjunction of propositions) on a meta-logical level.
http://www.springerlink.com/content/vtlkn2q3kh9nvcp6/
Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web