Structured belief bases
Reinhard Kähle · Logic and Logical Philosophy · 2004
In this paper we discuss a formal approach to belief representation which stores proof-theoretic information together with formulae. It is illustrated how this additional information can be used in the context of belief revision. The general aims of this paper are the following three: First, we would like to give a descriptive approach to belief revision, in contrast to a normative one. Secondly, the given theory should avoid (the consequences of) logical omniscience of beliefs. Finally, from a broader point of view, the presented approach can be considered as a case study within the programme of proof-theoretic semantics. In this programme, the question is raised whether and how proof-theoretic information can be used as a basis for semantics.