×

为生物医学查询生成解释。 (英语) Zbl 1379.68059号

摘要:我们引入了新的数学模型和算法,使用答案集编程为生物医学查询生成(最短或不同)解释。我们实现了这些算法并将其集成到BioQuery-ASP中。我们通过生物医学知识资源中与药物发现相关的一些复杂生物医学查询来说明这些方法的有用性{药学GKB}, {药物数据库}, {生物网格}, {CTD公司}, {侧面}, {疾病本体论}、和{Orphadata公司}.

MSC公司:

68N17号 逻辑编程
68立方英尺 知识表示
68层35 人工智能的语言和软件系统理论(基于知识的系统、专家系统等)
92 C50 医疗应用(通用)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 英国公寓。R.和BolR。1994年4月。逻辑编程与否定:一项调查。逻辑编程杂志19/20,9-71.10.10016/0743-1066(94)90024-8·Zbl 0942.68518号 ·doi:10.1016/0743-1066(94)90024-8
[2] 巴拉尔C.2003。知识表示、推理和陈述式问题解决。英国剑桥大学出版社.CBO9780511543357·Zbl 1056.68139号
[3] 博登瑞德。,科班兹。H.、DoganayM。C.、ErdemE。和KosucuH。2008年,关于使用答案集编程回答与药物发现相关的复杂查询的初步报告。程序中。第三届逻辑编程应用于(语义)Web和Web服务国际研讨会(ALPSWS 2008)。
[4] 大脑。和VosM。D.2005年。在答案集语义下调试逻辑程序。程序中。第三届答案集编程国际研讨会(ASP 2005),M.De Vos和A.Provetti(编辑)。在线CEUR-WS.org/Vol-142/page141.pdf。
[5] 布雷卡政府。,EiterT公司。和TruszczynskiM.2011。答案集编程一目了然。ACM54的通信,92-103。
[6] 重庆。R.和SullivanD。2007年期刊。旧药物的新用途。自然448,645-646.10.1038/448645a17687303·doi:10.1038/448645a
[7] 戴维斯A。P.KingB公司。L.、MockusS.、。,墨菲。G.、Saraceni-RichardsC.、。,罗森斯坦姆。,WiegersT公司。和MattinglyC。2011年6月。比较毒理基因组数据库:2011年更新。核酸研究39,D1067-1072.10.1093/nar/gkq813·数字对象标识代码:10.1093/nar/gkq813
[8] 爱尔兰。,伊安。,SchindlauerR.和TompitsH.2006。语义Web推理的声明性规则与外部评估的有效集成。程序中。第三届欧洲语义网会议:研究与应用(ESWC 2006),Y.Sure和J.Domingue(编辑)。柏林施普林格·弗拉格,273-287.10.10007/11762256·doi:10.1007/11762256
[9] 埃尔德姆。,埃尔德姆。,埃尔多安。和OztokU.2011。为复杂的生物医学查询查找答案并生成解释。程序中。第二十五届AAAI人工智能会议(AAAI 2011),W.Burgard和D.Roth(编辑)。AAAI出版社,785-790。
[10] 埃尔德姆。,埃尔多安。和OztokU.2011。BIOQUERY-ASP:使用答案集编程查询生物医学本体。程序中。第五国际规则ML2011@BRFChallenge,S.Bragaglia、C.Viegas Damasio、M.Montali、A.Preece、C.Petrie、M.Proctor和U.Straccia(编辑)。在线CEUR-WS.org/Vol-560/paper8.pdf。
[11] 埃尔德姆。和YeniterziR.2009。将受控自然语言生物医学查询转换为答案集程序。程序中。2009年生物NLP研讨会,K.BrettonalCohen、D.Demner-Fushman、S.Ananiadou、J.Pestian、J.Tsujii和B.Webber(编辑)。计算语言学协会,117-124。
[12] 法拉利。和LifschitzV.2005。权重约束作为嵌套表达式。逻辑程序设计的理论与实践5,45-74.10.1017/S147106403001923S1471068403001923·Zbl 1093.68017号 ·文件编号:10.1017/S1471068403001923
[13] GebserM.、KaminskiR.、。,柯尼格。和SchaubT.2011。外国佬系列3的进展。在第11届逻辑编程和非单调推理国际会议记录(LPNMR 2011)中,J.P.Delgrande和W.Faber(编辑)。柏林施普林格-弗拉格,345-351.10.1007/978-3-642-20895-9·Zbl 1214.68009号 ·doi:10.1007/978-3-642-20895-9
[14] GebserM.,考夫曼银行。,纽曼那。和SchaubT.2007。扣:冲突驱动的答案集求解器。在第九届逻辑程序设计和非单调推理国际会议(LPNMR 2007)的过程中,C.Baral、G.Brewka和J.Schlipf(编辑)。柏林斯普林格·弗拉格,260-265.1007/978-3-540-72200-7·兹比尔1119.68003 ·doi:10.1007/978-3-540-72200-7
[15] GebserM.、PuehrerJ.、SchaubT。和TompitsH.2008。用于调试应答程序的元程序设计技术。程序中。第23届全国人工智能会议(AAAI 2008),D.Fox和C.Gomes(编辑)。AAAI出版社,448-453。
[16] 盖尔德拉。V.、RossK。A.和SchlipfJ。S.1991年。通用逻辑程序的有充分依据的语义。ACM38杂志,620-650·兹比尔0799.68045
[17] GelfondM公司。和LifschitzV.1988。逻辑编程的稳定模型语义。程序中。第五届逻辑程序设计国际会议和研讨会(ICLP 1988),R.A.Kowalski和K.A.Bowen(Eds.)。麻省理工学院出版社,1070-1080。
[18] GelfondM公司。和LifschitzV.1991。逻辑程序和析取数据库中的经典否定。新一代计算9,365-385.1007/BF03037169·Zbl 0735.68012号 ·doi:10.1007/BF03037169
[19] GowerT.2009年。重生。Proto杂志夏季版,14-19。
[20] 诺克斯公司。,法律V。,犹太教。,刘鹏。,赖氨酸。,弗罗基斯A。,波纳。,班科。,最大值。,内维尔。,朱姆博。,艾斯纳,国安。C.和WishartD。S.2010年。Drugbank 3.0:药物“组学”研究的综合资源。《核酸研究》39,D1035-1041。
[21] 库恩。,坎皮洛斯。,莱图尼奇。,杰森·L。J.和BorkP.2010。捕获药物表型效应的副作用资源。分子系统生物学6,343。
[22] LifschitzV.2002。答案集编程和计划生成。人工智能138,39-54.10.1016/S0004-3702(02)00186-8·Zbl 0995.68020号 ·doi:10.1016/S0004-3702(02)00186-8
[23] LifschitzV.2008年。什么是答案集编程?程序中。第二十届AAAI人工智能会议(AAAI 2008),D.Fox和C.Gomes(编辑)。AAAI出版社,1594-1597。
[24] 马雷克V。和Truszczyn skiM.1999。稳定模型和替代逻辑编程范式。《逻辑编程范式:25年展望》,柏林施普林格,375-398.1007/978-3642-60085-2_17·Zbl 0979.68524号 ·doi:10.1007/978-3-642-60085-2_17
[25] 麦当劳。M.、Whirl-CarrilloM.、。,加滕。,阿尔特曼。B.和KleinT。2011年12月。从药物基因组知识获取到临床应用:PharmGKB作为临床药物基因组生物标记物资源。医学中的生物标记物5,795-806.10.2217/bmm.11.94·doi:10.2217/bmm.11.94
[26] 尼梅尔一世,1999年。具有稳定模型语义的逻辑程序作为约束编程范式。数学与人工智能年鉴25,241-273.10.1023/A:1018930122475·Zbl 0940.68018号 ·doi:10.1023/A:1018930122475
[27] 诺盖拉。,巴杜奇尼姆。,盖尔丰德。,屈臣氏。和BarryM.2001。航天飞机的A-Prolog决策支持系统。程序中。第三届声明性语言实践方面国际研讨会(PADL 2001),I.V.Ramakrishnan(Ed.)。施普林格出版社,柏林,169-183.10.1007/3-540-45241-9·doi:10.1007/3-540-45241-9
[28] OetschJ公司。,PuehrerJ.和TompitsH.2010。捕捉乌鸦:关于调试非地面应答程序。逻辑程序设计的理论与实践10,513-529.10.1017/S1471068410000256S1471066410000256·Zbl 1213.68182号 ·doi:10.1017/S1471068410000256
[29] OetschJ公司。,PuehrerJ.和TompitsH.2011。逐步完成回答程序。程序中。第十一届逻辑程序设计和非单调推理国际会议(LPNMR 2011),J.P.Delgrand和W.Faber(Eds.)。柏林施普林格-弗拉格,134-147.10.1007/978-3-642-20895-9·Zbl 1214.68009号 ·doi:10.1007/978-3-642-20895-9
[30] OztokU.2012年。为复杂的生物医学查询生成解释。萨班奇大学硕士论文。
[31] 庞泰利。,桑特。C.和El-KhatibO.2009。答案集语义下逻辑程序的理由。逻辑程序设计的理论与实践9,1-56.10017/S1471064080036633S14710684080033633·Zbl 1170.68005号 ·文件编号:10.1017/S1471068408003633
[32] 里卡夫。,格拉斯哥。,阿尔维亚诺。,曼纳。,狮子座。,伊里塔尼亚诺。和LeoneN.2012。在Gioia-Tauro海港通过答案集编程进行团队建设。逻辑编程理论与实践12,361-3810.1017/S147106841100007X·Zbl 1250.90050 ·文件编号:10.1017/S14710684110007X
[33] 施里姆勒。M.、ArzeC.、。,纳登德拉。,ChangY公司-W.W.、Mazaitis M.、。,费利克斯五世。,冯。和KibbeW。A.2012年。疾病本体:疾病语义集成的支柱。核酸研究40,D940-946.10.1093/nar/gkr972·doi:10.1093/nar/gkr972
[34] 西蒙斯。,尼美拉一世。和SoininenT.2002。扩展和实现稳定的模型语义。人工智能138,181-234.10.1016/S0004-3702(02)00187-X·Zbl 0995.68021号 ·doi:10.1016/S0004-3702(02)00187-X
[35] 斯塔克公司。,布雷特克鲁兹-J.、RegulyT.、。,BoucherL.、BreitkreutzA。和TyersM.2006。BioGRID:交互数据集的通用存储库。核酸研究34,D535-539.10.1093/nar/gkj109·doi:10.1093/nar/gkj109
[36] SyrjanenT.2006年。调试不一致的答案集程序。程序中。第十一届非单调推理国际研讨会(NMR 2006),J.Dix和A.Hunter(编辑)。在线的http://www.in.tu-clausthal.de/uploads/media/NMR_Proc_TR4.pdf。
[37] TiihonenJ。,大豆蛋白T。和SulonenR.2003。用于大规模定制可配置产品的实用工具。程序中。第14届国际工程设计会议(ICED03),A.Folkeson、K.Gralén、M.Norell和U.Sellgren(编辑)。设计协会,1290-1299年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。