Teaching Probabilistic Logical Reasoning to Transformers

05/22/2023
by   Aliakbar Nafar, et al.
0

Recent research on transformer-based language models investigates their reasoning ability over logical rules expressed in natural language text. However, their logic is not yet well-understood as we cannot explain the abstractions made by the models that help them in reasoning. These models are criticized for merely memorizing complex patterns in the data, which often creates issues for their generalizability in unobserved situations. In this work, we analyze the use of probabilistic logical rules in transformer-based language models. In particular, we propose a new approach, Probabilistic Constraint Training (PCT), that explicitly models probabilistic logical reasoning by imposing the rules of reasoning as constraints during training. We create a new QA benchmark for evaluating probabilistic reasoning over uncertain textual rules, which creates instance-specific rules, unlike the only existing relevant benchmark. Experimental results show that our proposed technique improves the base language models' accuracy and explainability when probabilistic logical reasoning is required for question answering. Moreover, we show that the learned probabilistic reasoning abilities are transferable to novel situations.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/25/2022

RobustLR: Evaluating Robustness to Logical Perturbation in Deductive Reasoning

Transformers have been shown to be able to perform deductive reasoning o...
research
08/11/2023

Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic

We study a synthetic corpus-based approach for language models (LMs) to ...
research
05/23/2023

Concept-aware Training Improves In-context Learning Ability of Language Models

Many recent language models (LMs) of Transformers family exhibit so-call...
research
10/07/2022

Out-of-Distribution Generalization in Algorithmic Reasoning Through Curriculum Learning

Out-of-distribution generalization (OODG) is a longstanding challenge fo...
research
11/25/2022

TRAC: A Textual Benchmark for Reasoning about Actions and Change

Reasoning about actions and change (RAC) is essential to understand and ...
research
08/18/2023

How susceptible are LLMs to Logical Fallacies?

This paper investigates the rational thinking capability of Large Langua...
research
09/20/2021

Neural Unification for Logic Reasoning over Natural Language

Automated Theorem Proving (ATP) deals with the development of computer p...

Please sign up or login with your details

Forgot password? Click here to reset