简单的流口水规则无法在optaplanner中进行优化

如何解决简单的流口水规则无法在optaplanner中进行优化

我遇到了一个（很新的）非常简单的优化问题：一个完整​​的（学术）程序包含几个模块。每个模块都有权重，可以在半年的某个时间（第一年或第二年）给出。我们想为学生优化“轨迹”（因此，一个学生可能已经通过了一些课程）。我现在正在做的是：一整年的权重至少为27，一个学期的权重不能超过30。这是我作为规则添加的内容：

rule "max weight per semester (per academic year)"
    when
        Module( $semester : semester,$year : year )
        $semesterWeight : Number(intValue > 30) from accumulate(
            Module(semester == $semester,year == $year,$weight : weight),sum($weight))
    then
        scoreHolder.addHardConstraintMatch(kcontext,30 - $semesterWeight.intValue());
end

rule "min weight per academic year"
    when
        Module( $year : year )
        $semesterWeight : Number(intValue <= 27) from accumulate(
            Module(year == $year,(27 - $semesterWeight.intValue()) * 6 );
end

因此，如果像这样阅读它们：

1. 对于每个学期$semester和年份$year的模块，进行优化，以使$year和$semester中的所有模块的总和至少为30
2. 对于$year年中的每个模块，进行优化，以使该年中所有模块的权重之和至少为27。

但是，optaplanner似乎无法对此进行优化。结果，那里只有几个模块（我只是在尝试optaplanner）：

648hard/0medium/0soft
1-AcademicYear(start=2020): [6/SdI/1]
1-AcademicYear(start=2014): [3/BUI./1]
1-AcademicYear(start=2019): [6/.PS/1]
2-AcademicYear(start=2017): [6/COMP.fig/1]
1-AcademicYear(start=2013): [6/INFOSYSI/1]

因此，它将所有模块放在一个单独的学年中。我不明白为什么optaplanner会这样做，因为这对我来说有点违反直觉。据我了解，optaplanner确实很适合，应该在同一年就将这些模块投入使用。但事实并非如此。我没有在配置中放入任何优化配置：

<solver>
    <scanAnnotatedClasses/>

    <scoreDirectorFactory>
        <scoreDrl>pdtscoreRules.drl</scoreDrl>
    </scoreDirectorFactory>

    <termination>
        <secondsspentLimit>10</secondsspentLimit>
    </termination>
</solver>

我做错了规则吗，还是我错过了其他东西？ （看来Optaplanner没有尝试不同的学年。）

解决方法

简单的流口水规则，但我应该让他们写对：

rule "min weight per academic year"
    when
        Module( $year : year )
        $semesterWeight : Number(intValue <= 27) from accumulate(
            Module(year == $year,$weight : weight),sum($weight))
    then
        scoreHolder.addHardConstraintMatch(kcontext,(27 - $semesterWeight.intValue()) * 6 );
end

它不是强制性约束的负数，而是可能的。我不得不颠倒27 - $semesterWeight.intValue()中的条款。