玛尔塔·阿里亚斯;JoséL.Balcázar。;克里斯蒂娜，托恩·努克 从闭包查询中学习确定的Horn公式。 （英语） Zbl 1356.68114号 西奥。计算。科学。 658，B部分，346-356（2017）。 摘要：定Horn理论是一组（n）维布尔向量，其特征函数可表示为定Horn公式，即定Horn子句的连词。我们知道，在不同的查询学习环境下，如从成员关系和等价查询中学习，或从蕴涵中学习，这类确定的Horn理论是可以学习的。我们提出了一种不同类型的查询：闭包查询。闭包查询是成员查询的自然扩展，也是所谓校正查询的变体，适用于确定的Horn公式。我们提出了一种算法，该算法使用闭包和等价查询在多项式时间内学习定Horn子句的连词，并展示了它与关联系统的规范Guigue-Duquenne基的关系。我们还通过通过查询模拟（如果可能）显示完整的约简，或者通过在使用它们学习确定的Horn公式的特定算法的上下文中显示它们之间的联系，来展示上述不同的查询模型是如何相互关联的。 引用于4文件 MSC公司： 68问题32 计算学习理论 03B70号 计算机科学中的逻辑 2015年1月6日 伽罗瓦对应、闭包算子（与有序集有关） 关键词：查询学习;限定Horn子句;闭合操作符 PDF格式BibTeX公司 XML格式引用 \textit{M.Arias}等人，Theor。计算。科学。658，B部分，346--356（2017；Zbl 1356.68114） 全文： 内政部 arXiv公司 参考文献： [1] Anguin，D.，Queries and concept learning，马赫。学习。，2, 4, 319-342 (1987) ·Zbl 1470.68050号 [2] Angluin博士。；Kharitonov，M.，什么时候会员资格查询没有帮助？，J.计算。系统科学。，50, 2, 336-355 (1995) ·Zbl 0827.68039号 [3] Balcázar，J.L。；卡斯特罗，J。；吉亚罗，D。；Köbler，J。；Lindner，W.，《查询学习的一般维度》，J.Compute。系统科学。，73, 6, 924-940 (2007) ·Zbl 1121.68059号 [4] 安格鲁因，D。；弗雷泽，M。；Pitt，L.，学习Horn子句的连词，Mach。学习。，9, 147-164 (1992) ·Zbl 0766.68107号 [5] 高盛公司。；Kwek，S。；Scott，S.D.，《从未指定属性值的示例中学习》，Inform。和计算。，180, 2, 82-100 (2003) ·兹伯利1054.68112 [6] Ben-David，S。；Dichterman，E.，《有限注意力集中的学习》（COLT（1993）），287-296 [7] 弗雷泽，M。；Pitt，L.，《从蕴涵中学习：命题Horn语句的应用》（ICML（1993），Morgan Kaufmann），120-127 [8] Ganter，B.，《具有背景知识的属性探索》，Theoret。计算。科学。，217, 2, 215-233 (1999) ·Zbl 0914.68168号 [9] Becerra-Bonache，L。；Dediu，A.H。；Trnuc，C.，从更正和等价查询中学习DFA，（Sakakibara，Y.；Kobayashi，S.；Sato，K.；Nishino，T.；Tomita，E.，ICGI.ICGI，计算机科学讲义，第4201卷（2006），Springer），281-292·Zbl 1158.68401号 [10] Trnuc，C.，关于不同类型更正查询之间关系的注释，（Clark，A.；Coste，F.；Miclet，L.，ICGI.ICGI，计算机科学课堂笔记，第5278卷（2008），Springer），213-223·Zbl 1177.68125号 [11] Trnuc，C.，《带更正查询的语言学习》（2009），西班牙塔拉戈纳Rovira i Virgili大学博士论文 [12] Trnuc，C。；Kobayashi，S.，带修正查询学习的必要和充分条件，Theoret。计算。科学。，410、47-49、5145-5157（2009年）·Zbl 1194.68197号 [13] 阿里亚斯，M。；Balcázar，J.L.，《标准喇叭表示和查询学习》，（Gavaldá，R.；Lugosi，G.；Zeugmann，T.；Zilles，S.，ALT.ALT，《计算机科学讲义》，第5809卷（2009），斯普林格出版社），156-170·Zbl 1262.68059号 [14] 阿里亚斯，M。；Balcázar，J.L.，《标准霍恩公式的构造和可学习性》，马赫。学习。，85, 3, 273-297 (2011) ·Zbl 1237.68106号 [15] Horn，A.，《关于代数直接并成立的句子》，J.符号逻辑，16，14-21（1956）·Zbl 0043.24801号 [16] 麦肯锡，J.，《一些没有量词的句子类的决策问题》，J.符号逻辑，861-76（1943）·Zbl 0063.03864号 [17] Khardon，R。；Roth，D.，《模型推理》，人工智能，87，1-2，187-213（1996）·Zbl 1506.68149号 [18] Kleine Büning，H。；Lettmann，T.，《命题逻辑：演绎与算法》（1999），剑桥大学出版社·Zbl 0957.03001号 [19] J.Guigues。；Duquenne，V.，《Familles minimales’implications informatives results’un tableau de données binaires》，数学。科学。哼，95，5-18（1986）·Zbl 1504.68217号 [20] Maier，D.，关系数据库模型中的最小覆盖，J.ACM，27664-674（1980）·Zbl 0466.68085号 [21] Wild，M.，《基于暗示的有限闭包空间理论》，高等数学。，108, 118-139 (1994) ·Zbl 0863.54002号 [22] 道林，W.F。；Gallier，J.H.，测试命题Horn公式可满足性的线性时间算法，J.Log。程序。，1, 3, 267-284 (1984) ·Zbl 0593.68062号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。