×
大卫·皮尔斯

均衡逻辑。 （英文） 兹伯利1117.03039

安。数学。Artif公司。智力。 47，第1-2、3-41号（2006）.
本文的目的是对平衡逻辑进行概述，并总结其主要特征、性质和应用领域。
平衡逻辑是用稳定模型和答案集来概括推理的，它与默认逻辑、自认知逻辑或模态非单调系统等其他应用逻辑密切相关。
作者主要关注与逻辑编程和演绎数据库相关的方面，而不是更一般的知识形式。
审核人：奈尔·扎莫夫（喀山）

引用于1审查
引用于54文件

MSC公司：

03B70号 计算机科学中的逻辑
03B55号 中间逻辑
68N17号 逻辑编程
68T27型 人工智能中的逻辑

关键词：

答案集编程;平衡逻辑;中间逻辑;强否定;逻辑程序设计

软件：

C模型;亚萨特
PDF格式BibTeX公司 XML格式引用
\textit{D.Pearce}，Ann.数学。Artif公司。智力。47，编号1--2，3--41（2006；Zbl 1117.03039）
全文： 内政部

参考文献：

[1] Anger，C.，Linke，M.T.，Neumann，A.，Schaube，T.：诺莫尔++系统。摘自：Baral，C.等人（编辑）Proc。LPNMR 2005，LNAI，第422-426页。施普林格，柏林-海德堡-纽约（2005）
[2] Avellone，A.，Ferrari，M.，Miglioli，P.：可插值命题中间逻辑的无重复表演算和相关的无切割序列演算。日志。J.IGPL 7（4），447-480（1999）·Zbl 0938.03042号 ·doi:10.1093/jigpal/7.4.447
[3] Baldcucini，M.，Gelfond，M.，Noguiera，M.：作为声明性编程工具的A-Plog。In：程序。第十二届软件工程和知识工程国际会议，SEKE 2000，伊利诺伊州芝加哥（2000）
[4] Balduccini，M.、Gelfond，M.和Noguiera，M.：美国顾问：答案集规划的案例研究。逻辑编程和非单调推理，LPNMR 2001，LNAI 2173，Springer，Berlin Heidelberg New York（2001）
[5] Baral，C.：知识表征、推理和陈述式问题解决。英国剑桥大学出版社（2003）·Zbl 1056.68139号
[6] Baral，C.，Gelfond，M.：关于预期行动的推理。收录：第二十届全国人工智能会议论文集。加利福尼亚州门罗公园AAAI·Zbl 0882.68027号
[7] Bonner，A.，McCarty，L.T.：将否定作为失败添加到直觉逻辑编程中。收录：Proc NorthAmerican Conference on Logic Programming，pp.681-703 MIT，Cambridge，Massachusetts（1990）
[8] Cabalar，P.，Odintsov，S.，Pearce，D.：关于基础良好语义的推理逻辑：初步报告。收录于：Marín，R.等人（编辑）《CAEPIA:Actas，Volumen 1:183-192 Santiago de Compostela，西班牙》（2005）
[9] Cabalar，P.，Odintsov，S.，Pearce，D.：有充分依据的语义的逻辑基础。In：程序。KR'06，英国湖区（2006年）·Zbl 1131.68369号
[10] Cabalar，P.，Odintsov，S.，Pearce，D.：逻辑程序的基础良好和部分稳定语义中的强否定。In：程序。Iberamia 06，LNAI，Springer，Berlin Heidelberg New York（2006年）·Zbl 1131.68369号
[11] Cabalar，P.，Odintsov，S.，Pearce，D.，Valverde，A.：关于部分平衡模型的逻辑和计算。程序。Jelia 06，LNAI，Springer，Berlin Heidelberg New York（2006年）·Zbl 1152.68599号
[12] Cabalar，P.，Odintsov，S.，Pearce，D.，Valverde，A.：使用部分平衡逻辑分析和扩展基础良好且部分稳定的语义。程序。ICLP 06，LNAI，Springer，Berlin Heidelberg New York（2006年）·Zbl 1131.68369号
[13] Cabalar，P.，Pearce，D.，Valverde，A.：将均衡逻辑中的命题理论简化为逻辑程序。收录：Bento，C.等人（编辑）《EPIA会议录》，LNAI 3808，第4-17页，施普林格，柏林-海德堡-纽约（2005）
[14] Calimeri，F.、Galizia，S.、Rullo F.、Calimari，S.，Galizia，M.、Ruffolo，P.：增强本体规范的析取逻辑编程。2003年AGP会议记录（2003）
[15] van Dalen，D.：直觉主义逻辑。摘自：《哲学逻辑手册》，第三卷：经典逻辑的替代品，D.Reidel，Dordrecht（1986）·Zbl 0875.03038号
[16] van Dantzig，D.：关于直觉主义和肯定数学的原则。印度。数学。9, 429–440; 506–517 (1947) ·Zbl 0035.14901号
[17] Dietrich，J.：非单调推理操作的演绎基础。德国莱比锡大学NTZ报告（1994）
[18] Dietrich，J.：《Inferenzframes》。莱比锡大学博士论文（1995年）
[19] Dix，J.：正常逻辑程序语义的分类理论。I.强性能。芬丹。通知。22(3), 227–255 (1995) ·Zbl 0829.68021号
[20] Dix，J.：正常逻辑程序语义的分类理论。二、。弱属性。芬丹。通知。22(3), 257–288 (1995) ·Zbl 0829.68022号
[21] Došen，K.：作为模态算子的否定。代表数学。日志。20, 15–27 (1986) ·Zbl 0626.03006号
[22] 达米特，M.：直觉主义的要素。克拉伦登，牛津（1977）·Zbl 0358.02032号
[23] Dung，P.M.：以否定为失败的假设逻辑编程的声明语义。摘自：ELP 92、99号论文集。45–58 (1992)
[24] Eiter，T.，Fink，M.：稳定模型语义下逻辑程序的一致等价。印度孟买ICLP’03逻辑编程国际会议。施普林格，柏林-海德堡-纽约（2003）·Zbl 1204.68052号
[25] Eiter，T.，Fink，M.，Tompits，H.，Woltran，S.：在统一和强等价下简化逻辑程序。收录人：Lifschitz，V.，Niemela，I.（编辑）《2004年LPNMR会议录》，LNAI 2923，Springer，Berlin Heidelberg New York（2004）·Zbl 1122.68369号
[26] Eiter，T.、Fink，M.、Tompits，H.、Woltran，S.：答案集编程中的强一致等价。AAAI 2005年会议记录，匹兹堡，宾夕法尼亚州，2005年·Zbl 1122.68369号
[27] Eiter，T.、Tompits，H.、Woltran，S.：关于答案集编程中的解决方案对应。摘自：《第19届国际人工智能联合会议记录》（IJCAI-05），第97-102页。科罗拉多州专业图书中心（2005）
[28] Eiter，T.，Gottlob，G.：关于析取逻辑编程的计算成本：命题案例。安。数学。Artif公司。智力。15(3–4), 289–323 (1995) ·Zbl 0858.68016号 ·doi:10.1007/BF01536399
[29] Faber，W.，Leone，N.，Pfeifer，G.：析取逻辑程序中的递归聚合：语义和复杂性。收录：Alferes，J.J.，Leite，J.（编辑）《人工智能中的逻辑》。JELIA’04，LNAI 3229，第200–212页。施普林格，柏林-海德堡-纽约（2004）·Zbl 1111.68380号
[30] Ferraris，P.，Lifschitz，V.：权重约束作为嵌套表达式。西奥。实际。日志。掠夺。5, 45–74 (2005) ·Zbl 1093.68017号 ·文件编号：10.1017/S1471068403001923
[31] Ferraris，P.：命题理论的答案集。收录：Baral，C.等人（编辑）《逻辑编程和非单调推理程序集》05，LNAI 3662，Springer，Berlin Heidelberg New York（2005）·Zbl 1152.68408号
[32] Gelfond，M.：不完全信息的逻辑编程和推理。安。数学。Artif公司。智力。12, 98–116 (1994) ·Zbl 0858.68013号 ·doi:10.1007/BF01530762
[33] Gelfond，M.，Lifschitz，V.：逻辑程序的稳定模型语义。收录：Bowen，K.，Kowalski，R.（编辑）《逻辑编程第五届国际会议2》，第1070–1080页。麻省理工学院，剑桥，马萨诸塞州（1988）
[34] Gelfond，M.，Lifschitz，V.：经典否定逻辑程序。摘自：Warren，D.，Szeredi，P.（编辑）《ICLP-90程序》，第579-597页。麻省理工学院，剑桥，马萨诸塞州（1990）
[35] Gelfond，M.，Lifschitz，V.：逻辑程序和析取数据库中的经典否定。新一代。计算。，365–387（1991年）·Zbl 0735.68012号
[36] Giordano，L.，Olivetti，N.：在逻辑程序中结合否定即失败和嵌入式含义。J.日志。程序。36, 91–147 (1998) ·Zbl 0911.68027号 ·doi:10.1016/S0743-1066（97）10014-0
[37] 哥德尔，K.：祖姆直觉主义。Anzeiger der Akademie der Wissenschaften Wien，数学，自然科学。69, 65–66 (1932)
[38] Greco，S.、Leone，N.、Scarcello：具有嵌套规则的数据日志。摘自：Dix，J.等人（编辑）《逻辑编程与知识表示学报》1997年，杰斐逊港，纽约，LNCS 1471，第52-65页。施普林格，柏林-海德堡-纽约（1998）
[39] Gurevich，Y.：带有强烈否定的直觉主义逻辑。螺柱日志。36(1–2), 49–59 (1977) ·Zbl 0366.020155号 ·doi:10.1007/BF02121114
[40] Hähnle，R.：多值逻辑的高效表格证明程序。收录：伯格尔、伊根、克莱恩·伯宁、汉斯、里希特、迈克尔·M、施恩费尔德、沃尔夫冈（编辑）《计算机科学逻辑》（CSL'90）论文选集，德国海德堡。勒克特。注释计算。科学。，533, 248–260. 施普林格，柏林-海德堡-纽约（1991年）
[41] Hähnle，R.：多值逻辑中的自动演绎。牛津大学出版社，英国伦敦（1993）·Zbl 0798.03010号
[42] Heyting，A.：直觉主义逻辑的形式。西茨·伯。普劳斯。阿卡德。威斯。，物理学。数学。Kl.，42–56（1930）
[43] Hosoi，T.：哥德尔中间命题系统S n的公理化。J.科尔。科学。，东京Imp.Univ.Tokyo 13，183–187（1966）·Zbl 0156.00802号
[44] 井上，K.，坂山，C.：诱因逻辑中的等价性。摘自：《2005年国际JCAI会议录》。苏格兰爱丁堡（2005）·Zbl 1134.68480号
[45] De Jongh，D.，Hendricks，L.：中间逻辑中强等价逻辑程序的特征。西奥。实际。日志。掠夺。3(3), 259–270 (2003) ·Zbl 1069.68538号 ·文件编号：10.1017/S14710684020159X
[46] Janhunen，T.，Niemelä，I.，Simons，P.，You，J.-H.：稳定模型语义中的展开偏倚和析取。ACM事务处理。计算。日志。（TOCL）7（1），1-37（2006）·doi:10.1145/1119439.1119440
[47] Kleine-B§ning，H.，Karpinski，M.，Flgel，A.：量化布尔公式的分辨率。Inf.计算。117, 12–18 (1995) ·Zbl 0828.68045号 ·doi:10.1006/inco.1995.1025
[48] Kracht，M.：关于中间逻辑的强否定扩展。J.菲洛斯。逻辑27（1），49–73（1998）·Zbl 0929.03035号 ·doi:10.1023/A:100422213212
[49] Kraus，S.、Lehmann，D.、Magidor，M.：非单调推理、优先模型和累积逻辑。Artif公司。智力。44, 167–207 (1990) ·Zbl 0782.03012号 ·doi:10.1016/0004-3702（90）90101-5
[50] Leone，N.等人：数据集成：具有挑战性的ASP应用程序。摘自：Baral，C.等人（编辑）Proc。LPNMR 2005，意大利迪亚曼特。LNAI，第379–383页，施普林格，柏林-海德堡-纽约（2005）
[51] Leone，N.，Pfeifer，G.W.，Faber，T.，Eiter，G.，Gottlob，Perri，S.，Scarcello，F.：用于知识表示和推理的DLV系统。CoRR:cs公司。AI/021004，2003年9月·Zbl 1367.68308号
[52] Lierler，Y.CMODELS–基于SAT的析取答案集求解器。摘自：Baral，C.等人（编辑）Proc。LPNMR 2005，意大利迪亚曼特。LNAI，第447–451页，施普林格，柏林-海德堡-纽约（2005）
[53] Lifschitz，V.：逻辑编程基础。摘自：Brewka，G.（编辑）《知识表示原理》，第69-128页。加州斯坦福CSLI（1996）·Zbl 0962.68026号
[54] Lifschitz，V.，Pearce，D.，Valverde，A.：强等价逻辑程序。ACM事务处理。计算。日志。2(4), 526–541 (2001) ·Zbl 1365.68149号 ·数字对象标识代码：10.1145/383779.383783
[55] Lifschitz，V.，Tang，L.，Turner，H.：逻辑程序中的嵌套表达式。安。数学。Artif公司。智力。25(3-4), 369–389 (1999) ·Zbl 0940.68075号 ·doi:10.1023/A:1018978005636
[56] Lin，F.：将逻辑程序的强等价性简化为经典命题逻辑中的蕴涵。In：程序。KR’02，第170–176页，法国图卢兹。
[57] Lin，F.，Zhao，Y.：SAT：SAT求解者计算逻辑程序的答案集。Artif公司。智力。157（1-2）、115–137（2004）·Zbl 1085.68544号 ·doi:10.1016/j.artint.2004.04.004
[58] Łukasiewicz，J.：Die Logik und das Grundlagen问题。收录：苏黎世科学基金会项目12、6–9（1938），苏黎世，82–100（1941）
[59] McCarty，L.T.：克劳斯直觉主义逻辑I.J.Log。程序。5, 1–31 (1988) ·Zbl 0645.03006号 ·doi:10.1016/0743-1066（88）90005-2
[60] 梅金森：累积推理的一般理论。In:Reinfrank，M.等人（编辑）非单调推理。LNAI 346，Springer，Berlin Heidelberg New York（1989年）·Zbl 0675.03007号
[61] 梅金森：非单调推理的一般模式。摘自：Gabbay，D.等人（编辑）《人工智能逻辑手册》。克拉伦登，牛津（1994）
[62] 马克西莫娃，L.：克雷格插值定理和可合并变种。Doklady Akademii Nauk SSSR，237，no.6，1281–1284（1977）（翻译为苏联数学。Doklady.）·Zbl 0393.03013号
[63] Miller，D.：逻辑编程中模块的逻辑分析。J.日志。程序。6, 79–108 (1989) ·Zbl 0681.68022号 ·doi:10.1016/0743-1066（89）90031-9
[64] Mundici，D.：多值句子逻辑中的可满足性是NP-完全的。西奥。公司。科学。52(1-2), 145–153 (1987) ·兹伯利0639.03042 ·doi:10.1016/0304-3975（87）90083-1
[65] Nelson，D.：建设性虚假。J.塞姆。日志。14, 16–26 (1949) ·Zbl 0033.24304号 ·doi:10.2307/2268973
[66] Odintsov，S.，Pearce，D.：关于非一致性答案集的推理逻辑。程序。LPNMR 2005，意大利迪亚曼特，LNAI，第343–355页。施普林格，柏林-海德堡-纽约（2005）·Zbl 1152.68416号
[67] Ojeda，M.P.，de Guzmán，I.，Aguilera，G.，Valverde，A.：简化符号命题公式。软计算。2(4), 157–166 (1998)
[68] Ono，H.：中间谓词逻辑的模型扩张定理和Craig插值定理。代表数学。日志。15, 41–58 (1983) ·Zbl 0519.03016号
[69] Ortiz，M.，Osorio，M.：Nelson的强烈否定、安全信念和答案集语义。收录：De Vos，M.，Provetti，A.（编辑）ASP 2005年研讨会论文集，英国巴斯（2005）
[70] Osorio，M.，Navarro，J.，Arrazola，J.：答案集编程中的等价性。In：程序。LOPSTR 2001，塞浦路斯帕福斯。LNCS 2372，第57-75页。施普林格，柏林-海德堡-纽约（2001）·Zbl 1073.68586号
[71] Osorio，M.、Navarro Pérez，J.A.、Arrazola，J.：命题理论的安全信念。Ann.纯粹应用。逻辑。134(1), 63–82 (2005) ·Zbl 1074.03013号 ·doi:10.1016/j.apal.2004.06.012
[72] Papadimitriou，C.H.：计算复杂性。Addison-Wesley，Reading，马萨诸塞州（1994）·Zbl 0833.68049号
[73] Pearce，D.：答案集与非单调S4。In:Dyckoff，R.（ed.）《逻辑编程过程的扩展》第四期国际研讨会，LNAI798，Springer，Berlin Heidelberg New York（1994）
[74] 皮尔斯，D.：非单调性和答案集推理。In：程序。LPNMR 1995，LNAI 928，第372–387页，Springer，Berlin Heidelberg New York（1995）
[75] Pearce，D.：稳定模型的新逻辑特征。In:逻辑编程非单调扩展会议录，NMELP 96，Bad Honnef，德国（1996）
[76] 皮尔斯，D。：稳定模型和答案集的新逻辑特征。In:逻辑编程的非单调扩展，NMELP 96，Bad Honnef，德国。LNCS 1216，第57-70页。施普林格，柏林-海德堡-纽约（1997）
[77] 皮尔斯：从这里到那里：逻辑编程中的稳定否定。In:Gabbay，D.，Wansing，H.（编辑）什么是否定？诺威尔·克鲁沃（1999）·Zbl 0978.03027号
[78] 皮尔斯：作为直觉有效性的稳定推理。J.日志。程序。38, 79–91 (1999) ·Zbl 0911.68136号 ·doi:10.1016/S0743-1066（98）10015-8
[79] Pearce，D.：在答案集语义下简化逻辑程序。Demoen，B.，Lifschtiz，V.（编辑）《ICLP04会议录》，LNCS 3132，第210–224页。施普林格，柏林-海德堡-纽约（2004）·Zbl 1104.68383号
[80] Pearce，D.，de Guzmán，I.P.，Valverde，A.：平衡蕴涵的表格演算。收录于：《使用分析表和相关方法的自动推理》，Tableaux 2000，LNAI 1847，第352-367页。施普林格，柏林-海德堡-纽约（2000年）·Zbl 0963.03045号
[81] Pearce，D.，de Guzmán，I.P.，Valverde，A.：使用符号公式计算平衡模型。收录：Lloyd，John W.等（编辑）《计算逻辑——CL 2000》，第一届国际会议。《LNAI 1861年会议记录》，第688–702页。施普林格，柏林-海德堡-纽约（2000年）·兹伯利0983.03023
[82] Pearce，D.Tompits，H.，Woltran，S.：平衡逻辑和带有嵌套表达式的逻辑程序的编码。摘自：《EPIA’01会议录》，LNAI，第306–320页。施普林格，柏林-海德堡-纽约（2001）·Zbl 1053.68695号
[83] Pearce，D.，Sarsakov，V.，Schaub，T.，Tompits，H.，Woltran，S.：将带有嵌套表达式的逻辑程序多项式翻译为析取逻辑程序：初步报告。摘自：P.J.Stuckey（编辑）《逻辑编程》，第18届国际会议，ICLP 2002，Lect。注释计算。科学。2401年，第405-420页。施普林格，柏林-海德堡，纽约200·Zbl 1045.68519号
[84] Pearce，D.，Valverde，A.：平衡逻辑和逻辑程序的统一等价。Lifschitz，V.，NiemelŁ，I.（编辑）LPNMR’04会议录，LNAI 2923，第194-206页。施普林格，柏林-海德堡-纽约（2004）·Zbl 1122.68384号
[85] Pearce，D.，Valverde，A.：答案集编程和平衡逻辑中的同义理论。López de Mántaras，R.，Saitta，L.（eds.）《2004年ECAI会议记录》，阿姆斯特丹纽瓦·赫姆韦。第388-392页。IOS出版社，阿姆斯特丹Nieuwe Hemweg（2004）
[86] Pearce，D.，Valverde，A.：构造逻辑的一阶非单调扩展。螺柱日志。80, 246–321 (2005) ·Zbl 1097.03020号 ·doi:10.1007/s11225-005-8473-8
[87] Pereira，L.M.，Alferes，J.J.：明确否定逻辑程序的有根据的语义。摘自：Neumann，B.（编辑）《欧洲人工智能会议》，第102-106页。威利，纽约（1992）
[88] Przymusinski，T.：析取程序的稳定语义。新增。通用。计算。9，401–424（1991年）·Zbl 0796.68053号 ·doi:10.1007/BF03037171
[89] Sakama，C.：非单调逻辑程序中的逆蕴涵。摘自：《第十届归纳逻辑程序设计国际会议论文集》（ILP-2000），LNAI 1866，第209-224页，Springer，Berlin Heidelberg New York（2000）·Zbl 0994.68112号
[90] Sakama，C.，Inoue，K.：扩展析取程序的准一致稳定语义。J.日志。计算。5, 265–285 (1995) ·Zbl 0827.68070号 ·doi:10.1093/log.com/5.3.265
[91] Sakama，C.，Inoue，K.：逻辑程序的归纳等价论文集ILP 05 Springer，Berlin Heidelberg New York（2005）·Zbl 1134.68480号
[92] Sarsakov，V.，Schaub，T.，Tompits，H.，Woltran，S.：nlp：嵌套逻辑编程的编译器。收录于：LPNMR 2004，LNAI 2923，第361-364页。施普林格，柏林-海德堡-纽约（2004）·兹比尔1122.68390
[93] Seipel，D.：使用子句演绎数据库来定义析取演绎数据库中的语义。安。数学。Artif公司。智力。33447–378（2001年）·Zbl 1314.68121号 ·doi:10.1023/A:1013180132511
[94] Simons，P.，Niemelä，I.，Soininen，T.：扩展和实现稳定模型语义。Artif公司。智力。138(1–2), 181–234 (2002) ·兹比尔0995.68021 ·doi:10.1016/S0004-3702（02）00187-X
[95] Truszczynski，M.：非单调理论的强一致等价：代数方法。收录于：加利福尼亚州门罗公园AAAI KR 2006年会议记录（2006）·Zbl 1118.68161号
[96] Turner，H.：逻辑程序和缺省理论的强等价性（很容易实现）。In：程序。《逻辑编程和非单调推理》，LPNMR’01，LNAI 2173，第81–92页。施普林格，柏林-海德堡-纽约（2001）·Zbl 1007.68025号
[97] Turner，H.：很容易实现强等价：嵌套表达式和权重约束。西奥。Prac.实践。日志。掠夺。3, 609–622 (2003) ·Zbl 1079.68017号 ·网址：10.1017/S1471068403001819
[98] Turner，H.：因果理论的强等价性。收录：Lifschitz，V.，Niemelä，I.（编辑）Proc。《逻辑编程和非单调推理》，LPNMR’04，LNAI 2923，第289-301页。施普林格，柏林-海德堡-纽约（2004）·兹比尔1122.68629
[99] Vakarelov，D.：关于N格和强nxegotion的构造逻辑的注释。螺柱日志。36(1–2), 109–125 (1977) ·兹伯利0385.03055 ·doi:10.1007/BF02121118
[100] Valverde，A.：tabeql：平衡逻辑的基于表格的套件。Alferes，J.J.，Leite，J.（编辑）《人工智能中的逻辑》，Proc。JELIA 2004，LNAI 3229，第734–737页，Springer，Berlin Heidelberg New York（2004）·Zbl 1111.68692号
[101] Vorob'ev，N.N.：一种带有强否定的构造性命题演算（俄语）。多克。阿卡德。诺克SSSR 85、465–468（1952）
[102] Vorob'ev，N.N.：带强否定的构造命题演算中的可演绎性问题（俄语）。多克。阿卡德。诺克SSSR 85、689–692（1952）
[103] 王凯、臧：嵌套认知逻辑程序。收录人：Baral，C.等人（编辑），Proc。LPNMR 2005，LNAI 3229，第279-290页，施普林格，柏林-海德堡-纽约（2005）·兹比尔1152.68418
[104] Woltran，S.：从理论到实践的量化布尔公式。维也纳理工大学信息系统研究所论文（2003年）
[105] Woltran，S.：答案集编程中相对化等价概念的特征描述。In:Alferes，J.J.，Leite，J.（编辑）《人工智能中的逻辑》，Proc。JELIA 2004，LNAI 3229，Springer，Berlin Heidelberg New York（2004）·Zbl 1111.68695号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。