一种描述行动、状态变化与结果的逻辑形式。
情境演算像前台交接班记事本：谁刚办完入住、哪间房改了状态、下个班的人一翻就能接着干。
它用来表示动作前后世界怎么变，常用于规划、机器人和任务推演。
Knowledge Representation
它是知识表示中描述行动与世界变化的一种经典方法。
Frame Problem
它经常用来讨论动作发生后，哪些事实该变、哪些保持不变。
Agent
Agent 做任务规划时，可用它表示动作条件和执行结果。
Logic Programming
两者都属于符号主义方法，强调规则和显式推理。