亚历山大·巴尔塔格;伊拉里亚州卡纳沃托;斯梅茨,索尼娅 因果代理和责任:STIT逻辑的细化。 (英语) Zbl 07607239号 亚历山德罗·佐丹尼(编辑)等,《高清晰度逻辑——逻辑语义学趋势》。根据2019年逻辑趋势会议上的陈述选择论文。查姆:斯普林格。趋势日志。螺柱日志。伦敦银行同业拆借利率。56, 149-176 (2021). 摘要:我们建议对STIT逻辑进行细化,使其适用于在代理可以相互干扰的基本多代理场景中对因果代理和责任进行建模。我们通过补充STIT语义来做到这一点,首先是用动作类型,其次是用动作之间的对立关系。我们利用这些新颖的元素来测试潜在因果关系基于对动作预期结果的直观概念,以及对实际因果关系根据法律文献,即但是为了和NESS测试。然后,我们引入了三个新的STIT操作符来建模相应的因果责任概念,我们称之为潜力,强大、和明确的责任,并使用它们对涉及单个代理和组的许多案例研究进行细粒度分析。关于整个系列,请参见[Zbl 1485.03011号]. 引用于1文件 MSC公司: 03B42号 知识和信念的逻辑(包括信念变化) 03B45号 模态逻辑(包括规范逻辑) PDF格式BibTeX公司 XML格式引用 \textit{A.Baltag}等人,《趋势日志》。螺柱日志。伦敦银行同业拆借利率。56、149--176(2021;Zbl 07607239) 全文: 内政部