Abduction is a long studied task in AI, where normally, both the observation (hypothesis) and the domain knowledge (known fact) is represented in a formal language from which a logical solver abduces possible explanations (missing knowledge).
table 3: Compares (a) the number of correct facts that appears across any four passages (b) the number of correct facts that appears in the passage of the correct hypothesis (c) the accuracy for tF-IDF, BERt model trained on StS-B dataset and BERt model trained on OpenBook dataset.