20、数值计算中的智能：基于解释的学习方法

数值计算中的智能：基于解释的学习方法

1. 支配条件证明所需的谓词

在数值计算的智能领域，对于流车间调度问题，我们需要一些谓词来证明支配条件。以下是所需的谓词列表：
| 谓词 | 描述 |
| — | — |
| (Dominates? ?x ?y) | 判断 ?x 是否支配 ?y |
| (Output - intersituationalvariables? ?v) | 输出情境间变量 |
| (looser - constraints - on - variables? ?vars ?x ?y) | 变量 ?x 对变量集 ?vars 的约束比 ?y 宽松 |
| (looser - constraint - on - variable ?d ?x ?y) | 变量 ?x 对变量 ?d 的约束比 ?y 宽松 |
| (Intersituational ?a) | 判断 ?a 是否为情境间变量 |
| (less - equal? ?a ?b ?x ?y) | 在 ?x 和 ?y 情境下，?a 小于等于 ?b |
| (Variable - in - con? ?b ?vl ?y) | 变量 ?b 在条件 ?vl 中且与 ?y 相关 |
| (Operational ?v) | 判断 ?v 是否可操作 |
| (State - variable - value ?Val, ?v) | 获取变量 ?v 的状态值为 ?Val |
| (form? ?c (?d?rel?a)) | 定义形式结构 |

如果没有变量，那么 (looser - constraints - on - vari