Recent years have seen the surge in machine learning applications within various fields. As practitioners seek to utilize machine learning methods in areas that affect our day-to-day lives, accountability and verification is still seen as the largest obstacle to mass adoption. Despite research advancements in the interpretability of deep learning models, the massive amount of rules generated by these methods do not allow a human to understand the models any better. To allow better understanding

more »

... of huge and complex logic programs, we propose a method that utilizes graph embedding to cluster the atoms and simplifies the resulting program. We perform several experiments to prove the effectiveness of our method, and also show that the resulting program is much easier to read and understand than the original program.