Learning by Erasing in Dynamic Epistemic Logic

Authors:
Nina Gierasimczuk
Affiliations:
Institute for Logic, Language, and Computation, University of Amsterdam, and Institute of Philosophy, University of Warsaw,
Venue:
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
Year:
2009

Citing 8
Cited 2

Learning by the process of elimination

Information and Computation
The logic of public announcements, common knowledge, and private suspicions

TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Co-Learning of Recursive Languages from Positive Data

Proceedings of the Second International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Learning by Erasing

ALT '96 Proceedings of the 7th International Workshop on Algorithmic Learning Theory
Merging frameworks for interaction: DEL and ETL

TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
The Problem of Learning the Semantics of Quantifiers

Logic, Language, and Computation
Identification through Inductive Verification

Logic, Language, and Computation
Dynamic Epistemic Logic

Dynamic Epistemic Logic

Finite identification from the viewpoint of epistemic update

Information and Computation
Belief revision as a truth-tracking process

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge

Quantified Score

Hi-index	0.00

Visualization

Abstract

This work provides a comparison of learning by erasing [1] and iterated epistemic update [2] as analyzed in dynamic epistemic logic (see e.g.[3]). We show that finite identification can be modelled in dynamic epistemic logic and that the elimination process of learning by erasing can be seen as iterated belief-revision modelled in dynamic doxastic logic.