Lexpedite / blawx

A user-friendly web-based tool for Rules as Code.
MIT License
105 stars 9 forks source link

Elide Explanations Based on Absence of Defeaters #416

Open Gauntlet173 opened 1 year ago

Gauntlet173 commented 1 year ago

In the defeasibility system, it will generate explanations that include lines like "nothing (else) defeats." The sub-goals in those explanations are worthless, and we should make sure they are cut off.