论归纳问题的可解性:认知拓扑学研究
计算机科学中的逻辑
2016-06-27 v1 机器学习
摘要
我们探讨信念主体进行归纳问题求解与学习的问题。我们给出了可解性与可学习性的拓扑刻画,并利用它们证明了 AGM 风格的信念修正具有“普适性”,即每个可解问题均可通过 AGM 条件化求解。
引用
@article{arxiv.1606.07518,
title = {On the Solvability of Inductive Problems: A Study in Epistemic Topology},
author = {Alexandru Baltag and Nina Gierasimczuk and Sonja Smets},
journal= {arXiv preprint arXiv:1606.07518},
year = {2016}
}
备注
In Proceedings TARK 2015, arXiv:1606.07295