BriefGPT.xyz
Ask
alpha
关键词
possible world semantics
搜索结果 - 1
因果 Kripke 模型
在可能世界语义环境中,扩展了 Halpern 和 Pearl 关于实际因果模型的研究。使用这个框架,我们引入了一个带有模态运算符的实际因果逻辑,使得我们可以推理涉及多种可能性、时间性、知识和不确定性的因果关系。通过一些例子进行了说明,并讨论
→
PDF
a year ago
Prev
Next