Compiling Default Theory int Extended Logic Programming

  title={Compiling Default Theory int Extended Logic Programming},
  author={Berilhes Borges Garcia and Jos{\'e} Gabriel Pereira Lopes and Fl{\'a}vio Miguel Varej{\~a}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. 

Topics from this paper.


Publications citing this paper.