On the solvability of inductive problems: a study in epistemic topology
zbMATH Open1483.68367arXiv1606.07518MaRDI QIDQ5015385FDOQ5015385
Authors: Alexandru Baltag, Nina Gierasimczuk, Sonja Smets 
Publication date: 7 December 2021
Full work available at URL: https://arxiv.org/abs/1606.07518
Recommendations
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational learning theory (68Q32) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)
Cites Work
- Two modellings for theory change
- On the logic of theory change: Partial meet contraction and revision functions
- A formal theory of inductive inference. Part I
- Logical dynamics of information and interaction
- Inductive inference of formal languages from positive data
- A qualitative theory of dynamic interactive belief revision
- Language identification in the limit
- Trial and error predicates and the solution to a problem of Mostowski
- Topological properties of concept spaces (full version)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Limiting recursion
- Dynamic interactive epistemology
- Merging frameworks for interaction
- Scientific discovery based on belief revision
- Title not available (Why is that?)
- Iterated belief revision, reliability, and inductive amnesia
- Finite identification from the viewpoint of epistemic update
- Identification through Inductive Verification
- Logic and learning
- Truth-tracking by belief revision
Cited In (12)
- Title not available (Why is that?)
- Tracking probabilistic truths: a logic for statistical learning
- The topology of statistical verifiability
- Theory choice, theory change, and inductive truth-conduciveness
- Truth-tracking by belief revision
- Learning to act and observe in partially observable domains
- The McKinsey-Tarski theorem for locally compact ordered spaces
- Announcement as effort on topological spaces
- Modes of convergence to the truth: steps toward a better epistemology of induction
- A dynamic logic for learning theory
- Interactive semantic alignment model: social influence and local transmission bottleneck
- Realism, rhetoric, and reliability
This page was built for publication: On the solvability of inductive problems: a study in epistemic topology
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5015385)
