罗查，蒂亚戈·阿尔维斯;阿娜·特蕾莎·马丁斯;弗朗西伯·马丁斯·费雷拉 用EF游戏和SAT从不一致的字符串样本中合成无量词的DNF句子。 （英文） 兹比尔1460.68099 西奥。计算。科学。 843, 115-135 (2020). 摘要：我们提出了一种从分类字符串的噪声样本中提取析取范式无量词句子知识的方法。我们证明了找到这样一个句子的问题是NP-完全的，并且我们的解决方法是基于对布尔可满足性问题的简化。此外，我们的方法限制了析取数和每个子句的最大文本数，因为每个子句包含很少子句和很少文本的句子更容易解释。由于我们考虑的逻辑精确地定义了局部阈值可测试（LTT）语言的类，因此当目标是从字符串样本中找到LTT语言的模型时，我们的结果可以用于语法推断。我们还使用字符串上的Ehrenfeucht-Fraíssé游戏的结果来处理字符串的一致和不一致样本。 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 03C13号机组 有限结构模型理论 68问题32 计算学习理论 2012年第68季度 语法和重写系统 68兰特 可满足性的计算方面 关键词：语法推理;布尔可满足性;埃伦菲奇-弗雷塞比赛 软件：PicoSAT卫星 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Rocha}等人，Theor。计算。科学。843115--135（2020；Zbl 1460.68099） 全文： 内政部 参考文献： [1] Strother-Garcia，K。；海因茨，J。；Hwangbo，H.J.，《使用模型理论进行语法推理：音韵学案例研究》，（《第13届语法推理国际会议论文集》，《第13次语法推理国际大会论文集》《机器学习研究论文集》第57卷（2017）），66-78 [2] 罗杰斯，J。；海因茨，J。；费罗，M。；赫斯特，J。；兰伯特，D。；Wibel，S.，《认知和亚规则复杂性》，（形式语法，形式语法，计算机科学讲义，第8036卷（2013年），Springer），第90-108页·Zbl 1377.68119号 [3] 兰伯特，D。；罗杰斯，J.，《探索语音约束系统的逻辑和计算方法》（《语言学计算学会学报》，第2卷（2019年）），247-256 [4] Thomas，W.，《符号逻辑中的规则事件分类》，J.Compute。系统。科学。，25, 360-376 (1982) ·Zbl 0503.68055号 [5] 鲁伊斯，J。；西班牙。；Garcia，P.，《严格意义上的局部阈值可测试语言：推理问题的应用》，（语法推理国际学术讨论会，语法推理国际研讨会，计算机科学讲稿，第1433卷（1998年），斯普林格），150-161 [6] 加尔科纳，P。；Ruiz，J.，从实证数据中学习k-可测试语言和k-分段可测试语言，《语法》，7125-140（2004） [7] Heinz，J.，音系模式的归纳学习（2007），加州大学洛杉矶分校，博士论文 [8] Heinz，J.，字符串扩展学习，（计算语言学协会第48届年会论文集，计算语言学协会（2010）），897-906 [9] 海因茨，J。；Rogers，J.，《使用因子确定自动机学习语言的子类》（第13届语言数学会议论文集，计算语言学协会（2013）），64-71·Zbl 1376.68073号 [10] 拉瓦尔，C。；Tanner，H.G。；Heinz，J.，（Sub）常规机器人语言，（第19届地中海控制与自动化会议（2011年）），321-326 [11] 威克佐雷克，W。；Unold，O.，《生物信息学任务中有向非循环词图的归纳》，（《第十二届国际语法推理会议论文集》，《第十二次国际语法推理大会论文集》《机器学习研究论文集》第34卷（2014）），207-217 [12] 威克佐雷克，W。；未折叠，O。；斯特拉科。，后缀分类树，（《第14届国际语法推理会议论文集》，《第14次国际语法推理大会论文集》《机器学习研究论文集》第93卷（2018）），44-53 [13] De La Higuera，C.，《语法推理的书目研究》，《模式识别》。，38, 1332-1348 (2005) [14] Gold，E.M.，从给定数据中识别自动机的复杂性，Inf.Control，37，302-320（1978）·Zbl 0376.68041号 [15] Lucas，S.M。；Reynolds，T.J.，《学习DFA：进化与证据驱动的状态合并》（IEEE进化计算大会论文集（2003）），351-358 [16] Bugalho，M。；Oliveira，A.L.，使用状态合并算法进行搜索的正则语言推理，模式识别。，381457-1467（2005年）·兹比尔1101.68644 [17] 佛罗里达州。；Verwer，S.，作为顶点着色的正则推理，Theor。计算。科学。，558, 18-34 (2014) ·Zbl 1360.68524号 [18] 奥利维拉，A.L。；Silva，J.P.，《最小尺寸DFA推断的有效算法》，马赫。学习。，44, 93-119 (2001) ·Zbl 0983.68105号 [19] Heule，M.J。；Verwer，S.，使用SAT解算器精确识别DFA，（第十届语法推断国际学术讨论会论文集。第十届国际语法推断学术讨论会文献集，计算机科学讲义，第6339卷（2010年），Springer），66-79·Zbl 1291.68192号 [20] 乌利扬采夫，V。；扎基尔扎诺夫，I。；Shalyto，A.，《基于BFS的对称破缺谓词用于DFA识别》，（第九届语言与自动机理论与应用国际会议，第九届国际语言和自动机理论及应用会议，计算机科学讲稿，第8977卷（2015），Springer），611-622·Zbl 1451.68163号 [21] 扎基尔扎诺夫，I。；Morgado，A。；Ignatiev，A。；乌利扬采夫，V。；Marques-Silva，J.，基于SAT的最小DFA推理的有效对称破缺，（第13届国际语言与自动机理论与应用会议，第13届语言与自然主义理论与应用国际会议，计算机科学讲义，第11417卷（2019），Springer），159-173·Zbl 1425.68240号 [22] 斯坦尼斯拉夫斯基，J。；科图尔斯卡，M。；Unold，O.，机器学习方法可以取代三维轮廓方法，用于淀粉样六肽的分类，BMC Bioninform。，14, 21 (2013) [23] Avcu，E。；柴田，C。；Heinz，J.，亚规则复杂性和深度学习，（自然语言逻辑和机器学习会议论文集（2017）），20-33 [24] 罗查，T.A。；马丁斯，A.T。；Ferreira，F.M.，从字符串样本合成DNF公式，（第七届巴西智能系统会议（2018），IEEE），534-539 [25] 罗查，T.A。；马丁斯，A.T。；Ferreira，F.M.，关于找到与字符串样本一致的一阶句子，（第19届游戏、自动机、逻辑和形式验证国际研讨会。第19届关于游戏、自然主义、逻辑学和形式验证的国际研讨会，理论计算机科学电子论文集，开放出版协会，第277卷（2018）），220-234·Zbl 1528.68198号 [26] 罗查，T.A。；马丁斯，A.T。；Ferreira，F.M.，使用Ehrenfeucht-Fraísse游戏从字符串样本合成DNF公式，Theor。计算。科学。，805, 109-126 (2020) ·Zbl 1436.68154号 [27] Montanari，A。；Policriti，A。；Vitacolonna，N.，《关于标记后继结构的Ehrenfeucht游戏的算法说明》，（第12届编程、人工智能和推理逻辑国际会议。第12届程序设计、人工智能与推理逻辑国际大会，计算机科学讲义，第3835卷（2005），斯普林格）， 139-153 ·Zbl 1143.03353号 [28] 罗查，T.A。；Martins，A.T.，从噪声字符串样本合成无量词的一阶句子，（第八届巴西智能系统会议（2019年），IEEE），12-17 [29] Zeitoun，M。；van Rooijen，L。；Place，T.，关于本地可测试语言和本地阈值可测试语言的分离，Log。方法计算。科学。，10, 1-28 (2014) ·Zbl 1341.68108号 [30] 霍普克罗夫特，J.E。；Motwani，R。；Ullman，J.D.，《自动机理论、语言和计算导论》（2006），Addison-Wesley [31] 埃宾豪斯，H。；Flum，J.，有限模型理论，数学逻辑的观点（1995），Springer·Zbl 0841.03014号 [32] Grädel，E。；Kolaitis，P.G。；利布金，L。；马克思，M。；斯宾塞，J。；瓦尔迪，M.Y。；维内马，Y。；Weinstein，S.，《有限模型理论及其应用》，《理论计算机科学文本与EATCS系列》（2005年），施普林格出版社 [33] Wieczorek，W.，《语法推理：算法、例程和应用》，《计算智能研究》，第673卷（2016年），施普林格出版社·Zbl 1374.68004号 [34] Kamath，A.P。；Karmarkar，北卡罗来纳州。；罗摩克里希南，K。；Resende，M.G.，归纳推理的连续方法，数学。程序。，57, 215-238 (1992) ·兹伯利0783.90122 [35] Ignatiev，A。；佩雷拉，F。；北卡罗来纳州纳罗迪茨卡。；Marques Silva，J.，基于SAT的学习可解释决策集的方法，（第九届国际自动推理联合会议。第九届国际自动推理联合会议，计算机科学讲义，第10900卷（2018），施普林格），627-645·Zbl 1511.68249号 [36] 奈德，D。；Gavran，I.，学习线性时间特性，（计算机辅助设计中的第18种形式化方法（2018），IEEE），1-10 [37] Ehrenfeucht，A.，《博弈在形式化理论完备性问题中的应用》，Fundam。数学。，49, 129-141 (1961) ·Zbl 0096.24303号 [38] Biere，A.，Picosat要领，J.Satisf。布尔模型。计算。，4, 75-97 (2008) ·Zbl 1159.68403号 [39] 邢，Z。；裴，J。；Keogh，E.，序列分类的简要综述，ACM SIGKDD Explor。新闻。，2010年12月40-48日 [40] Nieuwenhuis，R。；奥利维拉斯，A。；Tinelli，C.，《求解SAT和SAT模理论：从抽象的Davis-Putnam-Logemann-Loveland过程到DPLL（T）》，J.ACM，53，937-977（2006）·Zbl 1326.68164号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。