×

兹马思-数学第一资源

答案集编程中的同义理论与知识表示。(英语) Zbl 1250.68254
本文介绍了同义词的概念,并对其进行了阐述。在第一个简明的部分,给出了同义理论在(可能是非蒙脱语)知识表示中的六个一般需求。然后,本文着重讨论了平衡(或答案集)语义下一阶理论的特殊形式,并发展了一个同义词理论。贝思性质是一个中心问题,在这个条件下,可定义性的两个定义对于一个逻辑是等价的,并且应该允许将所获得的理论推广到其他形式。最后,作者还提供了一个案例研究,其中所发展的理论被用来证明动态系统描述的两个形式化是等价的,这本身是一个不平凡的结果。

理学硕士:
68T30型 知识表示
03B20型 经典逻辑(包括直觉逻辑)的子系统
03B55型 中间逻辑
68N17 逻辑程序设计
68T27型 人工智能中的逻辑
03B70型 计算机科学中的逻辑
软件:
f2lp公司
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[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标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。