如何只更新相关事实、忽略无关变化的推理难题。
像武侠里你只挪了半步，旁观者没必要重算山河有没有移位；可 AI 常会把全世界都复盘一遍。
它影响常识推理和行动规划，尤其卡机器人、智能体在复杂环境里的决策。
Knowledge Representation
它是知识表示里的经典难题：怎样只更新该变的事实。
Agent
智能体做规划时，若样样重算，行动会又慢又笨。
World Model
世界模型需要知道什么变了、什么其实没变。
Nonmonotonic Reasoning
两者都关心前提变化后，推理该如何调整。