格科·范·海尔特;克莱门斯·库普克;朱里安·罗特;亚历山德拉·席尔瓦 在主理想域上学习加权自动机。 （英语） Zbl 1461.68093号 Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 602-621 (2020). 该贡献考虑了加权自动机对主体的学习理想域。学习场景是Angluin的最低限度的教师oracle回答系数和等价查询的设置。A类coefficient查询要求在加权的要学习的语言。等价查询向oracle提供加权自动机，并询问它该自动机是否表示所寻求的加权语言。这种加权自动机本质上是一种有限状态自动机，其中每个转换额外地携带来自特定重量结构。考虑的重量结构一般半环，但得到了主理想域的主要结果。结果表明，观测表方法，尤其是表的封闭性的主要概念，都是因为Angluin，忠实地转换到所提到的设置，这会产生相应的学习问题也可以在原则上有效地解决理想域。作者对封闭条件进行了适当调整并且他们证明算法终止（由于等价性查询算法只能在正确学习自动机的情况下终止）iff满足某个上升链条件，在所有主要的理想域。此外，作者证明算法（也称为\（\mathrm L^\star\））对于更一般的权重结构失败由非负整数的半环证明，该半环不是主整数理想域（尽管可以嵌入其中）。这篇文章写得很好，可以理解。关于以下方面的一些知识加权自动机和线性代数是代表读者假设的，但任何人只要付出一些努力，就可以完全理解这篇文章。以前对算法类似变体的了解当然很有帮助，但并非绝对必要。有关整个系列，请参见[Zbl 1440.68008号].审核人：安德烈亚斯·马莱蒂（莱比锡） 引用于4文件 MSC公司： 68问题32 计算学习理论 65年第68季度 形式语言和自动机 关键词：加权自动机;主动学习;MAT学习;主理想域;观测表学习;汉克尔矩阵 PDF格式BibTeX公司 XML格式引用 \textit{G.van Heerdt}等人，Lect。注释计算。科学。12077、602--621（2020；Zbl 1461.68093） 全文： 内政部 arXiv公司 OA许可证 参考文献： [1] Fides Aarts、Paul Fiterau-Brostean、Harco Kuppens和Frits W.Vaandrager。学习带有新值生成的寄存器自动机。在Martin Leucker、Camilo Rueda和Frank D.Valencia，编辑，ICTAC，LNCS第9399卷，第165-183页。斯普林格，2015年·Zbl 1471.68098号 [2] Cyril Allauzen、Mehryar Mohri和Amee Talwalkar。用于预测蛋白质重要性的序列核。威廉·科恩（William W.Cohen）、安德鲁·麦卡勒姆（Andrew McCallum）和萨姆·罗韦斯（Sam T.Roweis），ICML编辑，ACM国际会议论文集第307卷，第9-16页。ACM，2008年。 [3] 本杰明·阿米诺夫（Benjamin Aminof）、奥尔娜·库普夫曼（Orna Kupferman）和罗比·兰伯特（Robby Lampert）。在线算法的形式化分析。在Tevfik Bultan和Pao-Ann Xiung，ATVA编辑，LNCS第6996卷，第213-227页。施普林格，2011年·Zbl 1348.68298号 [4] 达娜·安格鲁因。从查询和反例中学习规则集。信息与计算，75（2）：87-1061987·Zbl 0636.68112号 [5] Borja Balle和Mehryar Mohri。通过约束矩阵完成广义加权自动机的谱学习。Peter L.Bartlett、Fernando C.N.Pereira、Christopher J.C.Burges、Léon Bottou和Kilian Q.Weinberger，NIPS编辑，2012年，第2168-2176页·Zbl 1401.68144号 [6] Borja Balle和Mehryar Mohri。学习加权自动机。安德烈亚斯·马莱蒂（Andreas Maletti），CAI编辑，LNCS第9270卷，第1-21页。斯普林格，2015年·Zbl 1401.68144号 [7] 弗朗西斯科·贝加达诺（Francesco Bergadano）和斯特凡诺·瓦里奇奥（Stefano Varricchio）。从多重性和等价性查询中学习自动机的行为。SIAM J.计算。，25（6）：1268-12801996年12月·Zbl 0864.68063号 [8] Benedikt Bollig、Peter Habermehl、Carsten Kern和Martin Leucker。NFA的英式学习。克雷格·布提利尔（Craig Boutiler），IJCAI编辑，第1004-1009页，2009年。 [9] 米歇尔·博雷尔。线性代数形式的加权互模拟。CONCUR，LNCS第5710卷，第163-177页。施普林格，2009年·Zbl 1254.68130号 [10] 杰克·卡莱尔（Jack W.Carlyle）和阿扎里亚·帕兹（Azaria Paz）。随机有限自动机实现。J.计算。系统。科学。，5(1):26-40, 1971. ·Zbl 0236.94042号 [11] Karel Culik II和Jarkko Kari。使用加权有限自动机的图像压缩。计算机与图形，17（3）：305-3131993·兹伯利0813.68159 [12] 米歇尔·弗利斯。汉克尔矩阵。数学杂志。Pures Appl，53（9）：197-2221974年·Zbl 0315.94051号 [13] Gerco van Heerdt、Matteo Sammartino和Alexandra Silva。通过单子优化自动机学习。arXiv预印arXiv:1704.080552017·Zbl 1440.68146号 [14] 福尔克·豪尔和伯恩哈德·斯特芬。实践中的主动自动机学习——2011年至2016年的注释书目。Amel Bennaceur、Reiner Hähnle和Karl Meinke主编，《动态软件分析的机器学习：潜力和局限——16172国际达格斯图尔研讨会》，LNCS第11026卷，第123-148页。施普林格，2018年。 [15] Malte Isberner、Falk Howar和Bernhard Steffen。开源learnlib-主动自动机学习框架。Daniel Kroening和Corina S.Pasareanu，CAV编辑，LNCS第9206卷，第487-495页。斯普林格，2015年。 [16] 内森·雅各布森。抽象代数讲座，GTM第31卷。斯普林格，1953年·Zbl 0053.21204号 [17] 内森·雅各布森。基础代数I.Courier Corporation，2012年。 [18] 丹尼尔·克罗布（Daniel Krob）。热带半环上带重数的有理级数的等式问题是不可判定的。国际代数与计算杂志，4（3）：405-4251994·Zbl 0834.68058号 [19] 奥德·马勒和阿米尔·普努利。关于无穷正则集的可学习性。通知。和计算。，118:316-326, 1995. ·Zbl 0834.68099号 [20] 约书亚·莫尔曼（Joshua Moerman）、马特奥·桑马蒂诺（Matteo Sammartino）、亚历山德拉·席尔瓦（Alexandra Silva）、巴泰克·克林（Bartek Klin）和米查尔·斯津沃尔斯基。学习名义自动机。在Giuseppe Castagna和Andrew D.Gordon，POPL编辑，第613-625页。ACM，2017年·Zbl 1380.68243号 [21] 梅赫亚尔·莫赫里（Mehryar Mohri）、费尔南多·佩雷拉（Fernando Pereira）和迈克尔·莱利（Michael Riley）。文本和语音处理中的加权自动机。CoRR，abs/cs/05030772005年·兹比尔0951.68085 [22] 马尔特·梅斯（Malte Mues）、福克·豪瓦尔（Falk Howar）、卡斯珀·瑟·勒科夫（Kasper Söe Luckow）、泰梅森·卡西（Temesghen Kahsai）和兹沃尼米尔·拉卡马利奇（Zvonimir Rakamaric）。发布PSYCO：在java界面生成中使用符号搜索。ACM SIGSOFT软件工程说明，41（6）：1-52016。 [23] 莫里斯·奥尔泽奇（Morris Orzech）。Onto自同态是同构。《美国数学月刊》，78（4）：357-3621971年·Zbl 0211.06601号 [24] 穆扎米尔·沙巴兹（Muzammil Shahbaz）和罗兰·格罗兹（Roland Groz）。推断Mealy机器。在FM中，LNCS第5850卷，第207-222页，柏林，海德堡，2009年。斯普林格·弗拉格。 [25] 亨利·J·斯蒂芬·史密斯。关于线性不定方程组和同余。《伦敦皇家学会哲学学报》，151:293-3261861年。 [26] Martin Tappler、Bernhard K.Aichernig、Giovanni Bacci、Maria Eichseder和Kim G.Larsen。基于L（{}^{text{*}}）的马尔可夫决策过程学习。Maurice H.ter Beek、Annabelle McIver和JoséN.Oliveira，FM编辑，LNCS第11800卷，第651-669页。斯普林格，2019年·Zbl 1519.68106号 [27] Frits W.Vaandrager公司。模型学习。Commun公司。ACM，60（2）：86-952017年。 [28] 胡安·米盖尔·维拉尔。查询后续传感器的学习。在ICGI中，LNCS第1147卷，第72-83页。施普林格，1996年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。