拉米尔·亚鲁林；谢尔盖·奥比耶德科夫 从等价查询到PAC学习：蕴涵理论案例。 （英语） Zbl 1460.68092号 国际J近似推理 127, 1-16 (2020). 摘要：在Angluin的精确学习框架中，等价查询可以通过随机等价测试进行模拟，以实现对未知概念的近似正确识别。我们对过程中需要生成的样本数量进行了分析，从而对早期方法进行了理论改进。我们将此修改应用于一个以前已知的、可能近似正确的算法，该算法用于使用蕴涵预言机计算蕴涵基，并根据对预言机的人工和真实数据的查询数量评估其性能。 引用于三文件 MSC公司： 68T05型 人工智能中的学习和自适应系统 68立方英尺 知识表示 关键词：属性探索；概念学习；形式概念分析；启示；PAC学习；查询学习 软件：UCI-毫升 PDF格式BibTeX公司 XML格式引用 \textit{R.Yarullin}和\textit{S.Obiedkov}，《国际近似推理》127，1-16（2020；Zbl 1460.68092） 全文： 内政部 参考文献： [1] 甘特，B。；Wille，R.，《形式概念分析：数学基础》（1999），施普林格：施普林格柏林/海德堡·Zbl 0909.06001号 [2] Kautz，H.A。；M.J.卡恩斯。；Selman，B.，《经验数据的Horn近似值》，Artif。智力。，74, 1, 129-145 (1995) ·Zbl 1014.03514号 [3] 库兹涅佐夫，S.，《关于计算Duquenne-Guigues基数的难题》，J.Univers。计算。科学。，10, 8, 927-933 (2004) ·Zbl 1277.68258号 [4] Valiant，L.G.，《可学习的共同理论》。ACM，27，11，1134-1142（1984）·Zbl 0587.68077号 [5] 铃木，E.，《基于一般性和准确性的规则发现抽样的最坏案例和基于分布的案例分析》，Appl。智力。，22, 1, 29-36 (2005) ·Zbl 1101.68527号 [6] 贾，C。；Gao，X.，《多尺度采样：发现近似关联规则的自适应采样方法》，J.Compute。科学。技术。，20, 3, 309-318 (2005) [7] Borchmann博士。；Hanika，T。；Obiedkov，S.，《关于可能近似正确蕴涵基的可用性》，（Bertet，K.；Borchmann，D.；Cellier，P.；Ferré，S.《形式概念分析》，2017年ICFCA论文集。形式概念分析。2017年ICFCA会议录，计算机科学讲义，第10308卷（2017），72-88·Zbl 1489.68268号 [8] Obiedkov，S.，《从数据和查询中学习启示》（Cristea，D.；Le Ber，F.；Sertkaya，B.，《形式概念分析》（2019），施普林格国际出版：施普林格国家出版协会），32-44·Zbl 1529.68299号 [9] Borchmann，D。；哈妮卡，T。；Obiedkov，S.，从查询中大致正确地学习Horn包络，离散应用程序。数学。，273, 30-42 (2020) ·Zbl 1430.68261号 [10] Anguin，D.，Queries and concept learning，马赫。学习。，2, 4, 319-342 (1988) ·兹比尔1470.68050 [11] 安格鲁因，D。；弗雷泽，M。；Pitt，L.，学习Horn子句的连词，Mach。学习。，9, 147-164 (1992) ·Zbl 0766.68107号 [12] Angluin，D.，从查询和反例中学习正则集，Inf.Compute。，75, 2, 87-106 (1987) ·兹伯利0636.68112 [13] 甘特，B。；Obiedkov，S.，《概念探索》（2016），斯普林格出版社·Zbl 1357.68004号 [14] Guigues，J.L。；Duquenne，V.，Famille minimale d’implications informatives résultant d’un tableau de données binaires，数学。科学。哼，24，95，5-18（1986）·Zbl 1504.68217号 [15] 巴赫，K。；Lichman，M.，UCI机器学习库（2013） [16] 阿里亚斯，M。；Balcázar，J.L.，《标准霍恩公式的构造和可学习性》，马赫。学习。，85, 3, 273-297 (2011) ·Zbl 1237.68106号 [17] 阿里亚斯，M。；Balcázar，J.L。；Trnuc，C.，从闭包查询中学习确定的Horn公式，Theor。计算。科学。，658，B部分，346-356（2017）·Zbl 1356.68114号 [18] Ganter，B.，概念分析中的两种基本算法，（第八届形式概念分析国际会议论文集。第八届国际形式概念分析会议论文集，ICFCA’10（2010），Springer-Verlag:Springer-Verlag Berlin，Heidelberg），312-340·Zbl 1274.68484号 [19] Khardon，R.，《在号角表征及其特征模型之间的转换》，J.Artif。智力。决议，3349-372（1995）·Zbl 0900.68197号 [20] Distel，F。；Sertkaya，B.，关于枚举伪意图的复杂性，离散应用。数学。，159, 6, 450-466 (2011) ·Zbl 1214.68387号 [21] 博利，M。；Lucchese，C。；Paurat，D。；Gärtner，T.，通过有效的两步随机程序进行直接局部模式采样，（第17届ACM SIGKDD国际知识发现和数据挖掘会议论文集。第17届AC M SIGKDD国际知识发现与数据挖掘会议文献集，KDD’11（2011），计算机械协会：美国纽约州纽约市计算机械协会），582-590 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。