paper-with-me

Papers

Simple deductive reasoning tests and data sets for exposing limitation of today's deep neural networks

2021-01-01 · Kalidas Yeturu, Manish Kumar Srivastava

Learning for Deductive Reasoning is an open problem not yet explicitly called out in the machine learning world today. Deductive reasoning involves storing facts in memory and generation of newer facts over time. The concept of memory in deduction systems is fundamentally different from the representation of weights in a deep neural network. A majority of the machine learning models are inductive reasoning models including state of the art deep neural networks which are effectively tensor interpolation based models. The architecture of the underlying neuron today, can only enable it to perform simple arithmetic or a comparison test against a constant. A baby step towards realization of memory is through recurrent neural networks and its variants, however the formal representation is not sufficient enough to capture complexities. A success story of having deductive reasoning in the inductive reasoning based machine learning is the feature engineering step, however deep neural networks have tall claims to do away with this step. In this context, it is important to clarify what is and what is not possible with inductive machine learning approaches through rigorous studies and present to the scientific community in the form of data sets. In this paper, we have created 10 data sets for - (a) selection (3 data sets) - minimum, maximum and top 2nd element in an array of numbers; (b) matching (3 data sets) - duplicate detection, counting and histogram learning; (c) divisability tests (2 data sets) - divisability of two numbers and divisability by 3; (d) representation (2 data sets) - binary representation and parity. Though extremely simple in terms of feature engineering, in all of these tests, simple deep neural networks, random forest and recurrent neural networks have failed with very low accuracies. This clearly calls out representational limitations of the deep neural networks when it comes to memory. We propose these tests as the Devil’s Ten Tests on top of which newer methods can be introduced for Learning Models for Deductive Reasoning.

📄 PDF Abstract BibTeX

Code (0)

등록된 구현이 없습니다.

Tasks

BIG-bench Machine LearningFeature Engineering

Similar Papers 제목 키워드 기반

A criterion for Artificial General Intelligence: hypothetic-deductive reasoning, tested on ChatGPT

2023-08-05 · Louis Vervoort, Vitaliy Mizyakov, Anastasia Ugleva

We argue that a key reasoning skill that any advanced AI, say GPT-4, should master in order to qualify as 'thinking machine', or AGI, is hypothetic-deductive reasoning. Problem-solving or question-answering can quite gen…

ChatbotQuestion Answering

Boosting Deductive Reasoning with Step Signals In RLHF

2024-10-12 · Jialian Li, Yipin Zhang, Wei Shen, Yuzi Yan 외

Logical reasoning is a crucial task for Large Language Models (LLMs), enabling them to tackle complex problems. Among reasoning tasks, multi-step reasoning poses a particular challenge. Grounded in the theory of formal l…

Formal LogicLogical Reasoning

Can Pretrained Language Models (Yet) Reason Deductively?

2022-10-12 · Zhangdie Yuan, Songbo Hu, Ivan Vulić, Anna Korhonen 외

Acquiring factual knowledge with Pretrained Language Models (PLMs) has attracted increasing attention, showing promising performance in many knowledge-intensive tasks. Their good performance has led the community to beli…

Testing the General Deductive Reasoning Capacity of Large Language Models Using OOD Examples

2023-05-24 · NeurIPS 2023 11 · Abulhair Saparov, Richard Yuanzhe Pang, Vishakh Padmakumar, Nitish Joshi 외

Given the intractably large size of the space of proofs, any model that is capable of general deductive reasoning must generalize to proofs of greater complexity. Recent studies have shown that large language models (LLM…

Inductive or Deductive? Rethinking the Fundamental Reasoning Abilities of LLMs

2024-07-31 · Kewei Cheng, Jingfeng Yang, Haoming Jiang, Zhengyang Wang 외

Reasoning encompasses two typical types: deductive reasoning and inductive reasoning. Despite extensive research into the reasoning capabilities of Large Language Models (LLMs), most studies have failed to rigorously dif…

counterfactualCounterfactual Reasoning