Abstract:While large language models (LLMs) have been thoroughly evaluated for deductive and inductive reasoning, their proficiency in abductive reasoning and holistic rule learning in interactive environments remains less explored. We introduce RULEARN, a novel benchmark specifically designed to assess the rule-learning abilities of LLM agents in interactive settings. In RULEARN, agents strategically interact with simulated environments to gather observations, discern patterns, and solve complex problems. To enhance the rule-learning capabilities for LLM agents, we propose IDEA, a novel reasoning framework that integrates the process of Induction, Deduction, and Abduction. The IDEA agent generates initial hypotheses from limited observations through abduction, devises plans to validate these hypotheses or leverages them to solve problems via deduction, and refines previous hypotheses using patterns identified from new observations through induction, dynamically establishing and applying rules that mimic human rule-learning behaviors. Our evaluation of the IDEA framework, which involves five representative LLMs, demonstrates significant improvements over the baseline. Furthermore, within this framework, our comparison with 50 human participants reveals notable discrepancies in rule-learning behaviors. LLM agents tend to generate plausible initial hypotheses but struggle to refine them through interaction. Conversely, humans, despite sometimes overlooking initial details, excel at incorporating feedback and continuously improving their hypotheses. We believe our benchmark, RULEARN, will serve as a valuable and challenging resource, and that the IDEA framework will provide crucial insights for the development of LLM agents capable of human-like rule learning in real-world scenarios. We will release our code and data upon acceptance of the paper.

INDED: a distributed knowledge-based learning system

Building Intelligent Learning Database Systems.

A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation

Missing-edge Aware Knowledge Graph Inductive Inference Through Dual Graph Learning and Traversing

Scalable Inductive Learning on Partitioned Data.

IDEA: Enhancing the Rule Learning Ability of Large Language Model Agent through Induction, Deduction, and Abduction

Knowledge Engineering for Hybrid Deductive Databases

Relational Message Passing for Fully Inductive Knowledge Graph Completion

Abductive Knowledge Induction From Raw Data

Logical Rule Induction and Theory Learning Using Neural Theorem Proving

Automated Induction for Complex Data Structures

Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis

Inductive reasoning in minds and machines.

A Logic for Non-Monotone Inductive Definitions

ItD: Large Language Models Can Teach Themselves Induction through Deduction

Predicate Logic as a Modelling Language: The IDP System

Inductive Inference and Software Testing.

An Automatic Knowledge Acquisition Mechanism for Independent Inference Engine Module of CDSS

LLM Guided Inductive Inference for Solving Compositional Problems

Case2Code: Learning Inductive Reasoning with Synthetic Data

Language Models as Inductive Reasoners