Situation Calculus

定义 Definition（中文）

情境演算：人工智能与形式逻辑中的一种形式化方法，用来描述“世界随动作而变化”的过程。它通常用来表示动作（actions）、情境/状态（situations）以及某个事实在某个情境下是否成立（fluents），常见于规划（planning）与知识表示（knowledge representation）领域。（也有人把它泛指为“用逻辑来刻画动态系统”的一类框架。）

发音 Pronunciation（IPA）

/ˌsɪtʃuˈeɪʃən ˈkælkjʊləs/

例句 Examples

The situation calculus can represent how actions change the world.
情境演算可以表示动作如何改变世界。

Using situation calculus, we can formalize a robot’s beliefs about what is true after a sequence of actions, even when some information is missing.
借助情境演算，我们可以把机器人在一连串动作之后对“哪些事实为真”的信念形式化，即使信息并不完整也可以表达。

词源 Etymology（中文）

situation 来自拉丁语 situatio（位置、处境），强调“所处的状态/情境”；calculus 来自拉丁语 calculus（小石子），古人用小石子计数，后来引申为“计算/演算”。合起来的 situation calculus 字面意思是“对情境进行的演算/逻辑计算”，在AI中则专指用逻辑规则刻画动作导致的状态变化的框架（与约翰·麦卡锡 John McCarthy 的早期工作关系密切）。

相关词 Related Words

• Action
• Axiom
• Fluent
• Frame Problem
• Knowledge Representation
• Logic
• Planning
• Predicate Logic

文献与著作 Literary Works（出现/讨论较多的著作）

• John McCarthy 等人的早期论文（20世纪60年代）中提出并发展了用情境来表示动作结果的思想，奠定情境演算体系基础。
• Raymond Reiter, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems（系统阐述并推进情境演算与动作理论）。
• Stuart Russell & Peter Norvig, Artificial Intelligence: A Modern Approach（在知识表示、推理与规划相关章节中讨论情境演算及相关思想）。