5、将计划转化为有限程序

将计划转化为有限程序

1. 引言

在人工智能和软件工程领域，自动编程一直是研究的热点。自动编程的目标是尽可能自动化计算机程序的开发，从而减少人为错误并提高效率。在这一过程中，将通用规划生成的计划转换为有限程序是一项关键步骤，它为后续的归纳程序综合奠定了基础。本文将探讨如何将通用规划生成的计划转换为有限程序，以实现程序的自动化生成。

2. 计划转换概述

2.1 计划转换的目的和重要性

计划转换是指将通用规划生成的计划转换为有限程序项，这些程序项可以作为输入用于后续的归纳程序综合步骤。通用计划是一个有向无环图（DAG），它代表了一个最优的、完全有序的动作（操作）序列，用于将计划中考虑的每个输入状态转换为期望的输出（目标）状态。每个状态都是计划中的一个节点，并且通常表示为领域对象（常量）上的原子集合。

例如，对于给定的状态 on(A, B), on(B, C), clear(A), ontable(C) ，应用动作 puttable(A) 的结果是 on(B, C), clear(A), clear(B), ontable(A), ontable(C) 。通过计划转换，我们可以将这种动作序列转换为一个可以被函数解释器评估的程序项。

3. 分解、类型推断和情境变量的引入

3.1 计划分解

如果一个通用计划由具有不同动作名称集合的部分组成，则将计划拆分为子计划。例如，一个部分仅使用 unload(x, y) ，另一个部分仅使用 load(x,