×

获得常识的两种方法。 (英语) Zbl 1345.03027号

Bolander,Thomas(编辑)等人,《第六届模式方法研讨会论文集》(M4M-6 2009),丹麦哥本哈根,2009年11月12-14日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记26283-98(2010)。
摘要:如果将公共知识视为最大的固定点,那么基于证据的公共知识系统应该是什么样子还不清楚。本文是实现这一系统的初步步骤。我们认为,标准归纳规则不适合公理化基于证据的公共知识。作为替代,我们研究两种不同的演绎系统,用于公共知识的逻辑。第一个系统使用归纳公理,而第二个系统基于共归纳证明理论。我们展示了这两个系统的可靠性和完整性。
关于整个系列,请参见[Zbl 1281.03003号].

MSC公司:

03B42型 知识和信念的逻辑(包括信念变化)
03财年03 一般证明理论(包括证明理论语义)
68T27型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 阿尔贝鲁奇,L。;Jäger,G.,《关于常识逻辑的删减消去》,《纯粹逻辑与应用逻辑年鉴》,第133期,第73-99页(2005年)·Zbl 1067.03062号
[2] Antonakos,E.,《合理和常识:有限保守性》,(Artemov,S.N.;Nerode,A.,《计算机科学的逻辑基础》,2007年国际研讨会,LFCS 2007,美国纽约州纽约市,2007年6月4日至7日。计算机科学逻辑基础。计算机科学的逻辑基础,国际研讨会,LFCS 2007,美国纽约州纽约市,2007年6月4-7日,计算机科学讲稿,4514(2007),1-11,论文集·Zbl 1132.03319号
[3] Artemov,S.N.,《操作模态逻辑》,技术报告MSI 95-29,康奈尔大学(1995)。统一资源定位地址http://www.cs.gc.cuny.edu/sartemov/publications/MSI95-29.ps;Artemov,S.N.,《操作模态逻辑》,技术报告MSI 95-29,康奈尔大学(1995)。统一资源定位地址http://www.cs.gc.cuny.edu/sartemov/publications/MSI95-29.ps
[4] Artemov,S.N.,《显式可证明性和构造语义》,《符号逻辑公报》,第7期,第1-36页(2001年),网址·Zbl 0980.03059号
[5] Artemov,S.N.,合理的常识,理论计算机科学,357,4-22(2006),网址·邮编1094.03005
[6] Artemov,S.N.,论证逻辑,符号逻辑评论,1477-513(2008)·兹比尔1205.03027
[7] Artemov,S.N.和R.Kuznets,《逻辑全知作为计算复杂性问题》,载于:a.Heifetz,编辑,《理性和知识的理论方面》,《第十二届会议论文集》(TARK 2009),2009年,第14-23页。统一资源定位地址http://dx.doi.org/10.1145/1562814.1562821; Artemov,S.N.和R.Kuznets,《逻辑全知作为计算复杂性问题》,载于:a.Heifetz,编辑,《理性和知识的理论方面》,《第十二届会议论文集》(TARK 2009),2009年,第14-23页。统一资源定位地址http://dx.doi.org/10.1145/1562814.1562821
[8] 布拉德菲尔德,J。;Stirling,C.,Modal mu-calculi,(Blackburn,P.;van Benthem,J.;Wolter,F.,《模态逻辑手册》,《逻辑和实践推理研究》,3(2007),Elsevier),721-756·Zbl 1114.03001号
[9] Dax,C。;霍夫曼,M。;Lange,M.,线性时间微积分的证明系统,(Arun-Kumar,S.;Garg,N.,FSTTCS 2006:软件技术和理论计算机科学基础。FSTTCS 2006:软件技术和计算机理论科学基础,第26届国际会议,印度加尔各答,2006年12月13日至15日。FSTTCS 2006:软件技术和理论计算机科学基础。FSTTCS 2006:软件技术和理论计算机科学基础,第26届国际会议,印度加尔各答,2006年12月13日至15日,计算机科学讲稿,4337(2006),273-284,会议记录·Zbl 1163.03308号
[10] 费金,R。;Halpern,J.Y。;摩西,Y。;M.Y.Vardi,《知识推理》(1995),麻省理工学院出版社·Zbl 0839.68095号
[11] Fitting,M.,《证明的逻辑,语义上》,《纯粹逻辑和应用逻辑年鉴》,132,1-25(2005)·Zbl 1066.03059号
[12] 库兹涅茨,R.,《认知逻辑中的自我参照证明》,《计算系统理论》(2009年),《在线优先》·Zbl 1216.03037号
[13] Martin,D.A.,Borel确定性,数学年鉴,102363-371(1975),网址·Zbl 0336.02049号
[14] Meyer,J.-J.Ch。;van der Hoek,W.,《人工智能和计算机科学的认识逻辑》(剑桥理论计算机科学丛书,41(1995),剑桥大学出版社)·Zbl 0868.03001号
[15] 尼文斯基,D。;Walukiewicz,I.,微积分游戏,理论计算机科学,16399-116(1996)·Zbl 0872.03017号
[16] 斯特林,C。;Walker,D.,模态微积分中的局部模型检验,理论计算机科学,89161-177(1991)·Zbl 0745.03027号
[17] 斯特雷特,R.S。;Emerson,E.A.,命题微积分的自动机理论决策程序,信息与计算,81,249-264(1989)·Zbl 0671.03023号
[18] Studer,T.,关于模态微积分的证明理论,Studia Logica,89,343-363(2008)·Zbl 1163.03014号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。