凯斯，约翰;蒂莫·科茨;围场，托德 可行学习泛函的可行迭代。 （英语） Zbl 1142.68385号 Hutter，Marcus（编辑）等人，《算法学习理论》。第18届国际会议，ALT 2007，日本仙台，2007年10月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75224-0/pbk）。计算机科学课堂讲稿4754。人工智能课堂讲稿，34-48（2007）。 摘要：对于极限学习函数，算法学习器会连续获得更多关于函数的数据，并计算每个试验，从而输出相应的程序，希望这些程序最终收敛到该函数的正确程序。作者希望在限定范围内提供这种学习的可行版本——每个试验都是可行的，并且允许的试验数量有一些可行的限制。所使用的是基本可行函数，这些函数查询输入函数的值，并提供每次试验。为执行第（i）次审判，向工作人员提供了一个额外的理赔参数（0^{i}）。这样，每次连续试验都有更多的时间资源可用。用于可行地限制试验次数的机制是从一些可行的符号中为构造序数倒计时。由于所有进程都是可行的，因此可以检测到它们的终止，因此可以等待试验终止并抑制除最后一个外的所有输出程序。因此，尽管仍有反复的试验，但学习是长期以来被称为完全Fin学习的一种特殊情况，即在极限条件下学习，在每个函数上，学习者总是准确地输出一个推测程序。我们的一般主要结果提供了严格的学习层次结构，其中试倒数涉及无限极限序数的所有和唯一符号。对于具有有限多个极限序数跳跃的层次结构，根据有限的指数堆栈，我们有可行Fin-learner的总运行时间上限和下限。不过，我们提供了一个示例，说明如何通过适当的参数化复杂性分析重新获得可行性。关于整个系列，请参见[Zbl 1141.68005号]. 引用于4文件 MSC公司： 68问题32 计算学习理论 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}等人，Lect。注释计算。科学。4754，34-48（2007年；Zbl 1142.68385） 全文： 内政部 参考文献： [1] Ambainis，A.，Case，J.，Jain，S.，Suraj，M.：归纳推理的简朴层次。符号逻辑杂志69，287–328（2004）·Zbl 1068.68071号 ·doi:102.178/jsl/1080938842 [2] Case，J.，Paddock，T.，Kötzing，T.：可行学习泛函的可行迭代（扩展版）。特拉华大学技术报告（2007），网址：网址：http://www.cis.udel.edu/案例/论文/FeasibleLearningTR.pdf并包含完整的证据·Zbl 1142.68385号 [3] Downey，R.，Fellows，M.：参数化复杂性。收录：Downey，R.，Fellows，M.（编辑）计算机科学专著。斯普林格，海德堡（1998）·Zbl 0914.68076号 [4] Dor，D.，Zwick，U.：中值选择要求（2+{\（\ε\）}）n比较。SIAM离散数学杂志14（3），312–325（2001）·Zbl 0977.68041号 ·doi:10.1137/S0895480199353895 [5] Freivalds，R.，Smith，C.：关于拖延在机器学习中的作用。信息与计算107（2），237–271（1993）·兹伯利0794.68127 ·doi:10.1006/inco.1993.1068 [6] Irwin，R.，Kapron，B.，Royer，J.：关于基本可行泛函的特征，第一部分，《函数编程杂志》11，117-153（2001）·Zbl 0992.68020号 ·doi:10.1017/S0956796800003841 [7] Jain，S.、Osherson，D.、Royer，J.、Sharma，A.：学习系统：学习理论导论。第2版。麻省理工学院出版社，剑桥（1999） [8] Kapron，B.，Cook，S.：第二类可行性的新表征。SIAM计算机杂志25，117–132（1996）·兹比尔0843.68028 ·doi:10.1137/S009753979794263452 [9] 卡恩斯，M.，瓦齐拉尼，U.：计算学习理论导论。麻省理工学院出版社，剑桥（1994） [10] Li，M.，Vitanyi，P.：科尔莫戈洛夫复杂性及其应用导论，第2版。斯普林格，海德堡（1997）·doi:10.1007/978-1-4757-2606-0 [11] Mehlhorn，K.：多项式和抽象次递归类。《计算机与系统科学杂志》12，147–178（1976）·Zbl 0329.68049号 ·doi:10.1016/S0022-0000（76）80035-9 [12] Royer，J.，Case，J.：次递归编程系统：复杂性和简洁性。理论计算机科学进展研究专著。Birkhäuser Boston（1994年）·兹伯利0813.03023 ·doi:10.1007/978-1-4612-0249-3 [13] Rogers，H.：递归函数和有效可计算性理论。麦克劳希尔，纽约，1967年。麻省理工学院出版社（重印，1987年）·Zbl 0183.01401号 [14] Reischuk，R.，Zeugmann，T.：一个平均情况下最优的单变量模式语言学习者。计算机与系统科学杂志，COLT专刊1998，60（2），302-335（2000）·Zbl 0955.68098号 ·doi:10.1006/jcss.1999.1669 [15] Sierpinski，W.：基数和序数。第二次修订版。PWN——波兰科学出版社（1965年） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。