scientific article; zbMATH DE number 7440213
From MaRDI portal
Publication:5015385
zbMath1483.68367arXiv1606.07518MaRDI QIDQ5015385
Alexandru Baltag, Nina Gierasimczuk, Sonja Smets
Publication date: 7 December 2021
Full work available at URL: https://arxiv.org/abs/1606.07518
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computational learning theory (68Q32) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Agent technology and artificial intelligence (68T42)
Related Items (11)
MODES OF CONVERGENCE TO THE TRUTH: STEPS TOWARD A BETTER EPISTEMOLOGY OF INDUCTION ⋮ The Topology of Statistical Verifiability ⋮ Tracking probabilistic truths: a logic for statistical learning ⋮ Interactive semantic alignment model: social influence and local transmission bottleneck ⋮ Unnamed Item ⋮ Realism, rhetoric, and reliability ⋮ Truth-tracking by belief revision ⋮ Theory choice, theory change, and inductive truth-conduciveness ⋮ A dynamic logic for learning theory ⋮ THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES ⋮ Announcement as effort on topological spaces
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Finite identification from the viewpoint of epistemic update
- Topological properties of concept spaces (full version)
- Merging frameworks for interaction
- Two modellings for theory change
- Iterated belief revision, reliability, and inductive amnesia
- Dynamic interactive epistemology
- Truth-tracking by belief revision
- Logical Dynamics of Information and Interaction
- Identification through Inductive Verification
- On the logic of theory change: Partial meet contraction and revision functions
- Inductive inference of formal languages from positive data
- Scientific discovery based on belief revision
- Logic and Learning
- Trial and error predicates and the solution to a problem of Mostowski
- Limiting recursion
- A formal theory of inductive inference. Part I
- Language identification in the limit
This page was built for publication:
