AW: [rules-users] Truth maintenance

[Andreas Volz]

Thanks for the answer, David!

No, I haven't tried the built in phase control yet.
We thought that our solution (using the "ProcessPhaseController"-fact to control the rule flow) is the easiest way to achieve this.

If there's no way to exclude some facts from truth maintenance, I'll give the agenda groups a try...

Cheers, 
Andreas


-----Ursprüngliche Nachricht-----
Von: rules-users-bounces at lists.jboss.org im Auftrag von David Sinclair
Gesendet: Di 17.02.2009 22:39
An: Rules Users List
Betreff: Re: [rules-users] Truth maintenance
 
Have you considered using Drools built in phase control instead of your own?
Either agenda groups or a rule flow should do the trick and I neither of
these options affect logical inserts.

On Sun, Feb 15, 2009 at 4:07 PM, Andreas Volz <andreas.volz at valtech.de>wrote:

> Hi,
>
> I have a question concerning the truth maintenance mechanism in Drools:
> Is it possible to exclude some preconditions from truth maintenance?
>
> We want to implement a rule flow by using an attribute of a special
> fact (ProcessPhaseController.phase).
> We have some phases that we want to traverse. In each phase only some
> of our rules should be activated.
> Therefore all of our rules test for a certain phase; e.g.:
>
> when
>   ProcessPhaseController(phase == ProcessPhase.EXEC)
> ...
>
> When no rule of the current phase is activated, a special rule changes
> the phase to the next one and the rules of the next phase are evaluated.
>
> The problem now is that we have some rules with logical inserts. So
> each time the phase is changed, all of these inserts are retracted.
> To prevent this I would like to exclude the condition
> "ProcessPhaseController(phase == ProcessPhase.EXEC)" from truth
> maintenance. Is this possible?
>
> Thanks in advance!
>
> Cheers,
> Andreas
>
> --
> Andreas Volz
> Consultant
> mailto:andreas.volz at valtech.de
> Mobile: +49 173 5955343
>
> Valtech GmbH
> Zweigstraße 10
> 80336 München
> Germany
>
> Phone: +49 89 893242-0
> Fax: +49 89 893242-31
>
> http://www.valtech.de
>
> Geschäftsführer: Ingo Kriescher
> Amtsgericht Düsseldorf HRB48672
> _______________________________________________
> rules-users mailing list
> rules-users at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/rules-users
>