Abstract
Stable theories were proposed as formal representations of belief sets of an ideally rational reasoning agent possessing a full power of introspection. A set of beliefs of such an agent should, of course, be closed under propositional consequence but, in addition, it should be closed under:
-
Positive introspection — if φ is an agent’s belief, then the statement “I believe in φ”is also an agent’s belief (in other words, an agent’s beliefs are closed under necessitation).
-
Negative introspection — if φ is not an agent’s belief, then the statement “I do not believe in φ” is an agent’s belief.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Marek, V.W., Truszczyński, M. (1993). Stable theories. In: Nonmonotonic Logic. Artificial Intelligence. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-02906-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-662-02906-0_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-02908-4
Online ISBN: 978-3-662-02906-0
eBook Packages: Springer Book Archive