Constructive Tightly Grounded Autoepistemic Reasoning

  title={Constructive Tightly Grounded Autoepistemic Reasoning},
  author={Ilkka Niemel{\"a}},
The key concept of autoepistemic logic introduced by Moore is a stable expansion of a set of premises, i.e., a set of beliefs adopted by an agent with perfect introspection capabilities on the basis of the premises. Moore's formal-ization of a stable expansion, however, is non-constructive and produces sets of beliefs which are quite weakly grounded in the premises. A new more constructive definition of the sets of beliefs of the agent is proposed. It is based on classical logic and… CONTINUE READING

From This Paper

Topics from this paper.
5 Citations
10 References
Similar Papers


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

On the relation between autoepistemic logic and circumscription

  • K Konolige, Konolige
  • Proceeding of the 11th International Joint…
  • 1989
1 Excerpt

On the complexity of the decision problem in propositional nonmonotonic logic

  • I Niemela, Niemela
  • Proceedings of the 2nd Workshop on Computer…
  • 1988
1 Excerpt

On the relation between default and autoepistemic logic

  • K Konolige, Konolige
  • Artificial Intelligence
  • 1988

The mathematics of nonmonotonic reasoning

  • M Davis, Davis
  • Artificial Intelligence
  • 1980

Similar Papers

Loading similar papers…