实体
Situation calculus
Situation calculus
PulseAugur coverage of Situation calculus — every cluster mentioning Situation calculus across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
为 Situation Calculus 提出新的反事实因果定义
研究人员在 Situation Calculus（一个用于推理动作和变化的形式系统）中引入了因果的新定义。这个新定义基于反事实分析，旨在推广现有的因果概念。所提出的方法扩展了 Halpern 和 Pearl 的 HP 理论，并与 Batusov 和 Soutchanski 开发的 achievement cause 概念相关，解决了析取效应中的细微差别。
-
新的情境演算方法处理产生义务的行为
本文在情境演算框架内引入了一种新颖的方法来解决产生义务的行为的框架问题。这类行为，例如开门后关门，会给执行这些行为的代理人带来义务。所提出的解决方案简化了在义务逻辑语义中使用的可访问性关系的现有描述，并与克里普克风格的可能世界语义保持一致。该工作扩展了基本动作理论和回归算子以适应这些产生义务的行为，确保义务除非被明确解除，否则会持续存在。