The general case would be extremely difficult to solve. It would require heavy expression manipulation. Consider a very simple variation:
   X($f: foo)
   Y(bar == $f)
as compared to
   Y($b: bar)
   X(foo == $b)

And you can play this game at any level of complexity.

And even your "straightforward" case would require the consideration of rule attributes, since there would not be a conflict if they are in different agenda groups, etc.

-W



2010/12/30 Benson Fung <benson.redhat@gmail.com>:
> The conflict is like :
>
> E.g.
> If (X = 90) then Score = 10;
> If (X = 90) then Score = 100;
>
> Can the BRMS detect this?
>
>
>
> On Thu, Dec 30, 2010 at 5:52 PM, Wolfgang Laun <wolfgang.laun@gmail.com>
> wrote:
>>
>> Please define "conflict".
>> -W
>>
>> 2010/12/30 Benson Fung <benson.fung@redhat.com>:
>> > I would like to check if there is any conflict among the created rules
>> > in
>> > the BRMS 5.1.  Can the QA/Verify can check this out?
>> >
>> >
>> >
>> > On Thu, Dec 30, 2010 at 5:24 PM, Wolfgang Laun <wolfgang.laun@gmail.com>
>> > wrote:
>> >>
>> >> Please don't assume that everybody knows which "features" and
>> >> which "conflicts" and which "checks" you have in mind.
>> >> -W
>> >>
>> >> 2010/12/30 Benson Fung <benson.redhat@gmail.com>:
>> >> > Hi,
>> >> >
>> >> > Can anyone know whether QA features can provide the rule conflict
>> >> > checks?
>> >> >
>> >> >
>> >> > Thanks
>> >> >
>> >> > _______________________________________________
>> >> > rules-users mailing list
>> >> > rules-users@lists.jboss.org
>> >> > https://lists.jboss.org/mailman/listinfo/rules-users
>> >> >
>> >> >
>> >> _______________________________________________
>> >> rules-users mailing list
>> >> rules-users@lists.jboss.org
>> >> https://lists.jboss.org/mailman/listinfo/rules-users
>> >
>> >
>> >
>> > --
>> > Benson Fung
>> > Solution Architect, Global Services, Greater China
>> > | Redhat Hong Kong Limited || 45/F., The Lee Gardens, 33 Hysan Avenue,
>> > Causeway Bay, Hong Kong || Office : 852-31802332 || Cell : 852-98369898
>> > ||
>> > benson.fung@redhat.com || http://www.hk.redhat.com||
>> >
>> > _______________________________________________
>> > rules-users mailing list
>> > rules-users@lists.jboss.org
>> > https://lists.jboss.org/mailman/listinfo/rules-users
>> >
>> >
>>
>> _______________________________________________
>> rules-users mailing list
>> rules-users@lists.jboss.org
>> https://lists.jboss.org/mailman/listinfo/rules-users
>
>
> _______________________________________________
> rules-users mailing list
> rules-users@lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/rules-users
>
>