2)Star生成: Induce方法 ①事件e的各个选择符被放入PS( partial star)中将ps中的元素按 照各种标准排序. ⑨在ps中保留最优的m个选择符 ③对ps中的选择符进行完备性和一致性检查,从ps中取出完备 致的描述放入 SOLUTION表中,若 SOLUTION表的大小大于参数 #SOL,则转⑤.一致但不完备的描述从ps中取出放入表 CONSISTENT中,若 CONSISTENT表的大小大于参数#COS则转 ⑤ ④对每个表达式进行特殊化处理,所有得到的表达式根据优化标 准排列仅保留m个最优的重复步骤⑧, ⑥得到的一般化描述按优先标准排序,保留m个最优的表达式构 成约束Star( eNEG, m) 举例 例子集:表23 #SOL=22) Star生成: Induce方法 事件e的各个选择符被放入PS(partial star)中,将ps中的元素按 照各种标准排序. 在ps中保留最优的m个选择符. 对ps中的选择符进行完备性和一致性检查,从ps中取出完备一 致的描述放入SOLUTION表中,若SOLUTION表的大小大于参数 #SOL,则转.一致但不完备的描述从ps中取出放入表 CONSISTENT中,若CONSISTENT表的大小大于参数#COS,则转 ; 对每个表达式进行特殊化处理,所有得到的表达式根据优化标 准排列,仅保留m个最优的.重复步骤, . 得到的一般化描述按优先标准排序,保留m个最优的表达式构 成约束Star(e|NEG,m). 举例: 例子集: 表2.3 #SOL=2