Abstract:Logical reasoning consistently plays a fundamental and significant role in the domains of knowledge engineering and artificial intelligence. Recently, Large Language Models (LLMs) have emerged as a noteworthy innovation in natural language processing (NLP). However, the question of whether LLMs can effectively address the task of logical reasoning, which requires gradual cognitive inference similar to human intelligence, remains unanswered. To this end, we aim to bridge this gap and provide comprehensive evaluations in this paper. Firstly, to offer systematic evaluations, we select fifteen typical logical reasoning datasets and organize them into deductive, inductive, abductive and mixed-form reasoning settings. Considering the comprehensiveness of evaluations, we include 3 early-era representative LLMs and 4 trending LLMs. Secondly, different from previous evaluations relying only on simple metrics (e.g., \emph{accuracy}), we propose fine-level evaluations in objective and subjective manners, covering both answers and explanations, including \emph{answer correctness}, \emph{explain correctness}, \emph{explain completeness} and \emph{explain redundancy}. Additionally, to uncover the logical flaws of LLMs, problematic cases will be attributed to five error types from two dimensions, i.e., \emph{evidence selection process} and \emph{reasoning process}. Thirdly, to avoid the influences of knowledge bias and concentrate purely on benchmarking the logical reasoning capability of LLMs, we propose a new dataset with neutral content. Based on the in-depth evaluations, this paper finally forms a general evaluation scheme of logical reasoning capability from six dimensions (i.e., \emph{Correct}, \emph{Rigorous}, \emph{Self-aware}, \emph{Active}, \emph{Oriented} and \emph{No hallucination}). It reflects the pros and cons of LLMs and gives guiding directions for future works.

Are Large Language Models a Good Replacement of Taxonomies?

Are Large Language Models a Good Replacement of Taxonomies?

Head-to-Tail: How Knowledgeable are Large Language Models (LLMs)? A.K.A. Will LLMs Replace Knowledge Graphs?

Understanding Survey Paper Taxonomy about Large Language Models via Graph Representation Learning

Large Language Models and Knowledge Graphs: Opportunities and Challenges

Trends in Integration of Knowledge and Large Language Models: A Survey and Taxonomy of Methods, Benchmarks, and Applications

Can Language Models Act as Knowledge Bases at Scale?

Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study

Large Language Models for Scholarly Ontology Generation: An Extensive Analysis in the Engineering Field

Statistical Knowledge Assessment for Large Language Models

Reasoning on Efficient Knowledge Paths:Knowledge Graph Guides Large Language Model for Domain Question Answering

The RL/LLM Taxonomy Tree: Reviewing Synergies Between Reinforcement Learning and Large Language Models

Think-on-Graph: Deep and Responsible Reasoning of Large Language Model on Knowledge Graph

Are Large Language Models Really Good Logical Reasoners? A Comprehensive Evaluation and Beyond

Evaluating Large Language Models on Graphs: Performance Insights and Comparative Analysis

Exploring Large Language Models for Knowledge Graph Completion

Think-on-Graph: Deep and Responsible Reasoning of Large Language Model with Knowledge Graph

Large Language Models Can Better Understand Knowledge Graphs Than We Thought

A Survey of Large Language Models for Graphs