Teaching Probabilistic Logical Reasoning to Transformers

Aliakbar Nafar, K. Brent Venable, Parisa Kordjamshidi


Abstract
In this paper, we evaluate the capability of transformer-based language models in making inferences over uncertain text that includes uncertain rules of reasoning. We cover both Pre-trained Language Models (PLMs) and generative Large Language Models (LLMs). Our evaluation results show that both generations of language models struggle with reasoning over uncertain text. We propose a novel end-to-end fine-tuning approach, Probabilistic Constraint Training (PCT), that utilizes probabilistic logical rules as constraints in the fine-tuning phase without relying on these rules in the inference stage. To assess the effectiveness of PCT, we utilize the related corpora and, additionally, create a new and more challenging benchmark that, unlike the previous ones, uses instance-specific rules. Our study demonstrates that PCT improves the transformer-based language model’s intrinsic reasoning and makes their probabilistic logical reasoning process more explicit and explainable. Furthermore, PCT equips these models to effectively handle novel situations, including higher reasoning depth, new domains, and complex probabilistic structures.
Anthology ID:
2024.findings-eacl.112
Volume:
Findings of the Association for Computational Linguistics: EACL 2024
Month:
March
Year:
2024
Address:
St. Julian’s, Malta
Editors:
Yvette Graham, Matthew Purver
Venue:
Findings
SIG:
Publisher:
Association for Computational Linguistics
Note:
Pages:
1615–1632
Language:
URL:
https://aclanthology.org/2024.findings-eacl.112
DOI:
Bibkey:
Cite (ACL):
Aliakbar Nafar, K. Brent Venable, and Parisa Kordjamshidi. 2024. Teaching Probabilistic Logical Reasoning to Transformers. In Findings of the Association for Computational Linguistics: EACL 2024, pages 1615–1632, St. Julian’s, Malta. Association for Computational Linguistics.
Cite (Informal):
Teaching Probabilistic Logical Reasoning to Transformers (Nafar et al., Findings 2024)
Copy Citation:
PDF:
https://preview.aclanthology.org/nschneid-patch-4/2024.findings-eacl.112.pdf
Software:
 2024.findings-eacl.112.software.zip
Note:
 2024.findings-eacl.112.note.zip
Video:
 https://preview.aclanthology.org/nschneid-patch-4/2024.findings-eacl.112.mp4