Explainable AI Using Expressive Boolean Formulas

...

In this problem we have two competing objectives: maximizing the performance of the algorithm, while minimizing its complexity. Thus, rather than taking the typical approach of applying one of two optimization methods – combining multiple objectives into one or constraining one of the objectives – we chose to include both in our formulation. In doing so, and without loss of generality, we mainly use balanced accuracy as our overarching performance metric.

Also, by including operators like AtLeast, we were motivated by the idea of addressing the need for highly interpretable checklists, such as a list of medical symptoms that signify a particular condition. It is conceivable that a decision would be made by using such a checklist of symptoms in a manner by which a minimum number would have to be present for a positive diagnosis. Similarly, in finance, a bank may decide whether or not to provide credit to a customer based on the presence of a certain number of factors from a larger list. ...

See the full story here: