×

作为事件的操作。 (英语) Zbl 1272.03050号

摘要:我们提出了一个基于分支时间事件理论的动作理论,其中“特定”或“象征”动作被认为是从初始状态到结果的一组转换。我们还提出了一个简单的事件合成理论,通过该理论可以从其他事件中形成合成事件。通过组合的方式引入了各种动作,包括瞬时群动作和顺序群动作,并提出了一种扩展的代理stit理论,其中stit算子被组合或装备有具体化的群动作。

MSC公司:

03A05号 逻辑和基础的哲学和批判性方面
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Balbiani,P.、Herzig,A.和;Troquard,N.(2008)。另类公理学和审议理论的复杂性。《哲学逻辑杂志》,37387-406·Zbl 1151.03008号 ·doi:10.1007/s10992-007-9078-7
[2] Belnap,N.(1991)。克制之前:代理概念。埃尔肯特尼斯,34岁,137-169岁·doi:10.1007/BF00385718
[3] Belnap,N.(1995)。分支历史的结果。匹兹堡大学哲学系手稿。
[4] Belnap,N.(1996)。结果的想法。《塞尔维亚科学评论》,19–20,15–16·Zbl 0897.03056号
[5] Belnap,N.(2005)。因果关系理论:因果关系(起源原因)是分支时空中的inus条件。英国科学哲学杂志,56,221-253·Zbl 1084.83036号 ·doi:10.1093/bjps/axi115
[6] 北卡罗来纳州贝尔纳普;Perloff,M.(1988)。注意:代词的标准形式。Theoria,54175-199·doi:10.1111/j.1755-2567.1988.tb00717.x
[7] 北卡罗来纳州贝尔纳普;Perloff,M.(1993)。在代理领域。数学和人工智能年鉴,9,25-48·Zbl 0866.03009号 ·doi:10.1007/BF01531260
[8] Belnap,N.、Perloff,M.和;Xu,M.(2001)。面向未来:我们不确定世界中的代理人和选择。牛津:牛津大学出版社。
[9] Broersen,J.(2008a)。一个完整的知识和行动的stit逻辑,以及它的一些应用。M.Baldoni,T.C.Son,M.B.van Riemsdijk&M.Winikoff(编辑),声明代理语言和技术VI,DALT 2008。计算机科学课堂讲稿(第5397卷,第47-59页)。柏林,海德堡:施普林格·Zbl 1207.03021号
[10] Broersen,J.(2008b)。对“义务做”和“知情做”之间相互作用的逻辑分析。在R.van der Meyden&L.van der Torre(编辑),《计算机科学中的道义逻辑:第九届国际会议》,DEON 2008,卢森堡,卢森堡,2008年7月,会议记录。人工智能课堂讲稿(第5076卷,第140-154页)。柏林,海德堡:施普林格·Zbl 1143.03335号
[11] Broersen,J.、Herzig,A.和;Troquard,N.(2006年a)。将交替时间-时间逻辑嵌入代理的战略stit逻辑中。逻辑与计算杂志,16(5),559–578·2014年3月11日 ·doi:10.1093/log.com/exl025
[12] Broersen,J.、Herzig,A.和;Troquard,N.(2006年b)。ATL的静态扩展。M.Fisher(编辑),《第十届欧洲人工智能逻辑会议论文集》,JELIA 06。人工智能课堂讲稿(第4160卷,第69-81页)。柏林,海德堡:施普林格·Zbl 1152.68597号
[13] Broersen,J.、Herzig,A.和;Troquard,N.(2009年)。小组做什么、能做什么、知道他们能做什么:正常模态逻辑中的分析。应用非经典逻辑杂志,19(3),261-289·Zbl 1210.03015号 ·doi:10.3166/1月19日-261-290
[14] Brown,M.(1988)。关于能力的逻辑。哲学逻辑杂志,17,1-26·Zbl 0653.03003号 ·doi:10.1007/BF00249673
[15] Brown,M.(2008a)。表演、事件和行动。在R.van der Meyden&L.van der Torre(编辑),《计算机科学中的道义逻辑:第九届国际会议》,DEON 2008,卢森堡,卢森堡,2008年7月,会议记录。人工智能课堂讲稿(第5076卷,第19-33页)。柏林,海德堡:施普林格·Zbl 1143.03303号
[16] Brown,M.(2008b)。分支时间中的行为和动作。雪城大学哲学系手稿。在精确哲学学会第36届年会上发表。
[17] 坎贝尔,C.A.(1957)。关于自我和神性。乔治·艾伦(George Allen);纽约Unwin有限公司:麦克米兰公司。
[18] Chellas,B.(1969年)。命令的逻辑形式。斯坦福:佩里·莱恩出版社。
[19] Davidson,D.(1971)机构。R.Binkley、R.Bronaugh和;A.Marras(编辑),《代理人、行动和理由》。多伦多:多伦多大学出版社。转载于戴维森(1980),第43-61页。
[20] Davidson,D.(1980)《行动与事件论文》。牛津,纽约:牛津大学出版社。
[21] Horty,J.F.(1989)。另一个stit运算符。马里兰大学哲学系手稿。
[22] Horty,J.F.(2001)。代理和道义逻辑。牛津和纽约:牛津大学出版社·Zbl 1119.03313号
[23] Mackie,J.(1965年)。原因和条件。《美国哲学季刊》,第2245–255和261–264页。转载于[29],第15-38页。
[24] Mackie,J.(1974)。宇宙的水泥:因果关系研究。牛津:牛津大学出版社。
[25] 村上,Y.(2005)。功利主义道义逻辑。R.Schmidt、I.Pratt-Hartmann、M.Reynolds和;H.Wansing(编辑),《模态逻辑进展》(第5卷,第211–230页)。伦敦:国王学院出版·兹比尔1102.03004
[26] Prior,A.(1967)。过去、现在和未来。牛津:牛津大学出版社·Zbl 0169.29802号
[27] B.罗素(1914)。我们对外部世界的了解。伦敦:艾伦和安文·JFM 45.0122.03标准
[28] B.罗素(1936)。按时完成订单。《剑桥哲学学会会刊》,32116-228·JFM 62.0047.01号文件 ·doi:10.1017/S0305004100001766
[29] Sosa,E.(编辑)(1975年)。因果关系和条件句。Ely House,London W.1:牛津大学出版社。
[30] Thomason,R.H.(1970年)。不确定时间和真实值差距。理论,36264-281·Zbl 0269.02007 ·doi:10.1111/j.1755-2567.1970.tb00427.x
[31] 托马森,R.H.(1984a)。时态和情态的组合。在D.Gabbay;F.Guenthner(编辑),《哲学逻辑手册》(第2卷,第135–165页)。多德雷赫特:D.Reidel出版公司·Zbl 0875.03047号
[32] Thomason,S.K.(1984年b)。从事件构造瞬时。哲学逻辑杂志,13,85–96·Zbl 0556.03006号 ·doi:10.1007/BF00297578
[33] van Benthem,J.、Gerbrandy,J.和Hoshi,T;Pacuit,E.(2009年)。合并用于交互的框架。《哲学逻辑杂志》,38,491-526·Zbl 1185.03019号 ·doi:10.1007/s10992-08-9099-x
[34] van Benthem,J.和;Pacuit,E.(2006年)。行动中的知识树:走向共同的视角。在G.Governatori、I.Hodkinson和;Y.Venema(编辑),《模态逻辑进展》(第6卷,第87–106页)。伦敦:学院出版物·Zbl 1148.03009号
[35] von Kutschera,F.(1986年)。贝尔肯·埃尔肯尼斯(Bewirken.Erkentnis),24岁,253-281岁。
[36] von Kutschera,F.(1993)。因果关系。《哲学逻辑杂志》,22,563-588·Zbl 0790.03004号
[37] Wansing,H.(2006年)。表aux用于多智能体审议stit逻辑。在G.Governatori、I.Hodkinson和;Y.Venema(编辑),《模态逻辑进展》(第6卷,第503-520页)。伦敦:学院出版物·Zbl 1148.03008号
[38] Wiener,N.(1914年)。对相对位置理论的贡献。《剑桥哲学学会会刊》,17441-449·JFM 45.1150.10标准
[39] Wölfl,S.(2002)。命题Q逻辑。哲学逻辑杂志,31387-414·Zbl 1011.03010号 ·doi:10.1023/A:1020163602542
[40] Wölfl,S.(2005)。分支时间中的事件。Studia Logica,79,255–282·Zbl 1068.03015号 ·数字对象标识代码:10.1007/s11225-005-2978-z
[41] Xu,M.(1994年a)。具有多个代理的审议性stit理论的决定性。在D.M.Gabbay;H.J.Ohlbach(编辑),时间逻辑,第一届国际会议,1994年国际刑事法庭,德国波恩,会议记录。人工智能讲义(第827卷,第332–348页)。柏林,海德堡:施普林格·Zbl 0949.03501号
[42] Xu,M.(1994年b)。做,克制克制。哲学逻辑杂志,23621-632·Zbl 0813.03004号 ·doi:10.1007/BF01052780
[43] Xu,M.(1995)。忙碌的选择序列、克制的公式和方式。Studia Logica,54,267–301·兹比尔0824.03008 ·doi:10.1007/BF01053002
[44] Xu,M.(1997)。分支时间中的因果关系(I):转换、事件和原因。合成,112137-192·Zbl 0931.03008号 ·doi:10.1023/A:1004948726086
[45] Xu,M.(1998)。深思熟虑的公理。哲学逻辑杂志,27505-552·Zbl 0917.03007号 ·doi:10.1023/A:1004274131669
[46] Xu,M.(2010)。战略与行动的结合。《逻辑、语言与信息杂志》,19(4),485-503·Zbl 1216.03039号 ·数字对象标识代码:10.1007/s10849-009-9119-4
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。