STRIPS-WM：从图像中学习接地的命题式 STRIPS 世界模型

STRIPS-WM 提出一种直接从图像转移中学习 STRIPS 式世界模型的框架，用于长程视觉操作规划。该方法先从图像归纳有限抽象转移图，再为每个动作标签学习潜在二值谓词和带稀疏前置条件与增删效果的接地命题算子，最后将谓词蒸馏进视觉编码器，使经典规划可直接从新起始与目标图像执行。