×
多明哥洛佩斯·罗德里格斯;埃米利奥·穆尼奥斯·韦拉斯科;曼纽尔·奥杰达·阿西戈

FCA和大数据中的形式化方法。 （英语） Zbl 1529.68298号

Missaoui，Rokia（编辑）等人，《具有正式概念分析的复杂数据分析》。查姆：斯普林格。201-224 (2022).
摘要：形式概念分析（FCA）在知识表示和知识发现中发挥着重要作用，并产生了日益增长的研究领域。在大数据背景下使用FCA为更好地解释和解释结果提供了基础，通常缺乏其他数据分析的统计方法；然而，可伸缩性是基于FCA逻辑的工具和技术的一个重要问题，例如关联系统的生成和使用。我们调查了FCA某些趋势的理论和技术基础。具体来说，我们总结了FCA在理论和实际应用方面的前景，这些应用可以用于解决处理大数据的问题。此外，我们还提出了解决这一问题的未来研究方向。
关于整个系列，请参见[Zbl 1491.68021号].

理学硕士：

68立方英尺 知识表示
68T09号 数据分析和大数据的计算方面

关键词：

上下文缩减;简化逻辑;直接基地
PDF格式BibTeX公司 XML格式引用
\textit{D.López-Rodríguez}等人，in：具有形式概念分析的复杂数据分析。查姆：斯普林格。201-224（2022年；Zbl 1529.68298）
全文： 内政部

参考文献：

[1] Adaricheva，K.V.，Nation，J.B.，Rand，R.：有限闭包系统的有序直接关联基础。离散应用数学161（6）、707-723（2013）·Zbl 1288.06007号 ·doi:10.1016/j.dam.2012.08.031
[2] Agrawal，R.，Srikant，R.：在大型数据库中挖掘关联规则的快速算法。收录于：VLDB，第487-499页。摩根·考夫曼（1994）
[3] Angluin，D.：提问和概念学习。机器。学习。2（4），319-342（1987）·Zbl 1470.68050号
[4] Armstrong，W.W.：数据库关系的依赖结构。J.L.Rosenfeld（编辑）《信息处理》，《1974年第六届国际知识产权联合会会议记录》，瑞典斯德哥尔摩，1974年8月5日至10日，第580-583页。北荷兰人（1974）·Zbl 0296.68038号
[5] Atzeni，P.，Antonellis，V.D.：关系数据库理论。本杰明/卡明斯（1993）·Zbl 0771.68013号
[6] Babin，M.A.：从闭集格生成关系的模型、方法和程序。莫斯科高等经济学院博士论文（2012年）
[7] Babin，M.A.，Kuznetsov，S.O.：计算函数依赖最小覆盖的前提是很难的。离散应用数学161（6），742-749（2013）·Zbl 1263.68046号 ·doi:10.1016/j.dam.2012.10.026
[8] Bastide，Y.，Pasquier，N.，Taouil，R.，Stumme，G.，Lakhal，L.：使用频繁闭合项集挖掘最小非冗余关联规则。In：计算逻辑，计算机科学课堂讲稿第1861卷，第972-986页。斯普林格（2000）·Zbl 0983.68511号
[9] Belohlavek，R.，Cordero，P.，Enciso，M.，Mora，An。，Vychodil，V.：具有等级的数据中属性依赖性的自动校准器。《国际近似推理杂志》70，51-67（2016）·Zbl 1351.68088号 ·doi:10.1016/j.ijar.2015.12.007
[10] Belohlávek，R.，Macko，J.：使用权重选择重要概念。致：ICFCA，计算机科学课堂讲稿第6628卷，第65-80页。施普林格（2011）·Zbl 1326.68282号
[11] Belohlávek，R.，Outrata，J.，Trnecka，M.：使用形式概念和基本项的迭代用法分解布尔矩阵。信息科学。489, 37-49 (2019) ·Zbl 1448.68403号 ·doi:10.1016/j.ins.2019.03.001
[12] Belohlávek，R.，Vychodil，V.：闭包算子约束下的形式概念分析。包含：ICCS，计算机科学课堂讲稿第4068卷，第131-143页。斯普林格（2006）·Zbl 1194.68217号
[13] Belohlávek，R.，Vychodil，V.：通过矩阵分解的新方法发现二进制数据中的最佳因子。J.计算。系统。科学。76(1), 3-20 (2010) ·Zbl 1180.15026号 ·doi:10.1016/j.jss.2009.05.002
[14] Belohlávek，R.，Vychodil，V.：形式概念分析中基于闭包的约束。离散应用数学161（13-14），1894-1911（2013）·Zbl 1312.68180号 ·doi:10.1016/j.dam.2013.02.029
[15] Benítez-Caballero，M.J.，Medina，J.，Ramírez-Poussa，E.：粗糙集理论和形式概念分析中的属性约简。包含：IJCRS（2），计算机科学课堂讲稿第10314卷，第513-525页。施普林格（2017）·Zbl 1489.68266号
[16] Benito-Picazo，F.、Cordero，P.、Enciso，M.、Mora，A.：最小生成器，通过大规模计算实现的一种负担得起的方法。超级计算杂志75（3），1350-1367（2019）·doi:10.1007/s11227-018-2453-z
[17] Bertte，K.，Monjardet，B.：规范直接单位关联基础的多个方面。理论计算机科学411（22-24），2155-2166（2010）·Zbl 1209.68187号 ·doi:10.1016/j.tcs.2009.12.021
[18] Bertet，K.，Nebut，M.：与关联系统相关的摩尔族上的高效算法。离散数学与理论计算机科学6（315-338），107（2004）·Zbl 1062.06004号
[19] Borchmann，D.：从错误数据中高度自信地学习术语知识。博士论文，德国国家图书馆和大学图书馆，德累斯顿（2014）
[20] Borchmann，D.，Hanika，T.，Obiedkov，S.：关于近似正确蕴涵基的可用性。致：ICFCA，计算机科学课堂讲稿第10308卷，第72-88页。施普林格（2017）·Zbl 1489.68268号
[21] Boulicaut，J.，Bykowski，A.，Rigotti，C.：自由集：布尔数据的浓缩表示，用于频率查询的近似。数据最小知识。发现。7(1), 5-22 (2003) ·doi:10.1023/A:1021571501451
[22] Caruana，R.，Lou，Y.，Gehrke，J.，Koch，P.，Sturm，M.，Elhadad，N.：医疗保健的智能模型：预测肺炎风险和医院30天再入院。载：第21届ACM SIGKDD知识发现和数据挖掘国际会议论文集，第1721-1730页。ACM（2015）
[23] Cheung，K.S.K.，Vogel，D.R.：基于格的信息检索中的复杂性降低。Inf.Retr.（信息回收）。8(2), 285-299 (2005) ·doi:10.1007/s10791-005-5663-y
[24] Codocedo，V.，Taramasco，C.，Astudillo，H.：在大的形式背景下进行形式概念分析的作弊。包含：CLA，CEUR研讨会记录，第959卷，第349-362页。CEUR-WS.org（2011）
[25] Cordero，P.，Enciso，M.，López，D.，Mora，A.：使用模糊规则进行诊断的会话推荐系统。《专家系统与应用》第113449页（2020年）
[26] Cordero，P.，Enciso，M.，Mora，A.：模糊形式概念分析中的直接性。In：程序。第17届国际知识库信息处理和不确定性管理大会IPMU’18，计算机与信息科学中的通信第853卷，第585-595页（2018年）·Zbl 1512.68324号 ·doi:10.1007/978-3-319-91473-2_50
[27] Cordero，P.，Enciso，M.，Mora，A.，de Guzmán，I.P.：逻辑：消除知识表示中的数据冗余。摘自：伊比利亚-美国人工智能会议，第141-150页。斯普林格（2002）·Zbl 1037.68136号
[28] Cordero，P.，Enciso，M.，Mora，A.，Ojeda-Aciego，M.：从暗示计算最小生成器：逻辑引导方法。载于：CLA，第2012卷，第187-198页。Citeser（2012）
[29] Cordero，P.，Enciso，M.，Mora，A.，Ojeda-Aciego，M.：计算影响的左旋直接基础。收录于：CLA，第2013卷，第293-298页（2013）
[30] Cordero，P.、Enciso，M.、Mora，A.、Ojeda-Aciego，M.和Rossi，C.：通过使用基于逻辑的含义处理在社交网络中发现知识。知识-基于系统。87, 16-25 (2015) ·doi:10.1016/j.knosys.2015.07.018
[31] Dias，S.M.，Vieira，N.J.：概念格约简：定义、分析和分类。专家系统。申请。42(20), 7084-7097 (2015) ·doi:10.1016/j.eswa.2015.04.044
[32] Dias，S.M.，Z'aarate，L.E.，Vieira，N.J.：使用冰山概念格和隐含规则从ANN中提取知识。智能自动化与软计算19（3），361-372（2013）·doi:10.1080/10798587.2013.771433
[33] Distel，F.：按选择顺序枚举伪元素的难度。摘自：《形式概念分析国际会议》，第124-137页。施普林格（2010）·Zbl 1274.68480号
[34] Distel，F.，Sertkaya，B.：关于枚举伪内容的复杂性。离散应用数学159（6），450-466（2011）·兹伯利1214.68387 ·doi:10.1016/j.dam.2010.12.004
[35] Dong，G.、Jiang，C.、Pei，J.、Li，J.和Wong，L.：挖掘形式概念的最小生成元的简洁系统。收件人：DASFAA，计算机科学课堂讲稿第3453卷，第175-187页。斯普林格（2005）
[36] 邓比尔：什么是大数据？大数据领域的介绍。《2012年战略：让数据发挥作用》（2012）
[37] Gajdos，P.、Moravec，P.和Snásel，V.：通过奇异值分解生成概念格。包含：CLA，CEUR研讨会记录第110卷。CEUR-WS.org（2004）
[38] Ganter，B.，Wille，R.：形式概念分析-数学基础。斯普林格（1999）·Zbl 0909.06001号
[39] Geerts，F.、Missier，P.、Paton，N.W.：编辑：关于提高大数据准确性和价值的特刊。J.数据和信息质量9（3），13:1-13:2（2018）
[40] Grünwald，P.D.，Grunwald，A.：最小描述长度原则。麻省理工学院出版社（2007）·Zbl 0968.62008年
[41] Guigues，J.L.，Duquenne，V.：《家族》（Familles minimales d’implications），《信息论》（informatives résultant d’un tableau de donnes binaires）。《人类数学与科学》95，5-18（1986）·Zbl 1504.68217号
[42] Hanika，T.、Koyda，M.、Stumme，G.：形式上下文中的相关属性。包含：ICCS，计算机科学课堂讲稿第11530卷，第102-116页。施普林格（2019）
[43] Ibaraki，T.，Kogan，A.，Makino，K.：在horn和q-horn理论中推断最小函数依赖性。安。数学。Artif公司。因特尔。38(4), 233-255 (2003) ·兹比尔1023.68027 ·doi:10.1023/A:1023098325064
[44] Kauer，M.，Krupka，M.：从正式背景中移除事件。包含：CLA，CEUR研讨会记录第1252卷，第195-206页。CEUR-WS.org（2014）
[45] Khardon，R.：在号角表示及其特征模型之间进行转换。《人工智能研究杂志》3，349-372（1995）·Zbl 0900.68197号 ·doi:10.1613/jair.183
[46] Kim，B.：人机协作的交互式和可解释的机器学习模型。麻省理工学院博士论文（2015）
[47] Kim，B.，Khanna，R.，Koyejo，O.O.：例子还不够，学会批评！对可解释性的批评。摘自：《神经信息处理系统进展》，第2280-2288页（2016年）
[48] Konecny，J.：关于概念格中的属性约简：基于区分矩阵的方法在基本澄清和约简方面表现得更好。信息科学。415, 199-212 (2017) ·兹比尔1435.68321 ·doi:10.1016/j.ins.2017.06.013
[49] Konecny，J.，Krajca，P.：关于概念格中的属性约简：基于多项式时间区分矩阵的方法成为了cr-method。信息科学。491, 48-62 (2019) ·Zbl 1451.68275号 ·doi:10.1016/j.ins.2019.03.038
[50] Kumar，C.A.，Dias，S.M.，Vieira，N.J.：使用非负矩阵因式分解在正式环境中进行知识约简。模拟中的数学和计算机109，46-63（2015）·Zbl 07313329号 ·doi:10.1016/j.matcom.2014.08.004
[51] 库兹涅佐夫，S.O.：关于计算duquenne-guigues基的棘手问题。加州大学学报10（8），927-933（2004）·Zbl 1277.68258号
[52] Kuznetsov，S.O.，Makhalova，T.P.：关于形式概念的趣味性度量。信息科学。442-443, 202-219 (2018) ·Zbl 1440.68282号 ·doi:10.1016/j.ins.2018.02.032
[53] Lorenzo，E.R.，Cordero，P.，Enciso，M.，Bonilla，A.M.：典型二分直接碱。信息科学。376, 39-53 (2017) ·Zbl 1428.68291号 ·doi:10.1016/j.ins.2016.10.004
[54] Maier，D.：关系数据库理论。计算机科学出版社（1983）·Zbl 0519.68082号
[55] Medina，J.：形式化、面向对象和面向属性的概念格中的关系属性约简。计算机与数学及其应用64（6），1992-2002（2012）·Zbl 1268.06007号 ·doi:10.1016/j.camwa.2012.03.087
[56] Miller，T.：《人工智能的解释：来自社会科学的见解》。人工智能267，1-38（2019）·Zbl 1478.68274号 ·doi:10.1016/j.artint.2018.07.007
[57] Missaoui，R.，Nourine，L.，Renaud，Y.：一个推理系统，用于从纯粹积极的暗示中彻底生成混合的纯粹消极的暗示。在：M.Kryszkiewicz，S.A.Obiedkov（编辑）《第七届概念格及其应用国际会议论文集》，西班牙塞维利亚，2010年10月19-21日，CEUR研讨会记录第672卷，第271-282页。CEUR-WS.org（2010）
[58] Missaoui，R.，Nourine，L.，Renaud，Y.：从形式语境中计算否定的含义。芬丹。通知。115(4), 357-375 (2012) ·Zbl 1241.68112号 ·doi:10.3233/FI-2012-659
[59] Mora，A.，Cordero，P.，Enciso，M.，Fortes，I.，Aguilera，G.：通过功能依赖简化的闭包。《国际计算机数学杂志》89（4），510-526（2012）·Zbl 1257.68064号 ·doi:10.1080/00207160.2011.644275
[60] Mora，A.，Enciso，M.，Cordero，P.，de Guzmán，I.P.：基于替代范式的函数依赖集的有效预处理转换。摘自：技术转让会议，第136-146页。斯普林格（2003）
[61] Nishio，N.，Mutoh，A.，Inuzuka，N.：关于（θ）-包含的多关系数据挖掘中计算最小生成器的问题。In:ILP（最新论文），CEUR研讨会记录第975卷，第50-55页。CEUR-WS.org（2012）
[62] Osicka，P.，Trnecka，M.：通过形式概念抽样进行布尔矩阵分解。收录于：CIKM，第2243-2246页。ACM（2017）
[63] Pawlak，Z.：粗糙集。国际J并行程序。11(5), 341-356 (1982) ·Zbl 0501.68053号
[64] Pfaltz，J.L.：格的增量转换：有效知识发现的关键。In:ICGT，计算机科学课堂讲稿第2505卷，第351-362页。斯普林格（2002）·Zbl 1028.68630号
[65] 波兰尼，M.：触觉维度。纽约花园城双日酒店（1966）
[66] Portugal，I.，Alencar，P.S.C.，Cowan，D.D.：机器学习算法在推荐系统中的应用：系统综述。专家系统。申请。97, 205-227 (2018) ·doi:10.1016/j.eswa.2017.12.020
[67] Qi，J.J.：基于新的可辨矩阵的形式上下文属性约简。应用数学与计算杂志30（1-2），305-314（2009）·Zbl 1180.68263号 ·doi:10.1007/s12190-008-0174-9
[68] Rodríguez-Lorenzo，E.，Adaricheva，K.V.，Cordero，P.，Enciso，M.，Mora，A.：使用简化逻辑从关联系统中形成d-基。《国际通用系统杂志》46（5），547-568（2017）·doi:10.1080/030810079.2017.1349632
[69] 罗德里格斯-洛伦佐（Rodríguez-Lorenzo，E.）、贝特（Bertet，K.）、科尔德罗（Cordero，P.）、恩西索（Enciso，M.）、莫拉（Mora，An.）：通过融合简化规则进行直接优化基计算。离散应用数学249，106-119（2018）·Zbl 1398.68520号 ·doi:10.1016/j.dam.2017.12.031
[70] Rodríguez-Lorenzo，E.，Bertet，K.，Cordero，P.，Enciso，M.，Mora，A.，Ojeda-Aciego，M.：从关联系统到直接最优基：基于逻辑的方法。应用数学与信息科学。L 2，305-317（2015）
[71] Rudolph，S.：使用FCA将闭包运算符编码到神经网络中。计算机科学课堂讲稿4604，321-332（2007）·Zbl 1213.68608号 ·doi:10.1007/978-3-540-73681-3_24
[72] Stumme，G.，Taouil，R.，Bastide，Y.，Pasquier，N.，Lakhal，L.：用泰坦尼克号计算冰山概念格。数据知识。工程42（2），189-222（2002）·Zbl 0996.68046号 ·doi:10.1016/S0169-023X（02）00057-5
[73] Valverde-Albacete，F.J.，Peláez-Moreno，C.，Cordero，P.，Ojeda-Aciego，M.：形式等效分析。2019年国际模糊系统协会和欧洲模糊逻辑与技术学会会议（EUSFLAT 2019）。亚特兰蒂斯出版社（2019）·Zbl 1512.68327号
[74] Wei，W.、Wu，X.、Liang，J.、Cui，J.和Sun，Y.：基于区分矩阵的动态数据增量属性约简。知识-基于系统。140, 142-157 (2018) ·doi:10.1016/j.knosys.2017.10.033
[75] 张，S.，郭，P.，张，J.，王，X.，佩德里茨，W.：频繁加权概念格的完备性分析及其代数性质。数据知识。工程81-82，104-117（2012）·doi:10.1016/j.datak.2012.08.002
[76] Zhang，W.，Wei，L.，Qi，J.：属性约简理论和概念格方法。中国科学系列F：信息科学48（6），713-726（2005）·Zbl 1161.68796号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。