Autoepistemic circumscription and logic programming

  title={Autoepistemic circumscription and logic programming},
  author={Li-Yan Yuan and Jia-Huai You},
  journal={Journal of Automated Reasoning},
We propose a framework of autoepistemic reasoning in which the underlying semantics is determined by the choice of a nonmonotonic inference mechanism and by specifying abelief constraint. While the latter makes the approach flexible in meeting possibly different applications, the former links the resulting semantics to a nonmonotonic reasoning formalism and thus allows adoption of existing techniques. In this paper we choosecircumscription as the underlying inference mechanism and use two… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 13 references

On stratified autoepistemic theories

  • M. Getfond
  • in Proc. AAAI-87,
  • 1988
1 Excerpt

Applications of circumscription to formalizing common-sense reasoning

  • J. McCarthy
  • Artificial Intelligence
  • 1986
1 Excerpt

Similar Papers

Loading similar papers…