22、多值规划任务生成与性能分析

多值规划任务生成与性能分析

1. 前置算法基础

在逻辑规划中，初始时不变量显然为真，因为算法开始时没有封闭原子。若假设逻辑程序中谓词的元数受常数限制，那么计算规范模型的所有基本操作都能在常数时间内完成。该算法的运行时间通常与输入和输出（即计算出的规范模型）的组合大小大致呈线性关系。不过，若算法多次尝试将已属于规范模型的原子入队，运行时间可能会变长。

2. 公理和操作符实例化

借助规范模型，公理和操作符的实例化变得十分直接。为计算基础表示，我们按生成顺序扫描规范模型中的基础原子集，并按以下方式创建公理和操作符实例：
- 当遇到形式为 a-applicable(x1, ..., xk) 的原子（其中 a 是示意性公理）时，我们生成 a 的一个基础实例，并用 x1, ..., xk 替换其参数。
- 当遇到形式为 o-applicable(x1, ..., xk) 的原子（其中 o 是示意性操作符）时，我们生成 o 的一个无效果基础实例。与公理情况相同，操作符的参数用 x1, ..., xk 替换，前提条件也相应实例化。
- 当遇到形式为 e-triggered(x1, ..., xk, y1, ..., yl) 的原子（其中 e 是某个操作符 o 的效果）时，我们在已生成的基础操作符集中查找操作符 o(x1, .