×

基于传感器的学习者。 (英语) Zbl 1526.68002号

小结:这里考虑的学习者按周期处理数据,并将一个字符串作为长期记忆,该字符串提供了学习者在下一个周期中可以使用的所有内部数据。这些字符串的更新通常由递归学习器或自动学习器完成。目前的研究着眼于介于两者之间的转导学习者。结果包括,转导学习者可以学习到所有可学习的自动家族,其记忆指数为迄今为止所见的最长输入的大小。此外,还有一个基于内存允许的层次结构:如果(n)是迄今为止最大数据的大小,那么对于所有(k\geq1)来说,内存(n^{k+1})允许人们学习比内存更多的自动族。进一步的结果揭示了什么时候可以强制要求转导学习者保持一致、保守或迭代。这种类型的主要结果是,所有可学习的自动家庭都有一个一致且保守的转导学习者。

MSC公司:

68问题32 计算学习理论
65年第68季度 形式语言和自动机
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Angluin,Dana,从正数据对形式语言的归纳推理,Inf.Control,45117-135(1980)·Zbl 0459.68051号
[2] 让·伯斯特尔(Jean Berstel),《转喻与无语境语言》(1979),《斯普林格·维埃格:斯普林格·维埃格·海德堡》(Springer Vieweg Heidelberg)·Zbl 0424.68040号
[3] Bárzdiņsh,Janis,《自动机、函数和程序的归纳推理》,(第20届国际数学家大会论文集,第20届世界数学家大会文献集,温哥华(1974))。(《第20届国际数学家大会论文集》,温哥华(1974),Transl。美国数学。Soc.,109,2,107-112(1977),俄语。英语翻译·Zbl 0375.62035号
[4] Blum、Lenore;Manuel Blum,《朝向归纳推理的数学理论》,《Inf.Control》,第28期,第125-155页(1975年)·Zbl 0375.02028号
[5] Blumensath,Achim,《自动结构》(1999),亚琛RWTH计算机科学系,毕业论文·Zbl 1054.03025号
[6] 阿希姆·布鲁门萨特;Grädel,Erich,《自动结构》,(第15届IEEE计算机科学逻辑研讨会,第15届计算机科学逻辑IEEE研讨会,LICS,2000(2000)卷),51-62
[7] 凯斯,约翰;克里斯·林斯(Chris Lynes),《机器归纳推理和语言识别》,(第九届国际自动化、语言和编程学术讨论会论文集。第九届自动化、语言与编程国际学术讨论会文献集,ICALP 1982。第九届自动化、语言和编程国际学术讨论会论文集。第九届国际自动化学术讨论会论文集,语言与编程,ICALP 1982,LNCS,第140卷(1982),Springer),107-115·兹伯利0582.68047
[8] 凯斯,约翰;桑杰·贾恩;特隆乐道;Yuh Shin Ong;帕维尔·塞穆金;Stephan,Frank,《模式语言子类的自动学习》(Language and Automata Theory and Applications,LATA 2011)。诉讼程序。语言与自动机理论与应用,LATA 2011。《LNCS学报》,第6638卷(2011年),施普林格出版社,192-203年·Zbl 1330.68149号
[9] 凯斯,约翰;桑杰·贾恩;塞缪尔·西阿;Stephan,Frank,《自动功能、线性时间和学习》,Log。方法计算。科学。,9, 3 (2013) ·Zbl 1274.68143号
[10] 凯斯,约翰;Kötzing,Timo,《强制多项式时间归纳推理公平性的困难》,(《算法学习理论》,第二十届国际会议,ALT 2009,论文集·Zbl 1262.68063号
[11] 凯斯,约翰;Timo Kötzing,《通过一般技术实现的强非U型学习结果》,(第二十三届计算学习理论国际会议论文集,COLT 2010,论文集(2010),Omnipress),181-193·Zbl 1370.68149号
[12] 凯斯,约翰;Smith,Carl H.,机器归纳推理识别标准的比较,Theor。计算。科学。,25, 193-220 (1983) ·Zbl 0524.03025号
[13] 帕特里克·菲舍尔(Patrick C.Fischer)。;Rosenberg,Arnold L.,多带单向非写自动机,J.Compute。系统。科学。,2, 1, 88-101 (1968) ·Zbl 0159.01504号
[14] 弗雷夫德斯,Rņsiš;Efim Kinber;Smith,Carl H.,《关于遗忘对学习机器的影响》,J.ACM,42,1146-1168(1995)·Zbl 0891.68088号
[15] Mark Gold,E.,《限额内的语言识别》,Inf.Control,10,447-474(1967)·Zbl 0259.68032号
[16] Hodgson,Bernard R.,Théories décidables par automatic fini(1976),蒙特利尔大学数学与统计系,博士论文
[17] 霍奇森,伯纳德·R·Décidabilitépar automatic fini,《科学年鉴》。数学。魁北克。,7, 1, 39-57 (1983) ·Zbl 0531.03007号
[18] 约翰·霍普克罗夫特(John E.Hopcroft)。;拉杰夫·莫特瓦尼;杰弗里·乌尔曼(Jeffrey D.Ullman),《自动机理论、语言和计算导论》(2001),艾迪森·韦斯利·Zbl 0980.68066号
[19] Jantke,Klaus-Peter,单调和非单调归纳推理,新世代。计算。,8, 349-360 (1991) ·Zbl 0712.68081号
[20] 桑杰·贾恩;科津,蒂莫;马俊奇;Frank Stephan,《关于更新约束和文本类型在迭代学习中的作用》,Inf.Comput。,247, 152-168 (2016) ·Zbl 1336.68152号
[21] 桑杰·贾恩;宁奎,邵;Eric Martin;Stephan,Frank,《基于传感器的学习者》,(In;Klein,Shmuel Tomi;Martin-Vide,Carlos;Shapira,Dana,《语言与自动化理论与应用》,第十二届国际会议,语言与自动化原理与应用,第十二次国际会议,LATA 2018。语言与自动机理论与应用,第12届国际会议。语言与自动机理论与应用,第12届国际会议,LATA 2018,计算机科学讲义,第10792卷(2018),施普林格出版社,169-181·Zbl 1504.68086号
[22] 桑杰·贾恩;罗庆龙;Stephan,Frank,《自动类的可学习性》,J.Compute。系统。科学。,78,1910-1927(2012),LATA 2010特刊·Zbl 1250.68137号
[23] 桑杰·贾恩;Yuh Shin Ong;蒲、石;Frank Stephan,《关于自动家族》(第十一届亚洲逻辑会议记录,纪念Chong Chitat教授六十岁生日(2012年),《世界科学》),94-113·Zbl 1301.03038号
[24] 桑杰·贾恩;Daniel N.Osherson。;詹姆斯·罗耶(James S.Royer)。;Sharma,Arun,《学习系统》(1999),麻省理工学院出版社
[25] 姜涛;阿托·萨洛马;Kai Salomaa;Yu,Sheng,对于模式语言来说,包含是无法确定的,(自动化、语言和编程国际研讨会。自动化、语言与编程国际研讨会,ICALP 1993。自动化、语言和编程国际学术讨论会。自动化、语言和编程国际学术讨论会,ICALP 1993,LNCS,第700卷(1993),Springer),301-312·兹比尔1422.68152
[26] 科乌萨诺夫,巴哈迪尔;米娅·米恩斯(Mia Minnes),《关于自动结构的三次讲座》(2007年ASL逻辑学术讨论会论文集)。2007年ASL逻辑学术讨论会论文集,《逻辑课堂讲稿》,第35卷(2010年),第132-176页·Zbl 1228.03017号
[27] 科乌萨诺夫,巴哈迪尔;Nerode,Anil,《结构的自动表示》(逻辑和计算复杂性,LCC国际研讨会,1994年)。逻辑和计算复杂性,LCC 1994国际研讨会,LNCS,第960卷(1995),Springer),367-392·Zbl 0837.03037号
[28] 科乌萨诺夫,巴哈迪尔;Nerode,Anil,《自动机理论及其应用》(2001),Birkhäuser·兹比尔1083.68058
[29] 科乌萨诺夫,巴哈迪尔;Nerode,Anil,《自动结构理论中的开放性问题》,Bull。欧洲协会。计算。科学。,94, 181-204 (2008) ·Zbl 1169.03352号
[30] 科乌萨诺夫,巴哈迪尔;安德烈·涅斯(Andre Nies);萨沙·鲁宾;Frank Stephan,《自动结构:丰富性和局限性》,Log。方法计算。科学。,2, 2 (2007) ·Zbl 1128.03028号
[31] Efim Kinber;Stephan,Frank,《从文本中学习语言:思维变化、有限记忆和单调性》,Inf.Compute。,123, 224-241 (1995) ·Zbl 0839.68083号
[32] Kuek,Shao Ning,转导学习者,新加坡国立大学荣誉年项目(2017年3月)
[33] 库斯克,迪特里希,康托定理是自动的吗?,(编程人工智能和推理逻辑国际会议。编程人工智能与推理逻辑国际大会,2003年9月22日(2003),施普林格:施普林格柏林,海德堡),332-345·Zbl 1273.03124号
[34] 斯特芬·兰格;托马斯·齐格曼;Sandra Zilles,从积极数据中学习递归语言的索引族:一项调查,Theor。计算。科学。,397, 194-232 (2008) ·Zbl 1146.68387号
[35] Makanin,Gennadiy Semenovich,自由半群中方程的可解性问题,数学。苏联Sb.,32,129-198(1977)·Zbl 0396.20037号
[36] Mealy,George H.,《合成时序电路的方法》,贝尔系统。《技术期刊》,34,5,1045-1079(1955)
[37] Moore,Edward F.,Gedanken在顺序机器上的实验,(Shannon,C.E.;McCarthy,John,Automata Studies(1956),普林斯顿大学出版社:普林斯顿大学出版,新泽西州普林斯顿)
[38] 莫里斯·尼瓦特(Maurice Nivat),《乔姆斯基语言转导》(Transductions des languages de Chomsky),《傅里叶学会年鉴》(Ann.Inst.Fourier),第18卷,第339-455页(1968年)·Zbl 0313.68065号
[39] Odifreddi,Piergiorgio,经典递归理论,第二卷,逻辑和数学基础研究,第143卷(1999),Elsevier·Zbl 0661.03029号
[40] 丹尼尔·奥瑟森(Daniel Osherson);迈克尔·斯托布(Michael Stob);斯科特·温斯坦(Scott Weinstein),《学习策略,信息控制》(Learning strategies,Inf.Control),53,32-51(1982)·Zbl 0541.68061号
[41] 丹尼尔·奥舍森;迈克尔·斯托布(Michael Stob);Scott Weinstein,《学习的系统,认知和计算机科学家学习理论导论》,Bradford(1986年),麻省理工学院出版社:麻省剑桥
[42] Pitt,Leonard,归纳推理,DFA和计算复杂性,(类比和归纳推理,第二届国际研讨会论文集。类比和诱导推理,第三届国际研讨会文献集,AII 1989。类比和归纳推理,第二届国际研讨会论文集。类比和归纳推理,第二届国际研讨会论文集,AII 1989,LNAI,第397卷(1989),Springer),18-44
[43] Rubin,Sasha,《呈现结构的自动机:有限字符串案例的调查》,Bull。符号。日志。,14, 169-209 (2008) ·Zbl 1146.03028号
[44] Sasha Rubin,《自动结构》,载:Jean-Éric Pin(编辑),《自动机理论手册》,正在出版中·Zbl 1534.03045号
[45] 《归纳推理的形式理论》,第一部分,《信息控制》,第7、1、1-22页(1964年)·Zbl 0258.68045号
[46] Ray Solomonoff,《归纳推理的形式理论》,第二部分,《信息控制》,第7、2、224-254页(1964年)·Zbl 0259.68038号
[47] Stephan,Frank,《自动结构——最新结果和开放性问题》,第三届数学、化学和物理科学与工程国际会议,2015年科学技术(会议记录小册子第121-130页)。第三届数学、化学和物理科学与工程国际会议,2015年科学技术(会议记录小册子第121-130页),J.Phys。Conf.序列号。,622/1(2015),(论文012013)
[48] Stephan,Frank,《自动化和语言的方法和理论》(2016),新加坡国立大学计算学院
[49] Wiehagen,Rolf,Limes-Erkenung rekursiver Funktitionen durch-spezielle Strategien,J.Inf.过程。赛博。,12, 1-2, 93-99 (1976) ·Zbl 0346.02019号
[50] Wiehagen,Rolf,归纳推理论文,(非单调和归纳逻辑第一次研讨会论文集。非单调和诱导逻辑第一次会议论文集,LNCS,第543卷(1990),Springer),184-207·Zbl 0794.03058号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。