Reason to Believe
In this paper we study the relation between nonmonotonic reasoning and belief revision. Our main conceptual contribution is to suggest that nonmonotonic reasoning guides but does not determine an agent’s belief revision. To be adopted as beliefs, defeasible conclusions should remain stable in the face of certain bodies of information. This proposal is formalized in what we call a two-tier semantics for nonmonotonic reasoning and belief revision. The main technical result is a sound and complete axiomatization for this semantic.
- 1.Aucher, G.: A combined system for update logic and belief revision. Master’s thesis, ILLC, University of Amsterdam (2003)Google Scholar
- 6.Gärdenfors, P.: Belief revision and nonmonotonic logic: two sides of the same coin? In: Logics in AI, pp. 52–54 (1991)Google Scholar
- 8.Gilbert, H.: Change in View. MIT Press, Cambridge (1986)Google Scholar