抽象和推理语料库的通用规划

文章预览

Generalized Planning for the Abstraction and Reasoning Corpus 抽象和推理语料库的通用规划   https://arxiv.org/abs/2401.07426 图6展示了GPAR的流水线草图，这是一个两阶段系统，使用GP来解决ARC任务。DSL生成阶段包括一组具有不同节点对象、属性和关系识别的抽象，以为每个ARC任务生成域文件和关联的实例文件，其中动作约束和重复移除确保域文件中只包含有用的动作方案，并使用独特的抽象。在程序综合阶段，通过实例化域文件中描述的动作方案和谓词，在实例文件中声明的对象或用户给定的指针上生成地面规划动作和测试动作，并根据给定的程序行生成goto指令。谓词和参数约束增加了生成的测试动作有用且面向目标的可能性。GP求解器PGP(v)利用用户输入、程序行n、指针Z和新颖性阈值v作为参数来实现应用部分和循环部分编程。PGP(v)的解决方案是一个规划程序Π，通 ………………………………