D.皮尔斯。;巴尔韦德，A。 答案集编程中的同义理论和知识表示。 （英语） Zbl 1250.68254号 J.计算。系统。科学。 78，第1期，86-104（2012）. 本文介绍了同义词的概念，并对其进行了阐述。在第一个简明的部分中，给出了同义理论在（可能是非蒙脱的）知识表示中的六个一般要求。然后，本文着重于平衡（或答案集）语义学下一阶理论的特殊形式主义，并为其发展了同义词理论，在一个条件下，可定义性的两个定义对于一个逻辑是等价的，并且应该允许将所获得的理论也推广到其他形式，这一条件起着核心作用。最后，作者还提供了一个案例研究，其中使用发展的理论证明了动态系统描述的两种形式化是等价的，这本身就是一个重要的结果。审核人：沃尔夫冈·费伯（维也纳） 引用于5文件 MSC公司： 68立方英尺 知识表示 03B20型 经典逻辑子系统（包括直觉逻辑） 03B55号 中间逻辑 68N17号 逻辑编程 68T27型 人工智能中的逻辑 03B70号 计算机科学中的逻辑 关键词：答案集编程;平衡逻辑;同义理论;可解释性理论;Beth财产 软件：f2低压 PDF格式BibTeX公司 XML格式引用 \textit{D.Pearce}和\textit{A.Valverde}，J.Compute。系统。科学。78，第1号，86-104（2012；Zbl 1250.68254） 全文： 内政部 参考文献： [1] Lifschitz，V。；皮尔斯，D。；Valverde，A.，《变量逻辑程序强等价性的表征》，（Baral，C.；Brewka，G.；Schlipf，J.S.，LPNMR.LPNMR，《计算科学讲义》，第4483卷（2007），Springer），188-200·Zbl 1149.68335号 [2] D.Pearce，A.Valverde，定量平衡逻辑和答案集程序的基础，in：de la Banda和Pontelli[61]；D.Pearce，A.Valverde，定量平衡逻辑和答案集程序的基础，in：de la Banda和Pontelli[61]·Zbl 1185.68175号 [3] Janhunen，T.，《论非单调逻辑的互译性》，《数学年鉴》。Artif公司。智力。，27, 79-128 (1999) ·Zbl 0941.03028号 [4] 塞拉利昂，北卡罗来纳州。；Pfeifer，G。；Faber，W。；艾特，T。；Gottlob，G。；佩里，S。；Scarcello，F.，知识表示和推理的dlv系统，ACM Trans。计算。日志。，7，3499-562（2006年）·Zbl 1367.68308号 [5] Janhunen，T。；尼美拉，I。；Seipel博士。；西蒙斯，P。；You，J.-H.，《在稳定模型语义中展开偏爱和析取》，ACM Trans。计算。日志。，7, 1, 1-37 (2006) ·Zbl 1367.68035号 [6] 西蒙斯，P。；尼美拉，I。；Soininen，T.，《扩展和实现稳定模型语义》，Artif。智力。，138, 1-2, 181-234 (2002) ·Zbl 0995.68021号 [7] M.Balduccini、M.Gelfond、R.Watson、M.Nogueira，《美国顾问：答案集规划的案例研究》，载于：Eiter等人[60]；M.Balduccini、M.Gelfond、R.Watson、M.Nogueira，《美国顾问：答案集规划的案例研究》，载于：Eiter等人[60]·Zbl 1010.68800号 [8] F.Calimeri，S.Galizia，M.Ruffolo，P.Rullo，增强本体规范的析取逻辑编程，见：F.Buccafuri（Ed.），Proc。2003年AGP第63-74页。；F.Calimeri，S.Galizia，M.Ruffolo，P.Rullo，《增强本体规范的析取逻辑编程》，收录于：F.Buccafurri（编辑），Proc。2003年AGP第63-74页。 [9] Baral，C.，《知识表示、推理和陈述式问题解决》（2003），剑桥大学出版社·Zbl 1056.68139号 [10] 皮尔斯，D。；Valverde，A.，《走向非单调推理的一阶平衡逻辑》（Alferes，J.J.；Leite，J.A.，JELIA.JELIA，《计算科学讲义》，第3229卷（2004），Springer），147-160·Zbl 1111.68687号 [11] 皮尔斯，D。；Valverde，A.，构造逻辑的一阶非单调扩张，Studia Logica，80，2-3，321-346（2005）·Zbl 1097.03020号 [12] 皮尔斯，D。；Valverde，A.，量化平衡逻辑（2006），技术报告，雷伊胡安·卡洛斯大学 [13] P.Ferraris，J.Lee，V.Lifschitz，《稳定模型的新视角》，载于：M.M.Veloso（编辑），IJCAI，2007年，第372-379页。；P.Ferraris，J.Lee，V.Lifschitz，《关于稳定模型的新观点》，载于：M.M.Veloso（编辑），IJCAI，2007年，第372-379页。 [14] Lee，J。；Lifschitz，V。；Palla，R.，《答案集编程中计数和选择的简化语义》（Fox，D.；Gomes，C.P.，《AAAI程序》，2008（2008），AAAI出版社），472-479 [15] J.Lee，V.Lifschitz，R.Palla，稳定模型一般理论中的安全公式（初步报告），见：de la Banda和Pontelli[61]；J.Lee，V.Lifschitz，R.Palla，稳定模型一般理论中的安全公式（初步报告），收录于：de la Banda和Pontelli[61]·Zbl 1185.68163号 [16] 海曼斯，S。；Nieuwenborgh，D.V。；Vermeir，D.，带保护程序的开放式答案集编程，ACM Trans。计算。日志。，9, 4, 26:2-26:53 (2008) ·Zbl 1367.68034号 [17] H.A.Kautz，B.Selman，规划作为可满足性，收录于：ECAI，1992年，第359-363页。；H.A.Kautz，B.Selman，《作为可满足性的规划》，载于：ECAI，1992年，第359-363页。 [18] V.Lifschitz，《因果计算器中的传教士和食人者》，KR 2000，第85-96页。；V.Lifschitz，《因果计算器中的传教士和食人者》，KR 2000，第85-96页。 [19] Balduccini，M。；Gelfond，M.，用序言进行诊断推理，理论与实践。日志。程序。，3, 4-5, 425-461 (2003) ·Zbl 1079.68094号 [20] P.Cabalar，规则体中的存在量词，in：Proc。第23届（约束）逻辑程序设计研讨会（WLP？09），2009年。；P.Cabalar，规则体中的存在量词，in：Proc。2009年第23届（约束）逻辑编程研讨会（WLP’09）。 [21] Lee，J。；Palla，R.，System f2lp-计算一阶公式的答案集，（Erdem，E.；Lin，F.；Schaub，T.，LPNMR，2009。LPNMR，2009年，计算机课堂讲稿。科学。，第5753卷（2009），施普林格），515-521 [22] Lifschitz，V。；皮尔斯，D。；Valverde，A.，《强等效逻辑程序》，ACM Trans。计算。日志。，2, 4, 526-541 (2001) ·Zbl 1365.68149号 [23] Jongh，D.D。；Hendriks，L.，《中间逻辑中强等价逻辑程序的表征》，理论与实践。日志。程序。，3, 3, 259-270 (2003) ·Zbl 1069.68538号 [24] H.Turner，逻辑程序和缺省理论的强等价（很容易），in：Eiter等人[60]；H.Turner，逻辑程序和缺省理论的强等价（很容易），in：Eiter等人[60]·Zbl 1007.68025号 [25] T.Eiter，M.Fink，G.Greco，D.Lembo，查询数据集成系统逻辑程序的有效评估，in：Palamidessi[62]；T.Eiter，M.Fink，G.Greco，D.Lembo，查询数据集成系统逻辑程序的有效评估，in：Palamidessi[62]·Zbl 1204.68080号 [26] D.Pearce，A.Valverde，平衡逻辑和逻辑程序的一致等价，in：Lifschitz和Niemelä[63]；D.Pearce，A.Valverde，平衡逻辑和逻辑程序的统一等价，in：Lifschitz和Niemelä[63]·Zbl 1122.68384号 [27] H.Turner，因果理论的强等价性，见：Lifschitz和Niemelä[63]；H.Turner，因果理论的强等价性，收录于：Lifschitz和Niemelä[63]·兹比尔1122.68629 [28] T.Eiter，M.Fink，H.Tompits，S.Woltran，在一致和强等价下简化逻辑程序，in：Lifschitz和Niemelä[63]；T.Eiter，M.Fink，H.Tompits，S.Woltran，在一致和强等价下简化逻辑程序，in：Lifschitz和Niemelä[63]·Zbl 1122.68369号 [29] 艾特，T。；特拉克斯勒，P。；Woltran，S.，《在非地面应答程序中识别规则替换的实现》，（Fisher，M.；van der Hoek，W.；Konev，B.；Lisitsa，A.，JELIA.JELIA，《计算科学讲义》，第4160卷（2006），Springer），477-480 [30] T.Eiter，H.Tompits，S.Woltran，《关于答案集编程中的解决方案通信》，摘自：Proc。第19届国际人工智能联合会议，IJCAI，2005年，第97-102页。；T.Eiter，H.Tompits，S.Woltran，《关于答案集编程中的解决方案通信》，摘自：Proc。第19届国际人工智能联合会议，IJCAI，2005年，第97-102页。 [31] 皮尔斯，D。；Valverde，A.，《答案集编程和平衡逻辑中的同义理论》，（de Mántaras，R.L.；Saitta，L.，ECAI Proc.，2004（2004），IOS出版社），388-392·Zbl 1250.68254号 [32] Pearce，D.，《可公度之路》，Synth。伦敦银行同业拆借利率。，第187卷（1987），Kluwer [33] 皮尔斯，D。；Rantala，V.，《元科学的新基础》，综合，56，1-26（1985） [34] Rantala，V.，《解释性翻译》，Synth。伦敦银行同业拆借利率。，第312卷（2002），Kluwer [35] de Bouvére，K.，同义词理论，（Addison，J.；Henkin，L.；Tarski，A.，《模型理论研讨会论文集》（1965），北荷兰：北荷兰阿姆斯特丹），402-406·Zbl 0221.02041 [36] Pinter，C.，《定义等价和解释下保留的属性》，Z.Math。Logik Grundl公司。数学。，24, 481-488 (1978) ·Zbl 0408.03028号 [37] Gelfond，M。；Lifschitz，V.，逻辑编程的稳定模型语义，（Bowen，K.；Kowalski，R.，第五届ICLP会议（1988），麻省理工出版社），1070-1080 [38] 皮尔斯，D.，《平衡逻辑》，《数学年鉴》。Artif公司。智力。，47, 1-2, 3-41 (2006) ·Zbl 1117.03039号 [39] van Dalen，D.，《逻辑与结构》（1997），施普林格出版社 [40] Hosoi，T.，《中间命题系统的公理化》，J.Fac。科学。东京大学，13，183-187（1966）·Zbl 0156.00802号 [41] S.Heymans，L.Predoiu，C.Feier，J.de Bruijn，D.V.Nieuwenborgh，G-hybrid knowledge bases，A.Polleres，S.Decker，G.G.Gupta，J.de-Buijn（编辑），摘自：Proc。ICLP’06研讨会ALPSWS，CEUR研讨会程序第196卷。，CEUR-WS.org，2006年，第39-54页。；S.Heymans，L.Predoiu，C.Feier，J.de Bruijn，D.V.Nieuwenborgh，G-hybrid knowledge bases，A.Polleres，S.Decker，G.G.Gupta，J.de-Buijn（编辑），摘自：Proc。ICLP’06研讨会ALPSWS，CEUR研讨会程序第196卷。，CEUR-WS.org，2006年，第39-54页。 [42] de Bruijn，J。；皮尔斯，D。；波勒斯，A。；Valverde，A.，《量化平衡逻辑和混合规则》（Marchiori，M.；Pan，J.Z.；de Sainte-Marie，C.，《RR汇编》，2007年）。程序。RR，2007年，计算机课堂讲稿。科学。，第4524卷（2007），施普林格），58-72 [43] P.Cabalar，答案集编程中的部分函数和等式，in：de la Banda和Pontelli[61]；P.Cabalar，答案集编程中的部分函数和等式，in：de la Banda和Pontelli[61]·Zbl 1185.68149号 [44] 林，F。；Wang，Y.，《带函数的应答集编程》（Brewka，G.；Lang，J.，KR 2008（2008）Proc.，AAAI Press），454-465 [45] F.Calimeri，S.Cozza，G.Ianni，N.Leonen，《ASP中的可计算函数：理论与实现》，收录于：de la Banda和Pontelli[61]；F.Calimeri，S.Cozza，G.Ianni，N.Leonen，《ASP中的可计算函数：理论与实现》，收录于：de la Banda和Pontelli[61]·兹比尔1185.68150 [46] 西姆库斯，M。；Eiter，T.，DNC:带函数符号的可判定非单调析取逻辑程序，（Dershowitz，N.；Voronkov，A.，LPAR.LPAR，《计算科学讲义》，第4790卷（2007），Springer），514-530·Zbl 1137.68334号 [47] Enderton，H.，《逻辑数学导论》（1972），学术出版社·Zbl 0298.0202号 [48] 加巴伊，D。；Maksimova，L.，《插值和定义：模态和直觉主义逻辑》，《牛津逻辑指南》，第46卷（2005年），牛津大学出版社·Zbl 1091.03001号 [49] Ono，H.，中间谓词逻辑的模型扩张定理和Craig’s插值定理，Rep.Math。逻辑，15，41-58（1983）·Zbl 0519.03016号 [50] Maksimova，L.，等式超直觉谓词逻辑中的插值，代数逻辑，36，543-561（1997）·Zbl 0969.03044号 [51] Maksimova，L.，《等式超直觉和模态谓词逻辑中的插值》（Kracht，M.；de Rijke，M.）；Wansing，H.；Zakharyaschev，M.，《模态逻辑的进展》，第一卷（1998年），CSLI出版物：CSLI出版社，斯坦福），133-141·Zbl 0914.03025号 [52] 艾特，T。；芬克，M。；托姆皮茨，H。；Woltran，S.，《关于消除稳定逻辑编程中的析取》，（Dubois，D.；Welty，C.A.；Williams，M.A.，《知识表示和推理原则：第九届国际会议论文集》（KR 2004）（2004），AAAI出版社），447-458 [53] de Bouvére，K.，逻辑同义词，Indag。数学。，27, 622-629 (1965) ·Zbl 0221.02042号 [54] Kanger，S.，等效理论，理论，38，1-6（1972）·兹布尔0263.02002 [55] Monk，J.，《数理逻辑》（1976），斯普林格·Zbl 0354.0202号 [56] 皮尔斯，D.，经验系统之间的一些关系，认识论，4363-380（1981） [57] Maksimova，L.，直觉逻辑与隐含可定义性，纯应用。逻辑，105，1-3，83-102（2000）·Zbl 0963.03044号 [58] 费拉里斯，P。；Lifschitz，V.，作为嵌套表达式的权重约束，理论与实践。日志。程序。，5, 1-2, 45-74 (2005) ·Zbl 1093.68017号 [59] S.T.Erdogan，V.Lifschitz，答案集编程中的定义：（扩展摘要），in：Palamidessi[62]；S.T.Erdogan，V.Lifschitz，答案集编程中的定义：（扩展抽象），in：Palamidessi[62] [60] （Eiter，T.；Faber，W.；Truszczynski，M.，《第六届逻辑程序设计和非单调推理国际会议论文集》（LPNMR 2001）。程序。第六届逻辑程序设计和非单调推理国际会议（LPNMR 2001），《计算讲义》。科学。，第2173卷（2001年），施普林格）·Zbl 0971.00048号 [61] （de la Banda，M.G.；Pontelli，E.，《第24届国际逻辑编程大会议事录》（ICLP 2008）。程序。第24届国际逻辑编程大会（ICLP 2008），计算机课堂讲稿。科学。，第5366卷（2008），施普林格）·Zbl 1154.68013号 [62] （Palamidessi，C.，《第19届逻辑程序设计国际会议议事录》（ICLP 2003）。程序。第19届逻辑程序设计国际会议（ICLP 2003），《计算讲义》。科学。，第2916卷（2003），施普林格）·Zbl 1029.00063号 [63] （Lifschitz，V.；Niemelä，I.，《第七届逻辑程序设计和非单调推理国际会议论文集》（LPNMR 2004）。程序。第七届逻辑程序设计与非单调推理国际会议（LPNMR 2004），《计算讲义》。科学。，第2923卷（2004），施普林格）·Zbl 1120.68006号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。