Bridging learning theory and dynamic epistemic logic
From MaRDI portal
Publication:1036054
DOI10.1007/s11229-009-9549-1zbMath1183.03012MaRDI QIDQ1036054
Publication date: 4 November 2009
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-009-9549-1
belief revision; induction; dynamic doxastic logic; dynamic epistemic logic; identification in the limit; epistemic update; co-learning; finite identifiability; learning by elimination; learning by erasing
68Q32: Computational learning theory
03B42: Logics of knowledge and belief (including belief change)
Related Items
Logic and Learning, Finite identification from the viewpoint of epistemic update, Merging DEL and ETL, Dynamic update with probabilities, Truth-tracking by belief revision, A modal logic for supervised learning
Cites Work
- Unnamed Item
- Belief revision in the service of scientific discovery
- Logics for epistemic programs
- Learning by erasing
- Dynamic Epistemic Logic and Knowledge Puzzles
- The Problem of Learning the Semantics of Quantifiers
- Identification through Inductive Verification
- Can Doxastic Agents Learn? On the Temporal Structure of Learning
- Learning and Teaching as a Game: A Sabotage Approach
- On the logic of theory change: Partial meet contraction and revision functions
- Inductive inference of formal languages from positive data
- Language identification in the limit