×

兹马思-数学第一资源

基于邻域语义的优先条件逻辑顺序演算。(英语) Zbl公司 06519938
De Nivelle,Hans(编辑),《自动推理与分析表及相关方法》。第24届国际会议,表2015,Wrocław,波兰,2015年9月21-24日。会议记录。查姆:斯普林格(ISBN 978-3-319-24311-5/pbk;978-3-319-24312-2/电子书)。计算机科学讲义9323。人工智能课堂讲稿,115-134(2015)。
摘要:基本优先条件逻辑PCL,最初由Burgess提出,对反事实推理和似然推理的形式化都很感兴趣,因为它同时比刘易斯的反事实系统更通用,它包含KLM优先逻辑(P)作为一个片段用于默认推理。这种逻辑的特点是Kripke模型配备了三元关系语义,代表了与每个世界相关的世界之间的比较相似性/规范性评估。首先证明了它的语义可以用邻域模型等价地指定。在这种替代语义的基础上,给出了一种新的标记演算,它同时利用了世界和邻域标签。结果表明,该算法具有句法割消元功能,并通过添加适当的终止条件,提供了一个判定过程。
整个系列请参见[Zbl 1325.68016].

理学硕士:
68T15型 定理证明(演绎、解析等)(MSC2010)
软件:
巨像
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Alenda,R.,Olivetti,N.,Pozzato,G.L.:正常条件逻辑的嵌套序列计算。J。逻辑计算(2013)(在线出版)·Zbl公司 1444.03102
[2] 一些条件句逻辑的快速完备性证明。圣母院形式逻辑杂志 第22、76-84页(1981年)·Zbl公司 416.03020·内政部:10.1305/ndjfl/1093883341
[3] Chellas,B.F.:基本条件逻辑。J。哲学逻辑 4133–153(1975年)·Zbl公司 317.02029·doi:10.1007/BF00693270
[4] 戴克霍夫,R.,内格里,S.:中间逻辑的证明分析。数理逻辑档案 51、71–92(2012年)·Zbl公司 1241.03068·doi:10.1007/s00153-011-0254-7
[5] Garg,G.,Genovese,V.,Negri,S.:多模态逻辑中连续计算的反模型。In:LICS 2012,第315-324页(2012年)·Zbl公司 1364.03030·doi:10.1109/LICS.2012.42
[6] Giordano,L.,Gliozzi,V.,Olivetti,N.,Schwind,C.:基于偏好的条件逻辑的表演算:Pcl及其扩展。ACM传输。计算机。逻辑 2009年第10期(3期)·Zbl公司 1351.03019·数字标识码:10.1145/1507244.1507251
[7] Giordano,L.,Gliozzi,V.,Olivetti,N.,Pozzato,G.L.:非单调推理KLM逻辑的分析表演算。ACM传输。计算机。逻辑 10(3),1–47(2009年)·Zbl公司 1351.03004
[8] Friedman,N.,Joseph,Y.,Halpern,J.:论条件逻辑的复杂性。In:KR 1994,第202-213页(1994年)·doi:10.1016/B978-1-4832-1452-8.50115-9
[9] 《累积推理》,克兰诺斯,多尔曼斯多尔曼斯。人工智能 44(1-2),167-207(1990年)·Zbl公司 782.03012·内政部:10.1016/0004-3702(90)90101-5
[10] Lellmann,B.,Pattinson,D.:lewis条件逻辑的顺序系统。收件人:德尔塞罗,L.F.,赫齐格,A.,门金,J(编辑)JELIA 2012。LNCS,卷。 7519,第320-332页。斯普林格,海德堡(2012)·Zbl公司 1361.68238·doi:10.1007/978-3-642-33353-8_25
[11] 刘易斯:反事实。布莱克威尔(1973)
[12] Marti,J.,Pinsio,R.:条件句的拓扑语义学。在:丹čák、 嗯,双关语čoch公司ář, 五(eds.)The Logica Yearbook 2013.大学出版物(2014)·Zbl公司 1388.03021
[13] 奈格里:模态逻辑中的证明分析。J。哲学逻辑 34507–544(2005年)·Zbl公司 1086.03045·doi:10.1007/s10992-005-2267-3
[14] 非经典逻辑中的证明与反模型。泛逻辑 2014年8月25日至60日·Zbl公司 1339.03046·doi:10.1007/s11787-014-0097-1
[15] Negri,S.,von Plato,J.:证据分析。剑桥大学出版社(2011)·Zbl公司 1247.03001·内政部:10.1017/CBO9781139003513
[16] Negri,S.,Sbardolini,G.:刘易斯反事实证据分析(已提交)(2014年),http://www.helsinki.fi/ 内格里/PALC.pdf·Zbl公司 1386.03028
[17] 条件逻辑中的主题。多德雷赫特,里德尔(1980)·Zbl公司 453.03016·doi:10.1007/978-94-009-8966-5
[18] Olivetti,N.,Pozzato,G.L.,Schwind,C.:标准条件逻辑的顺序演算和定理证明器。ACM传输。计算机。逻辑 8(4),1–51(2007年)·Zbl公司 1367.68253·数字标识码:10.1145/1276920.1276924
[19] 帕丁森,D.,Schrö应用于条件逻辑的一般模态割消。计算机科学中的逻辑方法 7(1)(2011年)·Zbl公司 1232.03049·doi:10.2168/LMCS-7(1:4)2011年
[20] 波洛克,J.:反事实的精辟理论。哲学逻辑杂志 10239–266(1981年)·Zbl公司 473.03017·doi:10.1007/BF00248852
[21] 雪儿öder,L.,Pattinson,D.,Hausmann,D.:具有谨慎单调性的条件逻辑的最优表。在:ECAI 2010,第707-712页(2010年)·Zbl公司 1211.68413
[22] 斯大纳克:条件句理论。重新开始(《逻辑理论研究》,牛津,第98-112页(1968年)·doi:10.1007/978-94-009-9117-0_2
[23] 条件逻辑的语义分析。理论 第36、23-42页(1970年)·Zbl公司 211.30601·doi:10.1111/j.1755-2567.1970.tb00408.x
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。