归纳推理中（语义）基于见证的学习器范式
机器学习
2020-10-20 v1 形式语言与自动机理论
摘要
我们研究学习器（可计算设备）推断形式语言，这一设定被称为极限语言学习或归纳推理。特别地，我们要求所研究的学习器是基于见证的，即证明其每一次心智改变（mind change）的合理性。除了作为学习任务的自然要求外，该限制值得特别关注，因为它是多种重要学习范式的特化。特别是，借助基于见证的学习，解释性学习器在这些看似不可比的范式下被证明具有同等的表达能力。尽管如此，迄今为止基于见证的学习器仅被稀疏地研究过。本工作中，我们对此类学习器在要求句法收敛和语义收敛时均进行了深入研究，并获得了相应的范式。在前一种设定中，我们扩展了已知结果以包含基于见证的学习，并将其推广至适用于多种学习器。转向行为正确学习，我们也给出了语义上基于见证的学习器的范式。最值得注意的是，我们证明了集合驱动的整体语义基于见证的学习器与其 Gold 风格语义保守对应物具有同等的表达能力。此类结果对于理解行为正确学习时各种重要学习范式之间尚未发现的相互关系至关重要。
引用
@article{arxiv.2010.09461,
title = {Normal Forms for (Semantically) Witness-Based Learners in Inductive Inference},
author = {Vanja Doskoč and Timo Kötzing},
journal= {arXiv preprint arXiv:2010.09461},
year = {2020}
}