Davide just got a first cut of Defeasible Logic in Drools. This is like a super charged TMS implementation, that allows users to handle conflicts in logical insertions. It introduces the following rule annotations
@Defeats("rule1", "rule2", "rule3) // comma separated list of rules it defeats
The logical insertion now has a default value of "pos", but a second argument is provided to allow "neg" for negative to specific. Negative Logical insertions are inserted into the "neg" partition.
This post has NOT been accepted by the mailing list yet.
This is a really cool new feature. I'll have a more thorough read of the links you provide when I get some free time.
Very quick question though, is the idea that one "neg" is enough to remove a fact, regardless of how many rules support that fact? Or is it that there have to be more "neg" facts than "pos" for a fact to be removed?