On the solvability of inductive problems: a study in epistemic topology

MaRDI QIDQ5015385zbMATH OpenFDO

Authors Alexandru Baltag, Nina Gierasimczuk, Sonja Smets

Publication date 7 December 2021

Full work available at URL https://arxiv.org/abs/1606.07518, http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2015.7

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Computational learning theory (68Q32) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• The logic of AGM learning from partial observations
• Iterated belief revision, reliability, and inductive amnesia
• Truth-tracking by belief revision
• Can Doxastic Agents Learn? On the Temporal Structure of Learning
• Scientific discovery on positive data via belief revision

Cites work

• A formal theory of inductive inference. Part I
• A qualitative theory of dynamic interactive belief revision
• Dynamic interactive epistemology
• Finite identification from the viewpoint of epistemic update
• scientific article; zbMATH DE number 1233702 (Why is no real title available?)
• scientific article; zbMATH DE number 1163999 (Why is no real title available?)
• scientific article; zbMATH DE number 949397 (Why is no real title available?)
• Identification through Inductive Verification
• Inductive inference of formal languages from positive data
• Iterated belief revision, reliability, and inductive amnesia
• Language identification in the limit
• Limiting recursion
• Logic and learning
• Logical dynamics of information and interaction
• Merging frameworks for interaction
• On the logic of theory change: Partial meet contraction and revision functions
• Scientific discovery based on belief revision
• Topological properties of concept spaces (full version)
• Trial and error predicates and the solution to a problem of Mostowski
• Truth-tracking by belief revision
• Two modellings for theory change

Cited in

(16)

• Interactive semantic alignment model: social influence and local transmission bottleneck
• Truth-tracking by belief revision
• Theory choice, theory change, and inductive truth-conduciveness
• Announcement as effort on topological spaces
• The topology of statistical verifiability
• The McKinsey-Tarski theorem for locally compact ordered spaces
• Uncertainty about evidence
• Modes of convergence to the truth: steps toward a better epistemology of induction
• Realism, rhetoric, and reliability
• A dynamic logic for learning theory
• Tracking probabilistic truths: a logic for statistical learning
• Learning to act and observe in partially observable domains
• The introduction of topology into analytic philosophy: two movements and a coda
• The topology of surprise
• Topological inquiry in abstract model theory
• The topological mu-calculus: completeness and decidability

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)