×
吴彦高;武士县信原

从实证数据中探究模式语言的可学习性。 （英语） Zbl 1145.68025号

西奥。计算。科学。 397，编号1-3，150-165（2008）。
摘要：模式语言是由模式生成的语言，最早由Angluin提出，作为一个可以从正数据中推断的非平凡类[D.安格鲁因，J.计算。系统。科学。21, 46–62 (1980;Zbl 0454.68108号)和信息控制45，117–135（1980；Zbl 0459.68051号)]. 本文对从实证数据中推断模式语言的一些结果进行了年表分析。

引用于17文件

MSC公司：

68问题32 计算学习理论
65年第68季度 形式语言和自动机

关键词：

归纳推理;正数据;模式语言;年表

引文：

Zbl 0454.68108号;Zbl 0459.68051号

软件：

PROSITE公司
PDF格式BibTeX公司 XML格式引用
\textit{Y.K.Ng}和\textit{T.Shinohara}，Theor。计算。科学。397，编号1--3，150-165（2008；Zbl 1145.68025）
全文： 内政部

参考文献：

[1] Angluin，D.，《寻找一组字符串的共同模式》，《计算机与系统科学杂志》，2146-62（1980），首次出现在STOC'79·Zbl 0454.68108号
[2] Angluin，D.，从正数据中归纳出形式语言，信息与控制，45117-135（1980）·Zbl 0459.68051号
[3] Angluin，D.，《可逆语言的推断》，《ACM杂志》，29741-765（1982）·Zbl 0485.68066号
[4] Arikawa，S.，《基本形式系统和形式语言-简单形式系统》（九州大学科学院回忆录，A辑，数学，第24卷（1970）），47-75·Zbl 0206.28801号
[5] 有川，S。；Shinohara，T。；山本，A.，《学习基本形式系统》，理论计算机科学，9597-113（1992），首次出现于COLT’89·Zbl 0746.68069号
[6] Arimura，H。；富士野，R。；Shinohara，T。；Arikawa，S.，通过规则模式上的最小多重泛化从阳性示例中发现蛋白质基序，（《1994年基因组信息学研讨会论文集》（1994），世界科学院出版社），39-48
[7] Arimura，H。；Shinohara，T.，从正数据中线性数据依赖的Prolog程序的归纳推理，（Proc.Information Modelling and Knowledge Bases V（1994），IOS出版社），365-375
[8] H.Arimura，T.Shinohara，正则模式语言并集的紧凑性，摘自：语言与自动机研讨会论文集，计算模型与复杂性研究，RIMS Koukyuroku，第950卷，1996年，第246-249页（日语）；H.Arimura，T.Shinohara，正则模式语言并集的紧凑性，摘自：语言与自动机研讨会论文集，计算模型与复杂性研究，RIMS Koukyuroku，第950卷，1996年，第246-249页（日语）·Zbl 0925.68382号
[9] Arimura，H。；Shinohara，T。；Otsuki，S.，《寻找树模式语言有限并集的多项式时间算法》，（《非单调逻辑和归纳逻辑学报》，第二届国际研讨会。《非单调和归纳逻辑汇编》，第2届国际研讨会，《人工智能讲义》，第659卷（1991年），斯普林格-Verlag），118-131·Zbl 0819.68094号
[10] Arimura，H.等人。；Shinohara，T。；Otsuki，S.，两种树型语言并的多项式时间推断，IEICE信息与系统事务，E75-D，7426-434（1992），首次出现于ALT'91
[11] Arimura，H。；Shinohara，T。；Otsuki，S.，发现模式语言并集的最小泛化及其在正数据归纳推理中的应用，（《STACS 94会议录》，第11届计算机科学理论方面年度研讨会·兹伯利0941.68683
[12] Arimura，H.等人。；Shinohara，T。；Otsuki，S。；Ishizaka，H.，《机器智能》（Machine Intelligence），第13卷，第59-85页（1994年），最早以RIFIS技术报告的形式出现于1992年
[13] J.Bárzdiņš，自动机、函数和程序的归纳推理，见《国际数学》。国会，温哥华，1974年，第771-776页；J.Bárzdiņš，自动机、函数和程序的归纳推理，见《国际数学》。国会，温哥华，1974年，第771-776页
[14] 北卡罗来纳州德肖维茨。；Jouannaud，J.-P.，重写系统，（理论计算机科学手册，B卷：形式模型和语义（B）（1990），北荷兰人），243-320·Zbl 0900.68283号
[15] Erlebach，T。；Rossmanith，P。；斯塔德泽尔，H。；Steger，A。；Zeugmann，T.，《通过提问平均、并行地非常有效地学习单变量模式语言》，《理论计算机科学》，261，1，119-156（2001），（ALT'97特刊）·Zbl 0976.68085号
[16] C.Costa Floríncio，学习范畴语法。乌得勒支大学语言学院OTS博士论文，2003年；C.Costa Floríncio，学习范畴语法。2003年，乌得勒支大学乌得勒支特语言学研究所OTS博士论文
[17] Freivalds，R。；Kinber，E。；Wiehagen，R.，从好的例子中归纳推理，（类比和归纳推理，第二届国际研讨会论文集。类比和诱导推理，第三届国际研讨会会议论文集，人工智能讲稿，第397卷（1989），Springer-Verlag），1-17·Zbl 0821.68110号
[18] Gold，E.M.，《限额内的语言识别》，《信息与控制》，10447-474（1967）·Zbl 0259.68032号
[19] 石坂，H。；Arimura，H。；Shinohara，T.，从实证数据中对原始序言进行有效归纳推理，（算法学习理论论文集，第三届国际研讨会，ALT'92。算法学习理论论文集，第三届国际研讨会，ALT’92，人工智能课堂讲稿，第743卷（1992），Springer-Verlag），135-146·Zbl 0925.68363号
[20] Jantke，K.P.，通用模式语言的多项式时间推断，（STACS 84会议录，计算机科学理论方面专题讨论会。STACS 84会录，计算机理论方面专题研讨会，计算机科学讲义，第166卷（1984），Springer-Verlag），314-325·兹比尔0545.68078
[21] 姜涛（Jiang，T.）。；Salomaa，A。；萨洛马，K。；Yu，S.，模式的决策问题，《计算机与系统科学杂志》，50，53-63（1995）·Zbl 0827.68066号
[22] Ko，K.-I。；Hua，C.-H.，关于双变量模式识别问题的注释，《计算机与系统科学杂志》，34，1，75-86（1987）·Zbl 0635.68097号
[23] 小林，S。；Yokomori，T.，零可逆语言的子空间和同态图像的可识别性，（算法学习理论论文集，第八届国际会议，ALT'97）。算法学习理论论文集，第八届国际会议，ALT’97，人工智能讲义，第1316卷（1997），Springer-Verlag），48-61·Zbl 0895.68082号
[24] Kruskal，J.B.，井拟序理论：一个经常发现的概念，组合理论杂志（A），13297-305（1972）·兹比尔0244.06002
[25] Kyte，J。；杜立德，R.F.，《显示蛋白质亲水特性的简单方法》，《分子生物学杂志》，157，105-132（1982）
[26] 兰格，S。；Grieser，G。；Jantke，K.P.，《高级初等形式系统》，理论计算机科学，1，298，51-70（2003），（ALT 2001专刊）·Zbl 1038.68020号
[27] 兰格，S。；Nessel，J。；Wiehagen，R.，《从好的例子中学习语言》（Algorithmic learning Theory:Fourth International Workshop on Analogical and Inductive Inference，AII'94），第五届国际研讨会，ALT'94。算法学习理论：第四届类比和归纳推理国际研讨会，AII'94，第五届国际研讨会，ALT'94，人工智能课堂讲稿，第872卷（1994），Springer-Verlag），423-437·Zbl 1044.68659号
[28] 兰格，S。；Wiehagen，R.，任意模式语言的多项式时间推断，新一代计算，8361-370（1991），首次出现于ALT'90·Zbl 0712.68082号
[29] 马丁·E。；Sharma，A.，《从实证数据中学习逻辑程序的充分条件》（《归纳逻辑程序设计会议录：第九届国际研讨会》，ILP’99）。归纳逻辑程序设计会议录：第九届国际研讨会，ILP’99，计算机科学讲稿，第1634卷（1999），Springer-Verlag），198-209
[30] Mateescu，A。；Paun，G。；Rozenberg，G。；Salomaa，A.，简单拼接系统，离散应用数学，84，1-3，145-163（1998）·Zbl 0908.68088号
[31] Mitchell，A.，扩展模式语言子类的可学习性，（第十一届计算学习理论年会论文集（1998），ACM出版社）
[32] Motoki，T。；Shinohara，T。；Wright，K.，《有限弹性的正确定义：结合识别的勘误》，（Valiant，L.；Warmuth，M.，《第四届计算学习理论年度研讨会论文集》（1991），Morgan Kaufmann），375
[33] Mukouchi，Y.，模式语言的包含问题，IEICE信息和系统事务，E75-D，7420-425（1992），（ALT'01特刊）
[34] Mukouchi，Y。；Sato，M.，《由基本形式系统生成的学习语言及其在SH语言中的应用》，（算法学习理论论文集，第十五届国际会议，ALT'04）。算法学习理论论文集，第十五届国际会议，ALT'04，人工智能讲义，第3244卷（2004），Springer-Verlag），380-394·Zbl 1110.68404号
[35] Ng，Y.K。；小野，H。；Shinohara，T.，《在生物序列的最小多重概括中测量过度概括》（《发现科学学报》，第八届国际会议，DS 2005）。《发现科学》，第八届国际会议，DS 2005，《人工智能讲义》，第3735卷（2005年），施普林格出版社，176-188
[36] Ng，Y.K。；Shinohara，T.，《通过最合适的封面推断模式语言的结合》（《算法学习理论论文集》，第十六届国际会议，ALT'05）。算法学习理论论文集，第十六届国际会议，ALT’05，人工智能讲义，第3734卷（2005），Springer-Verlag），269-282·Zbl 1168.68410号
[37] Ng，Y.K。；Shinohara，T.，《从极为稀少的生物序列样品的最小多重概括中发现共识模式》，（《知识发现和数据挖掘进展论文集》，第十届亚太会议，PAKDD 2006年。《知识发现和数据挖掘进展论文集》，第十届亚太会议，PAKDD 2006，人工智能讲稿，第3918卷（2006），Springer-Verlag），540-545
[38] Plotkin，G.D.，《归纳概括注释》（《机器智能》，第5卷（1970），爱丁堡大学出版社），153-163·兹伯利0219.68045
[39] Krishna Rao，M.R.K.，从正数据推断的一些类prolog程序，理论计算机科学A，241211-234（2000），（ALT’96特刊）·Zbl 0944.68015号
[40] Krishna Rao，M.R.K.，从正数据中归纳出术语重写系统，（算法学习理论论文集，第十五届国际会议，ALT'04）。算法学习理论论文集，第十五届国际会议，ALT’04，人工智能讲义，第3244卷（2004），Springer-Verlag），69-82·Zbl 1110.68406号
[41] Krishna Rao，M.R.K.，一类可从正数据推断出非线性输出的序言程序（《算法学习理论论文集》，第十六届国际会议，ALT'05）。算法学习理论论文集，第十六届国际会议，ALT'05，人工智能讲义，第3734卷（2005），Springer-Verlag），312-326·Zbl 1168.68411号
[42] Krishna Rao，M.R.K.，《从实证中学习术语重写系统》（第十二届计算机会议录：澳大利亚理论研讨会，CATS 2006）。第十二届计算机会议录：澳大利亚理论研讨会，CATS 2006，信息技术研究与实践会议，第51卷（2006），澳大利亚计算机学会），133-137
[43] Reidenbach，D.，关于扩展模式语言归纳推理的否定结果，（《算法学习理论论文集》，第十三届国际会议，ALT'02。算法学习理论论文集，第十三届国际会议，ALT'02，人工智能讲义，第2533卷（2002），Springer-Verlag），308-320·Zbl 1024.68058号
[44] Reidenbach，D.，模式推理中的不连续性，（STACS 04会议录，第21届计算机科学理论方面年度研讨会。STACS 04，第21次计算机科学理论问题年度研讨会会议录，计算机科学讲稿，第2996卷（2004），Springer-Verlag），129-140·Zbl 1122.68460号
[45] Reidenbach，D.，《论电子模式语言在小字母上的可学习性》，（第十七届计算学习理论年会论文集。第十七届计算机学习理论年会论文集，计算机科学讲稿，第3120卷（2004），斯普林格·弗拉格），140-154·Zbl 1078.68649号
[46] Reischuk，R。；Zeugmann，T.，《平均案例最优单变量模式语言学习者》，《计算机与系统科学杂志》，60，2，302-335（1998），（COLT’98特刊）·Zbl 0955.68098号
[47] 佐藤，M.，形式语言的归纳推理，《信息学和控制论公报》，27，1，85-106（1995）·Zbl 0849.68077号
[48] 佐藤，M。；Mukouchi，Y。；Zheng，D.，正则模式语言与紧性结合的特征集，（算法学习理论论文集，第九届国际会议，ALT'98）。算法学习理论论文集，第九届国际会议，ALT’98，人工智能讲义，第1501卷（1998），Springer-Verlag），220-233·Zbl 0932.68058号
[49] Shapiro，E.，《算法程序调试》（1983），麻省理工学院出版社
[50] Shinohara，T.，《扩展正则模式语言的多项式时间推断》，（RIMS软件科学与工程座谈会，日本京都。RIMS软件科技与工程座讨论会，日本东京，计算机科学讲义，第147卷（1982年），Springer-Verlag），115-127·Zbl 0511.68050号
[51] T.Shinohara，模式语言的多项式时间推断及其应用，摘自：第七届IBM计算机科学数学基础研讨会论文集，1982年，第192-209页；T.Shinohara，模式语言的多项式时间推断及其应用，摘自：第七届IBM计算机科学数学基础研讨会论文集，1982年，第192-209页
[52] Shinohara，T.，两种模式语言的推理联合，信息学和控制论公报，2083-88（1983）·Zbl 0516.68065号
[53] Shinohara，T.，《关于从实证数据中归纳推理的一些问题》，（软件系统规格说明和综合的数学方法，Wendisch-Rietz，GDR·Zbl 0594.68070号
[54] Shinohara，T.，从实证数据对形式系统的归纳推理，《信息学和控制论公报》，22，9-18（1986）·Zbl 0607.68023号
[55] Shinohara，T.，从正数据对单调形式系统的归纳推理，新一代计算，8371-384（1991），首次出现于ALT'90·兹比尔0712.68062
[56] Shinohara，T.，从正数据推断的丰富类：长度有界初等形式系统，信息与计算，108175-186（1994），首次出现在COLT'90·Zbl 0804.68130号
[57] Shinohara，T。；Arimura，H.，从正数据对模式语言无界并集的归纳推理，理论计算机科学A，241191-209（2000），（ALT'96特刊）·Zbl 0944.68094号
[58] Sigrist，C.J。；Cerutti，L。；北卡罗来纳州胡洛市。；Gattiker，A。；Falquet，L。；Pagni，M。；Bairoch，A。；Bucher，P.，PROSITE:使用模式和轮廓作为基序描述符的文档化数据库，《生物信息学简介》，第3265-274页（2002年）
[59] Smullyan，R.，《形式系统理论》，《数学研究年鉴》，47（1961）·Zbl 0097.24503号
[60] T.Takae，T.Kasai，H.Arimura，T.Shinohara，使用排序规则模式的生物序列知识发现。in：应用学习理论研讨会，1998年；T.Takae，T.Kasai，H.Arimura，T.Shinohara，使用排序规则模式的生物序列知识发现。1998年：应用学习理论研讨会
[61] 高石，M。；Sato，M.，有限弹性语言类的属性，（算法学习理论论文集，第四届国际研讨会，ALT'93）。算法学习理论论文集，第四届国际研讨会，ALT’93，人工智能讲义，第744卷（1993），Springer-Verlag），187-196·Zbl 0925.68277号
[62] Uemura，J。；Sato，M.，消除正则模式语言并集类的紧密性和学习，（《算法学习理论论文集》，第十三届国际会议，ALT'02。算法学习理论论文集，第十三届国际会议，ALT'02，人工智能讲义，第2533卷（2002），Springer-Verlag），293-307·Zbl 1024.68062号
[63] Wiehagen，R.，Limes-Erkenung rekursiver Funktitionen durch-spezielle Strategien，《信息处理与控制论杂志》（EIK），第12期，第93-99页（1976年）·Zbl 0346.02019号
[64] Wiehagen，R。；Zeugmann，T.，忽视数据可能是有效学习的唯一途径，《实验与理论人工智能杂志》，6313-144（1994），首次出现在AII'92·Zbl 0803.68109号
[65] Wiehagen，R。；Zeugmann，T.，《学习与一致性》（Learning and consistence），（基于知识的系统的算法学习。基于知识的体系的算法学习，人工智能课堂讲稿，第961卷（1995年），Springer-Verlag），1-24
[66] Wright，K.，《识别来自可识别类的语言联合》，（Rivest，R.；Haussler，D.；Warmuth，M.，《第二届计算学习理论年度研讨会论文集》（1989），Morgan Kaufmann），328-333·Zbl 0747.68061号
[67] 山口，M。；Shimozono，S.公司。；Shinohara，T.，用字母索引在规则模式上寻找最小多重泛化，（《第七次基因组信息学研讨会论文集》，第7卷（1996年），环球科学院出版社），51-60
[68] Zeugmann，T.、Lange和Wiehagen的模式语言学习算法：关于其总学习时间的平均案例分析，《数学与人工智能年鉴》，23，1-2，117-145（1998），1995年首次以RIFIS技术报告的形式出现·Zbl 0918.68103号
[69] Zeugmann，T.，从极限学习到随机有限学习，理论计算机科学，364，1，77-97（2006）·Zbl 1153.68022号
[70] Zeugmann，T。；Lange，S.，《跨越递归语言学习边界的引导之旅》，（基于知识的系统的算法学习。基于知识的体系的算法学习，人工智能课堂讲稿，第961卷（1995），Springer-Verlag），190-258
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。