Compiling Default Theory int Extended Logic Programming

@inproceedings{Garcia2000CompilingDT,
  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},
  booktitle={IBERAMIA-SBIA},
  year={2000}
}
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.

Citations

Publications citing this paper.