×

从查询中大致正确地学习Horn信封。 (英语) Zbl 1430.68261号

摘要:我们提出了一种算法,用于使用专家或预言机学习任意域的Horn包络,能够回答有关该域的某些类型的查询。形式概念分析中的属性探索是一个解决此问题的过程,但在最坏的情况下,它可能要求的查询数量与生成的Horn公式的大小成指数关系。我们回顾了一个著名的多项式时间算法,该算法用于学习带有隶属度和等价查询的Horn公式,并对其进行了修改,以获得一个多项式时间近似正确的算法,用于学习任意域的Horn包络。

MSC公司:

68T05型 人工智能中的学习和自适应系统
68立方英尺 知识表示
68瓦40 算法分析

软件:

UCI-毫升
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Anguin,D.,Queries and concept learning,马赫。学习。,2, 319-342 (1988) ·Zbl 1470.68050号
[2] 安格鲁因,D。;弗雷泽,M。;Pitt,L.,学习horn子句的连词,Mach。学习。,9, 2-3, 147-164 (1992) ·Zbl 0766.68107号
[3] 阿里亚斯,M。;Balcázar,J.L.,《标准喇叭公式的构造和可学习性》,马赫。学习。,85, 3, 273-297 (2011) ·Zbl 1237.68106号
[4] 阿里亚斯,M。;Balcázar,J.L。;Trnuc,C.,从闭包查询中学习定角公式,Theoret。计算。科学。,658,B部分,346-356(2017)·兹伯利1356.68114
[5] 巴德,F。;甘特尔,B。;Sertkaya,B。;Sattler,U.,《使用形式概念分析完成描述逻辑知识库》,《IJCAI’07会议录》,230-235(2007),AAAI出版社
[6] Babin,M.,《基于闭集格的依赖挖掘模型、方法和软件》(2012年),国立研究型大学高等经济学院:国立研究大学莫斯科高等经济学院,(俄语)
[7] D.Borchmann,T.Hanika,关于随机生成形式上下文的一些实验结果,载于:M.Huchard和S.Kuznetsov(编辑),CLA,EUR Workshop Proceedings,第1624卷,CEUR-WS.org,2016年,第57-69页。http://dblp.uni-trier.de/db/conf/cla/cla2016.html#BorchmannH16。
[8] 甘特尔,B。;Obiedkov,S.,《概念探索》(2016),施普林格:施普林格柏林/海德堡·Zbl 1357.68004号
[9] 甘特尔,B。;Wille,R.,《形式概念分析:数学基础》(1999),施普林格:施普林格柏林/海德堡·Zbl 0909.06001号
[10] Guigues,J.-L。;Duquenne,V.,Famille minimale d'implications informations résultant d'un tableau de données binaires,数学。科学。Humaines,24岁,95岁,5-18岁(1986年)·Zbl 1504.68217号
[11] Hoeffing,W.,有界随机变量和的概率不等式,J.Amer。统计师。协会,58,301,第13-30页(1963年)·Zbl 0127.10602号
[12] 约翰逊,D.S。;Papadimitriou,C.H.,关于生成所有最大独立集,Inf.过程。莱特。,27, 3, 119-123 (1988) ·Zbl 0654.68086号
[13] Kautz,H.公司。;卡恩斯,M。;Selman,B.,《经验数据的Horn近似值》,《人工智能》,第74、1、129-145页(1995年)·Zbl 1014.03514号
[14] Kavvadias,D.J。;帕帕迪米特里奥,C.H。;Sideri,M。;Ng,K.-W。;Raghavan,P。;Balasubramanian,N。;Chin,F.Y.,关于角包络和超图横截。,ISAAC。ISAAC,计算机科学讲稿,399-405(1993),施普林格·Zbl 0925.03036号
[15] Khardon,R.,《在号角表示及其特征模型之间的转换》,J.Artif。智力。研究(JAIR),3349-372(1995)·Zbl 0900.68197号
[16] Lichman,M.,UCI机器学习库(2013),http://archive.ics.uci.edu/ml
[17] Mangasarian,O.L。;Wolberg,W.H.,《通过线性规划进行癌症诊断》,SIAM News,23,5,1-18(1990)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。