Skip to main content
. 2008 Jul 1;24(13):i304–i312. doi: 10.1093/bioinformatics/btn157

Fig. 2.

Fig. 2.

Undercutting an argument in ASPIC. The first rule states that Conclusion is true when Premise 1 and Premise 2 are both true. This rule is assigned the name ID_1. The second rule states that when Premise 3 and Premise 4 are both true, the rule called ID_1 cannot be applied.