BDBComp
Parceria:
SBC
Compiling Default Theory int Extended Logic Programming

Berilhes Borges GarciaJosé Gabriel Pereira LopesFlá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

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD