We present a new topological semantics for doxastic logic, in which the belief modality is interpreted as the closure of the interior operator. We show that this semantics is the most general (extensional) semantics validating Stalnaker's epistemic-doxastic axioms [22] for "strong belief", understood as subjective certainty. We prove two completeness results, and we also give a topological semantics for update (dynamic conditioning), i.e. the operation of revising with "hard information" (modeled by restricting the topology to a subspace). Using this, we show that our setting fits well with the defeasibility analysis of knowledge [18]: topological knowledge coincides with undefeated true belief. Finally, we compare our semantics to the older topological interpretation of belief in terms of Cantor derivative [23]. © 2013 Springer-Verlag.
CITATION STYLE
Baltag, A., Bezhanishvili, N., Özgün, A., & Smets, S. (2013). The topology of belief, belief revision and defeasible knowledge. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8196 LNCS, pp. 27–40). https://doi.org/10.1007/978-3-642-40948-6_3
Mendeley helps you to discover research relevant for your work.