Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic [PDF]
We study a synthetic corpus based approach for language models (LMs) to acquire logical deductive reasoning ability. The previous studies generated deduction examples using specific sets of deduction rules.
Terufumi Morishita +3 more
semanticscholar +1 more source
FaiRR: Faithful and Robust Deductive Reasoning over Natural Language [PDF]
Transformers have been shown to be able to perform deductive reasoning on a logical rulebase containing rules and statements written in natural language. Recent works show that such models can also produce the reasoning steps (i.e., the proof graph) that
Soumya Sanyal, Harman Singh, Xiang Ren
semanticscholar +1 more source
Deductive Reasoning Under Uncertainty: A Water Tank Analogy
Guy Politzer
openalex +3 more sources
Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation [PDF]
Combining deep learning with symbolic logic reasoning aims to capitalize on the success of both fields and is drawing increasing attention. Inspired by DeepLogic, an end-to-end model trained to perform inference on logic programs, we introduce IMA-GloVe ...
Qiming Bao +6 more
semanticscholar +1 more source
Paradoxical Reasoning: An fMRI Study
Paradoxes are a special form of reasoning leading to absurd inferences in contrast to logical reasoning that is used to reach valid conclusions. A functional MRI (fMRI) study was conducted to investigate the neural substrates of paradoxical and deductive
Antigoni Belekou +10 more
doaj +1 more source
Perspective—Discovery Within Validation Logic: Deliberately Surfacing, Complementing, and Substituting Abductive Reasoning in Hypothetico-Deductive Inquiry [PDF]
Kristin Behfar, Gerardo A. Okhuysen
openalex +2 more sources
Reasoning processes in clinical reasoning: from the perspective of cognitive psychology [PDF]
Clinical reasoning is considered a crucial concept in reaching medical decisions. This paper reviews the reasoning processes involved in clinical reasoning from the perspective of cognitive psychology. To properly use clinical reasoning, one requires not
Hyoung Seok Shin
doaj +1 more source
Ensuring both interpretability and correctness is a great challenge in automated geometry problem solving (GPS), and the scarcity of labeled data hinders learning mathematical reasoning from samples. Therefore, we present GeoDRL, a self-learning geometry
Shuai Peng +4 more
semanticscholar +1 more source
Dissociating Language and Thought in Human Reasoning
What is the relationship between language and complex thought? In the context of deductive reasoning there are two main views. Under the first, which we label here the language-centric view, language is central to the syntax-like combinatorial operations
John P. Coetzee +5 more
doaj +1 more source
A Multitask, Multilingual, Multimodal Evaluation of ChatGPT on Reasoning, Hallucination, and Interactivity [PDF]
This paper proposes a framework for quantitatively evaluating interactive LLMs such as ChatGPT using publicly available data sets. We carry out an extensive technical evaluation of ChatGPT using 23 data sets covering 8 different common NLP application ...
Yejin Bang +12 more
semanticscholar +1 more source

