Principles of Knowledge, Belief and Conditional Belief

Guillaume Aucher (1, 2, 3)

1 Inria Rennes – Bretagne Atlantique
2 UR - Université de Rennes
3 IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE

We review and examine in this paper the validity of the different axioms (and inference rules) of knowledge and belief and relating knowledge to belief which have been proposed in the epistemic !epistemic logic literature. In doing so, we encounter many of the problems that epistemic !epistemic logic has had to face in its relatively short (modern) history and provide relevant pointers for more details. We also contribute to this area by providing conditions under which the notion of belief can be formally defined in terms of knowledge , and vice versa. We also prove that certain convoluted axioms dealing only with the notion of knowledge can be derived from understandable interaction axioms relating knowledge and conditional belief.

Mots clés: Epistemic Logic

Domaines: Logique en informatique [cs.LO]; Informatique; Philosophie

Guillaume Aucher. Principles of Knowledge, Belief and Conditional Belief. Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics, pp.97 - 134, 2014, ⟨10.1007/978-3-319-03044-9_5⟩. ⟨hal-01098789⟩