Abstract:Recent years have witnessed the success of deep neural networks in many research areas. The fundamental idea behind the design of most neural networks is to learn similarity patterns from data for prediction and inference, which lacks the ability of cognitive reasoning. However, the concrete ability of reasoning is critical to many theoretical and practical problems. On the other hand, traditional symbolic reasoning methods do well in making logical inference, but they are mostly hard rule-based reasoning, which limits their generalization ability to different tasks since difference tasks may require different rules. Both reasoning and generalization ability are important for prediction tasks such as recommender systems, where reasoning provides strong connection between user history and target items for accurate prediction, and generalization helps the model to draw a robust user portrait over noisy inputs. In this paper, we propose Logic-Integrated Neural Network (LINN) to integrate the power of deep learning and logic reasoning. LINN is a dynamic neural architecture that builds the computational graph according to input logical expressions. It learns basic logical operations such as AND, OR, NOT as neural modules, and conducts propositional logical reasoning through the network for inference. Experiments on theoretical task show that LINN achieves significant performance on solving logical equations and variables. Furthermore, we test our approach on the practical task of recommendation by formulating the task into a logical inference problem. Experiments show that LINN significantly outperforms state-of-the-art recommendation models in Top-K recommendation, which verifies the potential of LINN in practice.

The Impact of Reasoning in Learning and Cognitive Processing

Concise and Organized Perception Facilitates Large Language Models for Deductive Reasoning.

Learning the Dynamics of Visual Relational Reasoning Via Reinforced Path Routing

Reasoning in Social Settings

When Do Program-of-Thought Works for Reasoning?

Studying and improving reasoning in humans and machines

Common and distinct neural substrates of forward-chaining and backward-chaining syllogistic reasoning

From outcome to process: A developmental shift in judgments of good reasoning

Advances in Clinical Reasoning Research

Assessment of Scientific Reasoning: the Effects of Task Context, Data, and Design on Student Reasoning in Control of Variables.

A Survey of Reasoning with Foundation Models

Navigate through Enigmatic Labyrinth A Survey of Chain of Thought Reasoning: Advances, Frontiers and Future

Understanding Reasoning in Chain-of-Thought from the Hopfieldian View

When Do Program-of-Thoughts Work for Reasoning?

The Study of Informal Reasoning and Its Prospect

Reasoning Abilities and Logical Rules--the Analyse of Controversies about "the Wason Selection Task"

Valid Reasoning in Ancient China from the Perspective of Modern Logic

Neural Logic Reasoning

Reasoning in Token Economies: Budget-Aware Evaluation of LLM Reasoning Strategies

Reasoning in artificial intelligence:advances and challenges

An Analysis of the Strategies for Reasoning on Spatial and Non-spatial Relations by Adolescents with Nonverbal Learning Abilities