弗朗西斯科·卡利默里；弗朗西斯科·考特鲁西奥；卢卡·西内利；马尔祖洛，阿尔多；克洛迪奥，坚韧；乔治·泰拉奇纳；法国杜兰杜比夫；多米尼克·萨佩·马里尼尔 一种基于逻辑的框架，利用神经网络研究神经疾病的演变。 （英语） Zbl 1472.68187号 理论与实践。日志。程序。 21，第1号，80-124（2021）. 摘要：演绎形式主义近年来得到了大力发展；其中，答案集编程（ASP）获得了一些发展势头，最近在许多实际场景中得到了成功的应用。尽管如此，尽管在相关应用领域，甚至在工业环境中有大量成功案例，演绎推理不能被视为人工智能的最终综合解决方案；事实上，在某些情况下，其他方法会更加有用。典型的生物信息学任务，例如分类，目前主要由基于机器学习（ML）的解决方案执行。在本文中，我们重点讨论了分析进化神经系统疾病。在这种情况下，ML方法已经被证明是一种可行的分类任务解决方案；在这里，我们展示了ASP如何在大脑进化模拟任务中发挥相关作用。特别是，我们提出了一个通用和可扩展的框架来支持医生 MSC公司： 68T27型 人工智能中的逻辑 68N17号 逻辑编程 92-08 生物学问题的计算方法 92-10 生物学相关问题的数学建模或模拟 92秒20 生物研究、人工生命和相关主题中的神经网络 92C20美元 神经生物学 92 C50 医疗应用（通用） 软件：LARS公司；WASP公司；大脑连接工具箱；崔弟；克林戈；MRtrix公司；亚当；ezcsp公司；天基信息平台；SMT-LIB公司；sCASP公司；DLV-EX公司 PDF格式BibTeX公司 XML格式引用 \textit{F.Calimeri}等人，理论与实践。日志。程序。21，第1号，80-124（2021；Zbl 1472.68187） 全文： 内政部 arXiv公司 参考文献： [1] Adrian，W.T.，Alviano，M.，Calimeri，F.，Cuteri，B.，Dodaro，C.，Faber，W.，Fuscá，D.，Leone，N.，Manna，M.、Perri，S.、Ricca，F.、Veltri，P.和Zangari，J.2018。ASP系统DLV：进步和应用。KI 32，2-3，177-179。 [2] Alviano，M.、Amendola，G.、Dodaro，C.、Leone，N.、Maratea，M.和Ricca，F.2019。WASP中析取程序的评估。《逻辑编程和非单调推理——第十五届国际会议》，LPNMR 2019，费城，宾夕法尼亚州，美国，2019年6月3-7日，Proceedings，Balduccini，M.，Lierler，Y.，and Woltran，S.，Eds.《计算机科学讲义》，第11481卷。施普林格，241-255·Zbl 1522.68096号 [3] Arias，J.、Carro，M.、Salazar，E.、Marple，K.和Gupta，G.2018。无接地约束应答集编程。TPLP第18、3-4、337-354页·Zbl 1451.68063号 [4] Balduccini，M.和Lierler，2017年。约束答案集求解器EZCSP以及为什么集成模式很重要。TPLP第17、4、462-515页·Zbl 1379.68038号 [5] 巴拉尔，C.2003。知识表示、推理和陈述式问题解决。剑桥大学出版社，美国纽约州纽约市·兹比尔1056.68139 [6] Bargmann，C.和Marder，E.2013。从连接体到大脑功能。自然方法10483。 [7] Barrett，C.、Fontaine，P.和Tinelli，C.2016年。可满足性模理论库（SMT-LIB）。网址：www.SMT-LIB.org [8] Barrett，C.W.、Deters，M.、De Moura，L.M.、Oliveras，A.和Stump，A.2013。6年SMT-COMP。J.汽车。推理50，3，243-277。 [9] Barrett，C.W.和Tinelli，C.2018。可满足性模理论。在《模型检查手册》中，Clarke，E.M.，Henzinger，T.A.，Veith，H.和Bloem，R.，Eds.Springer，305-343·Zbl 1392.68379号 [10] Baselice，S.、Bonatti，P.A.和Gelfond，M.2005。面向答案集和约束求解的集成。《逻辑编程》，第21届国际会议，2005年ICLP，西班牙Sitges，2005年10月2-5日，Proceedings，Gabbrielli，M.和Gupta，G.，Eds.《计算机科学讲稿》，第3668卷。施普林格，52-66·Zbl 1165.68481号 [11] Beck，H.、Dao-Tran，M.、Eiter，T.和Fink，M.，2015年。LARS：一种基于逻辑的框架，用于分析流上的推理。在AAAI。AAAI出版社，1431-1438。 [12] Brooks，D.R.、Erdem，E.、Erdogan，S.T.、Minett，J.W.和Ringe，D.2007。使用答案集编程推断系统发育树。J.汽车。推理39，4，471-511·Zbl 1132.68676号 [13] Calimeri，F.、Cauteruccio，F.，Marzullo，A.、Stamile，C.和Terracina，G.2018年。混合逻辑编程和神经网络以支持神经疾病分析。在RuleML+RR.计算机科学讲义，第11092卷。施普林格，33-47。 [14] Calimeri，F.、Cozza，S.和Ianni，G.，2007年。逻辑编程中知识和价值发明的外部来源。安。数学。Artif公司。智力。50,3-4, 333-361. ·Zbl 1125.68026号 [15] Calimeri，F.、Faber，W.、Gebser，M.、Ianni，G.、Kaminski，R.、Krennwallner，T.、Leone，N.、Ricca，F.和Schaub，T.2012。ASP-Core-2：输入语言格式。 [16] Calimeri，F.、Fink，M.、Germano，S.、Humenberger，A.、Ianni，G.、Redl，C.、Stepanova，D.、Tucci，A.和Wimmer，A.2016。愤怒的小鸟：基于陈述性知识库的愤怒小鸟的人工玩家。IEEE传输。计算。智能。以及游戏8、2、128-139中的人工智能。 [17] Calimeri，F.、Fuscá，D.、Germano，S.、Perri，S.和Zangari，J.2019。促进在实际应用中使用声明形式：embasp框架。新一代计算。37，1，29-65。 [18] Calimeri，F.、Fuscá，D.、Perri，S.和Zangari，J.2017a。新DLV接地器中的外部计算和互操作性。2017年11月14日至17日在意大利巴里举行的AI*IA 2017人工智能进展第十六届意大利人工智能协会国际会议上，《Proceedings》，Esposito，F.、Basili，R.、Ferilli，S.和Lisi，F.A.编辑，《计算机科学讲义》，第10640卷。施普林格，172-185年。 [19] Calimeri，F.、Fuscá，D.、Perri，S.和Zangari，J.2017b。I-DLV：DLV的新型智能接地器。人工智能11、1、5-20。 [20] Calimeri，F.、Ianni，G.、Krennwallner，T.和Ricca，F.2012。答案集编程竞赛。AI杂志33，4，114-118。 [21] Calimeri，F.、Marzullo，A.、Stamile，C.和Terracina，G.2018年。基于图形的神经网络用于多发性硬化症临床课程的自动分类。在2018年4月25日至27日于比利时布鲁日举行的第26届欧洲人工神经网络研讨会上，ESANN 2018。 [22] Calimeri，F.和Ricca，F.2013。关于答案集编程系统DLV在工业中的应用：来自该领域的报告。书评2013,03,1-16。 [23] Cauteruccio，F.、Lo Giudice，P.、Terracina，G.、Ursino，D.、Mammone，N.和Morabito，F.2019。一种新的基于网络的神经疾病调查方法。国际数据挖掘、建模和管理杂志11，315-349。 [24] Chabierski，P.、Russo，A.、Law，M.和Broda，K.2017。使用组合分类语法和答案集程序对文本进行机器理解。在常识上。CEUR研讨会记录，第2052卷。CEUR-WS.org。 [25] Cok，D.R.、Stump，A.和Weber，T.2015。2013年对SMT-COMP和SMT-LIB的评估。J.汽车。推理55，1，61-90·Zbl 1356.68185号 [26] Dodaro，C.和Ricca，F.2018。用于扩展WASP的外部接口。逻辑程序设计理论与实践[在线]1-24。doi:doi:10.1017/S1471068418000558。 [27] Duun-Henriksen，J.、Madsen，R.、Remvig，L.、Thomsen，C.、Sorensen，H.和Kjaer，T.2012。儿童失神癫痫发作的自动检测：朝向监测设备。儿科神经病学46，58287-292。 [28] Eiter，T.、Fink，M.、Ianni，G.、Krennwallner，T.，Redl，C.和Schüller，P.2016。带有外部计算的答案集编程的模型构建框架。第16页，第4页，第418-464页·Zbl 1379.68058号 [29] Eiter，T.、Germano，S.、Ianni，G.、Kaminski，T.，Redl，C.、Schüller，P.和Weinzierl，A.2018。DLVHEX系统。KI-Künstliche Intelligenz基恩斯特利希情报32，2-3，187-189。 [30] Eiter，T.、Germano，S.、Ianni，G.、Kaminski，T.，Redl，C.、Schüller，P.和Weinzierl，A.2018。DLVHEX系统。KI 32，2-3，187-189。 [31] Eiter，T.、Redl，C.和Schüller，P.2016。使用HEX系列解决问题。在《理性的计算模型》（Computational Models of Rationality）中，《在加布里埃尔·克恩·伊斯伯纳（Gabriele Kern-Isberner）60岁诞辰之际献给她的论文》（Essays Dedicated to Gabrielle Kern-Isberner on the occasus of her 60th Birthday），贝尔（Beierle，C.）、布鲁卡（Brewka，G.）和蒂。 [32] Erdem，E.、Gelfond，M.和Leone，N.2016。答案集编程的应用。AI杂志37，3，53-68。 [33] Faber，W.、Leone，N.和Pfeifer，G.2004。析取逻辑程序中的递归聚合：语义和复杂性。在《第九届欧洲人工智能会议论文集》（JELIA 2004）中，Alferes，J.J.和Leite，J.，Eds.人工智能（LNAI）讲稿，第3229卷。施普林格出版社，200-212·兹比尔1111.68380 [34] Febbraro，O.、Leone，N.、Grasso，G.和Ricca，F.2012。JASP：一个将答案集编程与Java集成的框架。《知识表示和推理原则：第十三届国际会议论文集》，KR 2012，意大利罗马，2012年6月10日至14日，Brewka，G.，Eiter，T.和Mcilraith，S.A.，编辑：AAAI出版社。 [35] Febbraro，O.，Reale，K.和Ricca，F.2011。Aspide：用于答案集编程的集成开发环境。2011年5月16日至19日，加拿大温哥华，第11届逻辑编程与非单调推理国际会议，LPNMR 2011。诉讼程序。计算机科学讲义，第6645卷，317-330页。 [36] Fuscá，D.、Calimeri，F.、Zangari，J.和Perri，S.2017。I-DLV+MS：关于自动ASP解算器选择器的初步报告。在人工智能下的RCRA*IA公司。CEUR研讨会记录，第2011卷。CEUR-WS.org，26-32。 [37] Gebser，M.、Kaminski，R.、Kaufmann，B.和Schaub，T.2014。Clingo=ASP+对照：初步报告。在第三十届逻辑编程国际会议（ICLP’14）的技术通信中，Leuschel，M.和Schrijvers，T.，Eds.Vol.arXiv:1405.3694v1。逻辑程序设计理论与实践，在线增刊·Zbl 1486.68027号 [38] Gebser，M.、Kaminski，R.、Kaufmann，B.和Schaub，T.2019。使用clipeo进行多快照ASP求解。TPLP第19、1、27-82页·Zbl 1486.68027号 [39] Gebser，M.、Kaminski，R.、Kaufmann，B.、Schaub，T.、Schneider，M.T.和Ziller，S.2011。答案集编程的组合求解器：初步报告。在LPNMR中。LNCS，第6645卷。施普林格，352-357。 [40] Gebser，M.、Leone，N.、Maratea，M.，Perri，S.、Ricca，F.和Schaub，T.2018。答案集编程的评估技术和系统：一项调查。《第二十七届国际人工智能联合会议论文集》，2018年7月13日至19日，瑞典斯德哥尔摩，IJCAI 2018。，J.Lang，编辑：ijcai.org，5450-5456。 [41] Gebser，M.、Maratea，M.和Ricca，F.2016。答案集编程竞赛中最热门的是什么。2016年2月12日至17日，美国亚利桑那州凤凰城，第三十届AAAI人工智能会议记录，Schuurmans，D.和Wellman，M.P.，编辑AAAI出版社，4327-4329。 [42] Gebser，M.、Maratea，M.和Ricca，F.2017。第六届答案集编程竞赛。《人工智能研究杂志》60，41-95·Zbl 1418.68030号 [43] Gebser，M.、Maratea，M.和Ricca，F.2019。第七个答案集编程竞赛：设计和结果。CoRR abs/1904.09134·Zbl 1418.68029号 [44] Gebser，M.、Schaub，T.、Thiele，S.和Veber，P.2011。使用答案集编程检测大型生物网络中的不一致性。逻辑程序设计理论与实践11，2-3，323-360·Zbl 1220.68036号 [45] Gelfond，M.2010年。知识表示语言p-log-简介。在Datalog中，De Moor，O.，Gottlob，G.，Furche，T.和Sellers，A.，Eds.LNCS，第6702卷。施普林格，369-383。 [46] Gelfond，M.和Leone，N.2002。逻辑编程和知识表示——A-Prolog视角。人工智能138，1-2，3-38·Zbl 0995.68022号 [47] Gelfond，M.和Lifschitz，V.1991.逻辑程序和析取数据库中的经典否定。新发电机计算。9, 365-385. ·Zbl 0735.68012号 [48] Goodfellow，I.J.，Bengio，Y.和Courville，A.C.2016。深度学习。自适应计算和机器学习。麻省理工学院出版社·Zbl 1373.68009号 [49] Haykin，S.1998年。神经网络：综合基金会，第二版，普伦蒂斯·霍尔PTR，上鞍河，美国新泽西州·Zbl 0934.68076号 [50] Hornero，R.、Abásolo，D.、Escudero，J.和Gómez，C.2009。阿尔茨海默病患者脑电图和脑磁图记录的非线性分析。伦敦皇家学会哲学学报A：数学、物理和工程科学367、1887、317-336·Zbl 1221.94016号 [51] Hu，Z.，Ma，X.，Liu，Z.、Hovy，E.H.和Xing，E.P.2016。利用逻辑规则控制深层神经网络。《计算语言学协会第54届年会会议记录》，ACL 2016，2016年8月7日至12日，德国柏林，第1卷：长篇论文。 [52] Ion-Marginanu，A.、Kocevar，G.、Stamile，C.、Sima，D.M.、Durand-Dubief，F.、Huffel，S.V.和Sappey-Marinier，D.2017。使用MRSI和大脑分割对多发性硬化症课程进行分类的机器学习方法的比较。在ICANN（2）中。LNCS，第10614卷。施普林格，643-651。 [53] Jenkinson，M.、Beckmann，C.F.、Behrens，T.E.J.、Woolrich，M.W.和Smith，S.M.，2012年。FSL。神经影像62，2782-790。 [54] Jeong，J.2004年。阿尔茨海默病患者的脑电图动力学。临床神经生理学115，7，1490-1505。 [55] Kaminski，R.、Schaub，T.和Wanko，P.2017。关于使用clipeo求解混合答案集的教程。在推理Web中。Web上的语义互操作性——2017年第13届国际暑期学校，英国伦敦，2017年7月7日至11日，《教程讲座》，Ianni，G.，Lembo，D.，Bertossi，L.E.，Faber，W.，Glimm，B.，Gottlob，G.和Staab，S.，Eds.《计算机科学讲义》，第10370卷。施普林格，167-203·Zbl 1491.68217号 [56] Kawahara，J.、Brown，C.J.、Miller，S.P.、Booth，B.G.、Chau，V.、Grunau，R.E.、Zwicker，J.G.和Hamarneh，G.2017。Brainnetcn：用于大脑网络的卷积神经网络；预测神经发育。NeuroImage神经影像146，1038-1049。 [57] Kingma，D.P.和Ba，J.2014。亚当：一种随机优化方法。CoRR abs/1412.6980。 [58] Kocevar，G.、Stamile，C.、Hannoun，S.、Cotton，F.、Vukusic，S.，Durand-Dubief，F.和Sappey-Marinier，D.2016。基于图论的多发性硬化症临床病程自动分类大脑连通性。神经科学前沿10，478。 [59] Kouvaros，P.和Lomuscio，A.2018。基于CNN的感知系统的形式化验证。CoRR abs/1811.11373·Zbl 1351.68294号 [60] Law，M.、Russo，A.和Broda，K.2015。学习答案集编程中的弱约束。TPLP第15、4-5、511-525页·Zbl 1379.68073号 [61] Law，M.、Russo，A.和Broda，K.2016。从上下文相关的示例中迭代学习答案集程序。TPLP第16、5-6、834-848页·Zbl 1379.68074号 [62] Lenka，A.、Naduthota，R.、Jha，M.、R、R.P.、Prajapati，A.、Jhunjhunwala，K.、Saini，J.、Yadav，R.，Bharath，R.和Pal，P.2015。帕金森病患者步态冻结与功能性脑连接改变有关。帕金森综合征及相关疾病24100-106。 [63] Leofate，F.、Narodytska，N.、Pulina，L.和Taccella，A.2018。神经网络的自动验证：进展、挑战和展望。CoRR绝对值/1805.9938。 [64] Leone，N.和Ricca，F.2015。答案集编程：从基础知识到高级开发工具和工业应用程序的教程。2015年8月4日至5日，德国柏林，第9届国际推理与规则系统大会，RR 2015。计算机科学（LNCS）课堂讲稿。施普林格出版社，308-326。 [65] Lierler，Y.和Susman，2017年2月。约束答案集规划与可满足性模理论的关系。TPLP第17、4、559-590页·Zbl 1379.68285号 [66] Lifschitz，V.1999。答案集规划。《第十六届逻辑程序设计国际会议（ICLP’99）论文集》，Schreye，D.D.，Ed.the，Mit Press，Cruces，Las，New Mexico，Usa，23-37。 [67] Lonc，Z.和Truszczynski，M.2006。计算最小模型、稳定模型和答案集。TPLP第6、4、395-449页·Zbl 1110.68022号 [68] Lublin，F.D.、Reingold，S.C.、Cohen，J.A.、Cutter，G.R.、Sörensen，P.S.、Thompson，A.J.、Wolinsky，J.S.，Balcer，L.J.、Banwell，B.、Barkhof，F.、Bebo，B.J.、Calabresi，P.A.、Clanet，M.、Comi，G.、Fox，R.J.，Freedman，M.S.；Goodman，A.D.、Inglese，M.，Kappos，L.、Kiesier，B.C.、Lincoln，J.A.、Lubetzki，C.、Miller，A.E.、Montalban、，X.、O'Connor，P.W.、Petkau，J.、Pozzilli，C.、Rudick，R.A.、Sormani，M.P.、Stüve，O.、Waubant，E.和Polman，C.H.2014。定义多发性硬化症的临床病程：2013年修订版。神经病学83，3，278-286。 [69] Manna，M.、Ricca，F.和Terracina，G.，2015年。通过ASP处理主键冲突以查询大量不一致的数据。逻辑程序设计理论与实践（TPLP）。英国剑桥大学出版社.15（4-5），696-710·Zbl 1379.68114号 [70] Maratea，M.、Pulina，L.和Ricca，F.2014。一种多引擎的应答编程方法。逻辑程序设计理论与实践14，6，841-868。 [71] Marek，V.W.和Truszczynski，M.1999。稳定模型和替代逻辑编程范式。《逻辑编程范式——25年展望》，Apt，K.R.，Marek，V.W.，Truszczyn ski，M.和Warren，D.S.，Eds.Springer Verlag，375-398·Zbl 0979.68524号 [72] Mcdonald，W.I.、Compston，A.、Edan，G.、Goodkin，D.、Hartung，H.-P.、Lublin，F.D.、Mcfarland，H.F.、Paty，D.W.、Polman，C.H.、Reingold，S.C.、Sandberg-Whollheim，M.、Sibley，W.、Thompson，A.、Van Den Noort，S.、Weinshenker，B.Y.和Wolinsky，J.S.2001。多发性硬化症的推荐诊断标准：来自多发性痴呆症诊断国际小组的指南。神经病学年鉴：美国神经病学协会和儿童神经病学学会官方杂志50，121-127。 [73] Mellarkod，V.S.、Gelfond，M.和Zhang，Y.2008。集成答案集编程和约束逻辑编程。安。数学。Artif公司。智力。53,1-4, 251-287. ·Zbl 1165.68504号 [74] 纽曼，M.E.J.2002。网络中的分类混合。物理审查信89208701。 [75] Nickles，M.和Mileo，2014年2月。使用概率答案集编程进行Web流推理。在RR.LNCS，第8741卷。施普林格，197-205年。 [76] 尼梅尔，I.1999。以稳定模型语义作为约束编程范式的逻辑编程。数学与人工智能年鉴25，3-4，241-273·Zbl 0940.68018号 [77] 彼得森，R.2004。作为诊断实体的轻度认知障碍。《内科杂志》256，3，183-194。 [78] Przymusinski，T.C.1991年。析取程序的稳定语义。新一代计算9，401-424·Zbl 0796.68053号 [79] Pulina，L.和Taccella，A.2010。一种用于验证人工神经网络的抽象重定义方法。在计算机辅助验证中，Touili，T.、Cook，B.和Jackson，P.，Eds.Springer，Berlin，Heidelberg，243-257。 [80] 邱，J.，唐，J.、马，H.、董，Y.、王，K.和唐，J.2018。Deepinf：通过深度学习预测社会影响。程序中。第24届ACM SIGKDD知识发现与数据挖掘国际会议，2110-2119。ACM公司。美国纽约州纽约市。 [81] Rath，J.和Redl，C.2017年。将答案集编程与面向对象语言集成。《声明性语言的实践方面——第19届国际研讨会》，2017年1月16日至17日，法国巴黎，PADL 2017，Proceedings，Lierler，Y.和Taha，W.，Eds.Leach Notes In Computer Science，vol.10137。施普林格，50-67岁。 [82] Redl，C.2016。知识表示的dlvhex系统：最新进展（系统描述）。TPLP第16、5-6、866-883页·Zbl 1379.68304号 [83] Ricca，F.2003。DLV的Java包装器。答案集编程，理论与实施进展，第二届国际ASP'03研讨会论文集，意大利墨西拿，2003年9月26-28日，Vos，M.D.和Provetti，A.编辑，CEUR研讨会论文集第78卷。CEUR-WS.org。 [84] Rubinov，M.和Sporns，O.2010。大脑连接的复杂网络测量：用途和解释。《神经影像》52，3，1059-1069。 [85] Schüller，P.和Weinzierl，A.2015。答案集应用程序编程：俄罗斯方块的案例研究。2015年8月31日至9月4日，爱尔兰科克，第31届国际逻辑编程会议（ICLP 2015）技术通信会议记录，Vos，M.D.，Eiter，T.，Lierler，Y.和Toni，F.，编辑CEUR Workshop Proceedings，第1433卷。CEUR-WS.org·兹比尔1407.68083 [86] Shen，D.和Lierler，Y.2018。基于SMT的非权限程序约束答案集求解器EZSMT+。《知识表示与推理原理：第十六届国际会议论文集》，KR 2018，亚利桑那州坦佩，2018年10月30日至11月2日，Thielscher，M.、Toni，F.和Wolter，F.，编辑：AAAI出版社，67-71。 [87] Shovon，M.H.I.，Nandagopal，N.，Vijayalakshmi，R.，Du，J.T.和Cocks，B.2017。使用传递熵对认知活动期间的功能性脑网络进行定向连通性分析。神经处理字母45，3807-824。 [88] Simonyan，K.、Vedaldi，A.和Zisserman，A.2013。深层卷积网络：可视化图像分类模型和显著图。CoRR abs/1312.6034。 [89] Stamile，C.、Kocevar，G.、Cotton，F.、Hannoun，S.、Durand-Dubief，F.，Frindel，C.、Rousseau，D.和Sappey-Marinier，D.2015。白质纤维束变化检测的纵向模型。2015年国际系统、信号和图像处理会议（IWSSIP），57-60。 [90] Stein，M.、Simmons，A.、Feinstein，J.和Paulus，M.，2007年。易焦虑受试者在情绪处理过程中杏仁核和脑岛激活增加。《美国精神病学杂志》164，2，318-327。 [91] Terracina，G.、Leone，N.、Lio，V.和Panetta，C.2008。在数据库和逻辑编程系统中进行递归查询的实验。逻辑程序设计理论与实践（TPLP）8（2），129-165。网址：http://arxiv.org/abs/0704.3157。 ·Zbl 1142.68338号 [92] Thimm，M.2014年。Tweety-一个全面的Java库集合，用于人工智能和知识表示的逻辑方面。《第十四届知识表示与推理原则国际会议论文集》（KR 2014）。 [93] Tournier，J.、Calamante，F.和Connelly，A.2012。Mrtrix：交叉纤维区的扩散纤维束成像。国际成像系统与技术杂志22，1，53-66。 [94] Towell，G.G.和Shavlik，J.W.1993。从基于知识的神经网络中提取精炼规则。机器学习13，71-101。 [95] Vos，T.、Allen，C.、Arora，M.、Barber，R.、Bhutta，Z.和Brown，A.2016。Gbd 2015疾病和伤害发生率及流行率合作者。1990-2015年310种疾病和伤害的全球、区域和国家发病率、患病率和残疾年：2015年全球疾病负担研究的系统分析。《柳叶刀》388100531545-1602。 [96] Wieser，H.、Schindler，K.和Zumsteg，D.2006。克雅氏病的脑电图。临床神经生理学117，5，935-951。 [97] Wu，Z.、Pan，S.、Chen，F.、Long，G.、Zhang，C.和Yu，P.2019。图形神经网络综述。CoRR abs/1901.00596。 [98] Zhang，Q.、Cao，R.、Zhang，S.、Edmonds，M.、Wu，Y.N.和Zhu，S.2017。交互式传输CNN模式以进行零件定位。CoRR abs/1708.01783。 [99] Zhang，Q.，Wu，Y.N.和Zhu，S.2018。可解释的卷积神经网络。2018年6月18日至22日在美国犹他州盐湖城举行的2018年IEEE计算机视觉和模式识别会议，CVPR 2018。IEEE计算机学会，8827-8836。 [100] Zhang，Q.、Yang，Y.、Wu，Y.N.和Zhu，S.2018。通过决策树解释细胞神经网络。CoRR abs/1802.00121。 [101] Zhang，Q.和Zhu，S.2018。深度学习的视觉可解释性：一项调查。IT&EE的前沿19、1、27-39。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。