Abduction is a kind of nonmonotone logic initially proposed in the 1870s by Charles Pierce. It tries to quantify patterns and come up ...