×

兹马思-数学第一资源

皮尔斯，D。;Valverde，A。
答案集编程中的同义理论与知识表示。（英语） Zbl 1250.68254
J、 计算机。系统。科学。 第78期，第1期，86-104页（2012年）.
本文介绍了同义词的概念，并对其进行了阐述。在第一个简明的部分，给出了同义理论在（可能是非蒙脱语）知识表示中的六个一般需求。然后，本文着重讨论了平衡（或答案集）语义下一阶理论的特殊形式，并发展了一个同义词理论。贝思性质是一个中心问题，在这个条件下，可定义性的两个定义对于一个逻辑是等价的，并且应该允许将所获得的理论推广到其他形式。最后，作者还提供了一个案例研究，其中所发展的理论被用来证明动态系统描述的两个形式化是等价的，这本身是一个不平凡的结果。
审核人：沃尔夫冈费伯（威恩）

引用于2文件
理学硕士：
68T30型 知识表示
03B20型 经典逻辑（包括直觉逻辑）的子系统
03B55型 中间逻辑
68N17 逻辑程序设计
68T27型 人工智能中的逻辑
03B70型 计算机科学中的逻辑
关键词：
答案集编程;平衡逻辑;同义理论;可解释性理论;贝丝地产
软件：
f2lp公司
PDF格式 BibTeX公司 XML 引用
\texttit{D.Pearce}和\texit{A.Valverde}，J.Comput。系统。科学。78，第1号，86--104（2012年；Zbl 1250.68254）
全文： 内政部
参考文献：
[1] Lifschitz，V.；Pearce，D.；Valverde，A.，《带变量逻辑程序的强等价性特征》，（第188-200页）·Zbl 1149.68335
[2] D、 Pearce，A.Valverde，定量均衡逻辑与答案集程序的基础，载：de la Banda and Pontelli[61]，第546-560页。·Zbl 1185.68175
[3] 詹胡南，T.，《非单调逻辑的互译性》，安。数学。人工制品。国际期刊，27，79-128，（1999）·Zbl 0941.03028
[4] Leone，N.；Pfeifer，G.；Faber，W.；Eiter，T.；Gottlob，G.；Perri，S.；Scarlo，F.，《dlv知识表示与推理系统》，ACM trans。计算机。日志，7，3，499-562，（2006年）·Zbl 1367.68308号
[5] Janhunen，T.；NiemeläI.；Seipel，D.；Simons，P.；You，J.-H.《在稳定模型语义中展开偏好和析取》，ACM trans。计算机。日志，7，1，1-37，（2006年）·Zbl 1367.68035
[6] Simons，P.；Niemelä，I.；Soininen，T.，《扩展和实现稳定模型语义，人工制品》。国际期刊，138，1-2，181-234，（2002年）·Zbl 0995.68021
[7] M、 Balduccini，M.Gelfond，R.Watson，M.Nogueira，《美国顾问：答案集规划的案例研究》，载：Eiter等人[60]，第439-442页。·Zbl 1010.68800
[8] F、 Calimeri，S.Galizia，M.Ruffolo，P.Rullo，《本体规范的增强析取逻辑编程》，载：F.Buccafurri（编辑），Proc。2003年，2003年，第63-74页。
[9] 《知识表示、推理与陈述性问题解决》（2003），剑桥大学出版社·Zbl 1056.68139
[10] 《非单调推理的一阶平衡逻辑》，第147-160页·Zbl 1111.68687
[11] Pearce，D.；Valverde，A.，《构造逻辑的一阶非单调扩展》，《逻辑学研究》，80，2-3，321-346，（2005）·Zbl 1097.03020
[12] Pearce，D.；Valverde，A.，《定量平衡逻辑》（2006年），技术报告，雷伊·胡安·卡洛斯大学
[13] P、 Ferraris，J.Lee，V.Lifschitz，《稳定模型的新视角》，载：M.M.Veloso（编辑），IJCAI，2007，第372-379页。
[14] Lee，J.；Lifschitz，V.；Palla，R.，《答案集编程中计数和选择的还原语义》，第472-479页
[15] J、 Lee，V.Lifschitz，R.Palla，稳定模型一般理论中的安全公式（初步报告），载：de la Banda and Pontelli[61]，第672-676页。·Zbl 1185.68163
[16] Heymans，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页。
[18] 五、 Lifschitz，《因果计算器中的传教士和食人族》，载：KR 2000，第85-96页。
[19] Balduccini，M.；Gelfond，M.，《诊断推理与a-prolog》，理论实践。日志。程序，3，4-5，425-461，（2003年）·Zbl 1079.68094
[20] P、 卡巴拉，规则体中存在量词，in:Proc。第23届（约束）逻辑程序设计研讨会（WLP？09），2009年。
[21] 李，J.；帕拉，R.，《系统f2lp——计算一阶公式的答案集》，第515-521页
[22] Lifschitz，V.；Pearce，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，《逻辑程序和缺省理论的强等价性》（Make easy），载：Eiter等人[60]，第81-92页。·Zbl 1007.68025
[25] T、 《查询系统的有效程序》，第62页。·120ZB80.6804升
[26] D、 Pearce，A.Valverde，《平衡逻辑与逻辑程序的一致等价》，载：Lifschitz and Niemelä[63]，第194-206页。·Zbl 1122.68384
[27] H、 特纳，《因果理论的强等价性》，载：Lifschitz and Niemelä[63]，第289-301页。·Zbl 1122.68629
[28] T、 Eiter，M.Fink，H.Tompits，S.Woltran，统一与强等价下的简化逻辑程序，载：Lifschitz and Niemelä[63]，第87-99页。·Zbl 1122.68369
[29] Eiter，T.；Traxler，P.；Woltran，S.，《在非基本答案集程序中识别规则替换的实现》，第477-480页
[30] T、 艾特，H。汤姆皮茨，S。沃特兰，关于答案集编程中的解对应，in:Proc。第19届国际人工智能联席会议，2005年，第97-102页。
[31] 《答案集规划与平衡逻辑中的同义理论》，第388-392页·Zbl 1250.68254
[32] 皮尔斯，D.，《通约性之路》，综合。图书馆，第187卷，（1987年），Kluwer
[33] Pearce，D.；Rantala，V.，《元科学新基础》，Synthese，56，1-26，（1985年）
[34] 兰塔拉，V.，解释翻译，综合。图书馆，第312卷，（2002年），Kluwer
[35] 第402页，第406页，同义词·Zbl 0221.02041
[36] Pinter，C.，在定义等价和解释下保持的性质，Z.数学。罗迪克·格伦德尔。数学，24481-488，（1978）·Zbl 0408.03028
[37] 斯基利夫逻辑模型，1080
[38] 皮尔斯，D.，《平衡逻辑》，安。数学。人工制品。国际期刊，47，1-2，3-41，（2006年）·Zbl 1117.03039
[39] 范达伦，D.，《逻辑与结构》（1997），斯普林格
[40] 《中间命题系统的公理化》，J.fac。科学。东京大学，13183-187，（1966）·Zbl 0156.00802
[41] S、 Heymans，L.Predoiu，C.Feier，J.de Bruijn，D.V.Nieuwenborgh，G-hybrid知识库，A.Polleres，S.Decker，G.G.Gupta，J.de Bruijn（编辑），in:过程。ICLP第06期阿尔卑斯山研讨会，CEUR Workshop Proc.196卷，CEUR-WS.org，2006年，第39-54页。
[42] de Bruijn，J.；Pearce，D.；Polleres，A.；Valverde，A.，《量化平衡逻辑与混合规则》，第58-72页
[43] P、 卡巴拉，回答集编程中的部分函数与等式，in:de la Banda and Pontelli[61]，第546-560页。·Zbl 1185.68149
[44] 林飞，王勇，等.用函数进行答案集编程，（），第454-465页
[45] F、 Calimeri，S.Cozza，G.Ianni，N.Leone，《ASP中的可计算函数：理论与实现》，载：de la Banda and Pontelli[61]，第407-424页。·Zbl 1185.68150
[46] 《功能符号可判定非单调析取逻辑程序》，第514-530页·Zbl 1137.68334
[47] 《逻辑的数学导论》（1972），学术出版社·Zbl 0298.02002
[48] Gabbay，D.；Maksimova，L.，《插值和可定义性：模态和直觉逻辑》，牛津逻辑指南，第46卷，（2005），牛津大学出版社·Zbl 1091.03001号
[49] 中谓词逻辑的模型扩张定理和克雷格插值定理，数学代表。逻辑，15，41-58，（1983）·Zbl 0519.03016
[50] Maksimova，L.，《上义谓词逻辑中的插值与等式》，《代数逻辑》，36543-561，（1997）·Zbl 0969.03044
[51] 马西莫娃，L.，《等同性上义与模态谓词逻辑中的内插》，第133-141页·Zbl 0914.03025
[52] Eiter，T.；Fink，M.；Tompits，H.；Woltran，S.，《稳定逻辑编程中的析取消除》，第447-458页
[53] de Bouvere，K.，《逻辑同义词》，Indag。数学，27622-629，（1965年）·Zbl 0221.02042
[54] Kanger，S.，等效理论，Theoria，38，1-6，（1972）
[55] Monk，J.，《数理逻辑》（1976），斯普林格·Zbl 0354.02002
[56] 皮尔斯，D.，经验系统之间的一些关系，认识论，4363-380，（1981）
[57] 直觉逻辑与内隐可定义性，安。纯应用程序。逻辑，105，1-3，83-102，（2000）·Zbl 0963.03044
[58] Ferraris，P.；Lifschitz，V.，《作为嵌套表达式的权重约束》，理论实践。日志。程序，5，1-2，45-74，（2005年）·Zbl 1093.68017
[59] S、 T.Erdogan，V.Lifschitz，答案集编程中的定义：（扩展摘要），载：Palamidessi[62]，第483-484页。
[60] ()
[61] ()
[62] ()
[63] ()
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符，并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献，而不要求匹配的完整性或精确性。