罗查，蒂亚戈·阿尔维斯；阿娜·特蕾莎·马丁斯；弗朗西伯·马丁斯·费雷拉 使用Ehrenfeucht-Fraísse游戏从字符串样本合成DNF公式。 （英语） Zbl 1436.68154号 西奥。计算。科学。 805, 109-126 (2020). 摘要：为了定义字符串上一阶句子的DNF版本，其中原子句子表示字符串的子字符串属性，我们使用字符串上的Ehrenfeucht-Fraíssé博弈的结果。然后，给定一个字符串样本和析取子句的数量，我们研究了寻找与该样本一致的DNF公式的问题。我们证明了这个问题是NP-完全的，并通过将其转化为布尔可满足性来解决。我们还提出了这个问题的一个扩展，它对噪声样本具有鲁棒性。我们通过编纂成最大可满足性问题来求解广义版本。由于字符串上的一阶逻辑精确定义了局部阈值可测试（LTT）语言的类，因此当目标是从字符串样本中找到LTT语言的模型时，我们的结果在语法推理框架中非常有用。 引用于1文件 MSC公司： 68问题32 计算学习理论 03B70号 计算机科学中的逻辑 03C07号机组 一阶语言和结构的基本性质 03C13号机组 有限结构模型理论 68兰特 可满足性的计算方面 关键词：配方合成；语法推理；埃伦菲奇-弗雷塞比赛 软件：PicoSAT卫星；周六4j PDF格式BibTeX公司 XML格式引用 \textit{T.A.Rocha}等人，Theor。计算。科学。805109--126（2020年；Zbl 1436.68154） 全文： 内政部 参考文献： [1] Triantaphyllou，E.，《通过基于逻辑的方法进行数据挖掘和知识发现》，第43卷（2010年），施普林格出版社·Zbl 1247.68004号 [2] Knijnenburg，T.A。；Klau，G.W。；艾奥里奥，F。；加内特，M.J。；麦克德莫特，美国。；施穆列维奇，I。；Wessels，L.F.，基于二进制输入预测连续输出的逻辑模型在个性化癌症治疗中的应用，Sci。代表，636812（2016） [3] 勒琼，M。；洛津，V。；洛齐纳，I。；拉加布，A。；Yacout，S.，《数据逻辑分析理论和实践的最新进展》，欧洲期刊Oper。决议（2018） [4] 乌曼斯，C。；T.维拉。；Sangiovanni-Vincentelli，A.L.，二级逻辑最小化的复杂性，IEEE Trans。计算-辅助设计。集成。电路系统。，25, 7, 1230-1246 (2006) [5] Kamath，A.P。；Karmarkar，N.K。；Ramakrishnan，K。；Resende，M.G.，归纳推理的连续方法，数学。程序。，57, 1-3, 215-238 (1992) ·Zbl 0783.90122号 [6] Ignatiev，A。；佩雷拉，F。；北卡罗来纳州纳罗迪茨卡。；Marques-Silva，J.，基于SAT的学习可解释决策集的方法，（自动化推理国际联合会议（2018）），627-645·Zbl 1511.68249号 [7] 凯撒，Ł。，从描述复杂性指导的视频中学习游戏（AAAI人工智能会议（2012）），963-969 [8] 约旦，C。；凯撒，Ł。，还原发现实验，（可满足性测试的理论与应用（2013）），192-207·Zbl 1390.68349号 [9] 约旦，C。；凯撒，Ł。，保证使用描述性复杂性和SMT求解器的机器学习（2016年） [10] Ehrenfeucht，A.，《博弈在形式化理论完备性问题中的应用》，Fundam。数学。，49, 2, 129-141 (1961) ·Zbl 0096.24303号 [11] 埃宾豪斯，H。；Flum，J.，有限模型理论，数学逻辑的观点（1995），Springer·Zbl 0841.03014号 [12] Montanari，A。；Policriti，A。；Vitacolonna，N.，《Ehrenfeucht游戏关于标记后继结构的算法说明》（《编程逻辑、人工智能和推理》（2005）），139-153·Zbl 1143.03353号 [13] 罗查，T.A。；马丁斯，A.T。；Ferreira，F.M.，从字符串样本合成DNF公式，（巴西智能系统会议（2018）），534-539 [14] Wieczorek，W.，《语法推理：算法、例程和应用》，第673卷（2016年），施普林格出版社·Zbl 1374.68004号 [15] Strother-Garcia，K。；海因茨，J。；Hwangbo，H.J.，使用模型理论进行语法推理：来自音韵学的案例研究，（国际语法推理会议（2017）），66-78 [16] 拉瓦尔，C。；坦纳，H.G。；Heinz，J.，（Sub）常规机器人语言，（地中海控制与自动化会议（2011）），321-326 [17] 维佐雷克，W。；Unold，O.，生物信息学任务中有向非循环词图的归纳，（国际语法推理会议（2014）），207-217 [18] 威克佐雷克，W。；Unold，O.，《一种新的语法推理方法在淀粉样六肽分类中的应用》，计算。数学。方法医学（2016）·Zbl 1423.92062号 [19] De La Higuera，C.，《语法推理的书目研究》，《模式识别》。，38, 9, 1332-1348 (2005) [20] Gold，E.M.，从给定数据识别自动机的复杂性，Inf.Control，37，3，302-320（1978）·Zbl 0376.68041号 [21] Lucas，S.M。；Reynolds，T.J.，《学习DFA：进化与证据驱动的状态合并》，（进化计算大会（2003）），351-358 [22] Bugalho，M。；Oliveira，A.L.，使用状态合并算法进行搜索的正则语言推理，模式识别。，38, 9, 1457-1467 (2005) ·Zbl 1101.68644号 [23] Heule，M.J。；Verwer，S.，使用SAT解算器精确识别DFA，（语法推断国际学术讨论会（2010）），66-79·Zbl 1291.68192号 [24] Thomas，W.，《符号逻辑中的规则事件分类》，J.Compute。系统。科学。，25, 3, 360-376 (1982) ·Zbl 0503.68055号 [25] 斯坦尼斯拉夫斯基，J。；科图尔斯卡，M。；Unold，O.，机器学习方法可以取代三维轮廓方法，用于淀粉样六肽的分类，BMC Bioninform。，14, 1, 21 (2013) [26] 罗杰斯，J。；海因茨，J。；费罗，M。；赫斯特，J。；兰伯特，D。；Wibel，S.，《认知和亚规则复杂性》（《形式语法》（2013），Springer），第90-108页·Zbl 1377.68119号 [27] 罗查，T.A。；马丁斯，A.T。；Ferreira，F.M.，《用最小量词秩的一阶句子区分结构集》（逻辑和语义框架及应用研讨会（2018）），203-215 [28] 格罗，M。；Ritzert，M.，学习小度结构上的一阶可定义概念，（计算机科学逻辑研讨会（2017）），1-12·Zbl 1457.68133号 [29] 格罗，M。；Löding，C。；Ritzert，M.，学习关于字符串的可定义假设，（国际算法学习理论会议（2017）），434-451·兹比尔1403.68094 [30] Muggleton，S.，《归纳逻辑编程》，新一代。计算。，8，4295-318（1991年）·Zbl 0712.68022号 [31] De Raedt，L.，逻辑和关系学习（2008），施普林格·Zbl 1203.68145号 [32] 库克，S.A.，《理论证明过程的复杂性》（计算机理论研讨会（1971）），151-158·Zbl 0253.68020号 [33] Biere，A。；Biere，A。；蹄，M。；van Maaren，H。；Walsh，T.，《可满足性手册，人工智能和应用的前沿》，第185卷（2009年），IOS出版社·Zbl 1183.68568号 [34] Zeitoun，M。；van Rooijen，L。；Place，T.，关于本地可测试语言和本地阈值可测试语言的分离，Log。方法计算。科学。，10, 3, 24 (2014) ·Zbl 1341.68108号 [35] 霍普克罗夫特，J.E。；Motwani，R。；Ullman，J.D.，《自动机理论、语言和计算导论》（2006），Addison-Wesley [36] Pezzoli，E.，有限结构上Ehrenfeucht-Fraíssé博弈的计算复杂性，（计算机科学逻辑（1999）），159-170·Zbl 0934.03048号 [37] 罗查，T.A。；马丁斯，A.T。；Ferreira，F.M.，《关于找到与字符串样本一致的一阶句子》，（第九届游戏、自动化、逻辑和形式验证国际研讨会（GandALF 2018）（2018）），220-234·Zbl 1528.68198号 [38] Biere，A.，Picosat要领，J.Satisf。布尔模型。计算。，4, 75-97 (2008) ·Zbl 1159.68403号 [39] Le Berre，D。；Parrain，A.，sat4j库，2.2版，系统描述，J.Satisf。布尔模型。计算。，7, 59-64 (2010) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。