2013 | OriginalPaper | Chapter
The Topology of Belief, Belief Revision and Defeasible Knowledge
Authors : Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
Published in: Logic, Rationality, and Interaction
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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].