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

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)

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

• 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?)
• 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
• 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

(12)

• scientific article; zbMATH DE number 7450021 (Why is no real title available?)
• 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
• Realism, rhetoric, and reliability
• Interactive semantic alignment model: social influence and local transmission bottleneck
• A dynamic logic for learning theory

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)