Проблема написания LHS правил Drools / JBoss, где я сопоставляю один факт, а затем использую этот факт, чтобы определить, существует ли другой факт - PullRequest
Новая
       25

Проблема написания LHS правил Drools / JBoss, где я сопоставляю один факт, а затем использую этот факт, чтобы определить, существует ли другой факт

1 голос
/ 06 января 2009

Я использую Drools (впервые) для выражения некоторых правил, и до сих пор он работал очень хорошо. Однако мне дали новое условие, которое я не могу выразить на языке правил очень четко.

По сути, мне нужно выполнить действие на счете игрока, если у него есть непогашенный остаток на этом счете между определенной суммой, когда они не произвели платеж на прошлой неделе и где они не сделали платеж в последние 4 недели, которые больше или равны еженедельному вычету. Есть несколько других правил, но я удалил их, чтобы упростить правило для этого вопроса. Это последнее правило, которое вызывает у меня проблему. 

rule "The broken rule"
   salience 10
   no-loop
   when
      Player( $playerNumber : playerNumber )
      $a : Account( // balance between £5 and £100 and no arrangement
       playerNumber == $playerNumber &&
         accountBalanceInPence >= 500 &&
         accountBalanceInPence <= 10000
      )
      not ( // no payment in last week
         exists AccountTransaction(
            playerNumber == $playerNumber &&
            transactionDate >= oneWeekAgo &&
            transactionCode == "P" // payment
         )
      )
      /* It's this next bit that is broken */
      not ( // no payment > (weekly cost * 4) paid within last 4 weeks
         $deduction : AccountTransaction( // a recent transaction
            playerNumber == $playerNumber &&
            transactionDate >= fourWeeksAgo &&
            transactionCode == "D" // deduction
         )
         exists AccountTransaction( // the payment
            playerNumber == $playerNumber &&
            transactionDate >= fourWeeksAgo &&
            transactionCode == "P" // payment
            amountInPence >= ($deduction->amountInPence * 4)
         )
   )
   then
      // do some action to the account
end

Проблема в том, что это просто не работает, я продолжаю получать исключения org.drools.rule.InvalidRulePackage. Я только догадывался о синтаксисе, но не смог найти пример, который бы показал, что я пытаюсь сделать. Это вообще возможно?

Полное оригинальное сообщение об ошибке: 

"unknown:50:3 mismatched token: [@255,1690:1695='exists',<39>,50:3]; expecting type RIGHT_PAREN[54,4]: unknown:54:4 mismatched token: [@284,1840:1852='amountInPence',<7>,54:4]; expecting type RIGHT_PAREN[54,22]: unknown:54:22 Unexpected token '$payment'"

После попытки предположить в первом комментарии ошибка: 

"[50,3]: unknown:50:3 mismatched token: [@255,1690:1695='exists',<39>,50:3]; expecting type RIGHT_PAREN[54,4]: unknown:54:4 mismatched token: [@284,1840:1852='amountInPence',<7>,54:4]; expecting type RIGHT_PAREN[54,45]: unknown:54:45 mismatched token: [@293,1881:1881='*',<71>,54:45]; expecting type LEFT_PAREN[55,3]: unknown:55:3 mismatched token: [@298,1890:1890=')',<12>,55:3]; expecting type THEN"

Ответы [ 3 ]

1 голос
/ 06 января 2009

После еще одного взлома следующее не вызывает никаких ошибок во время выполнения (хотя я не уверен, что это "правильно" пока). Я переписал этот пункт, чтобы сопоставить факты с фактами, использовал инфикс и сгруппировал их. 

  not ( // no payment > (weekly cost * 4) paid within last 4 weeks
     exists (
        AccountTransaction( // a recent transaction
           playerNumber == $playerNumber &&
           transactionDate >= fourWeeksAgo &&
           transactionCode == "D" // deduction
           $recentDeducation : amountInPence
        ) and
        AccountTransaction( // the payment
           playerNumber == $playerNumber &&
           transactionDate >= fourWeeksAgo &&
           transactionCode == "P" // payment
           amountInPence >= ($recentDeducation * 4)
        )
     )
  )

Спасибо за всю помощь.

1 голос
/ 07 января 2009

да, как вы уже догадались, вам нужно поместить явные "и" внутри шаблона "не", чтобы объединить их вместе.

Единственный раз, когда вам не нужно "и", находится на верхнем уровне:

например 

when Foo() Bar()

Не требует "и"

но это неявно совпадает с 

when Foo() and Bar()

Так что ваше решение кажется правильным. Отсутствие верхнего уровня "и", кажется, является условным в большинстве языков правил (возвращаясь к CLIPS!)

0 голосов
/ 06 января 2009

А как насчет ($deduction->amountInPence * 4)? Я думаю, что -> должно быть ..

...