English
Related papers

Related papers: Fact-driven Logical Reasoning for Machine Reading …

200 papers

Recent breakthroughs of pretrained language models have shown the effectiveness of self-supervised learning for a wide range of natural language processing (NLP) tasks. In addition to standard syntactic and semantic NLP tasks, pretrained…

Computation and Language · Computer Science 2019-12-23 Wenhan Xiong , Jingfei Du , William Yang Wang , Veselin Stoyanov

Question answering is an important task for autonomous agents and virtual assistants alike and was shown to support the disabled in efficiently navigating an overwhelming environment. Many existing methods focus on observation-based…

Computer Vision and Pattern Recognition · Computer Science 2018-09-05 Medhini Narasimhan , Alexander G. Schwing

Fact checking is a challenging task because verifying the truthfulness of a claim requires reasoning about multiple retrievable evidence. In this work, we present a method suitable for reasoning about the semantic-level structure of…

Computation and Language · Computer Science 2020-04-28 Wanjun Zhong , Jingjing Xu , Duyu Tang , Zenan Xu , Nan Duan , Ming Zhou , Jiahai Wang , Jian Yin

The notion of class is ubiquitous in computer science and is central in many formalisms for the representation of structured knowledge used both in knowledge representation and in databases. In this paper we study the basic issues…

Artificial Intelligence · Computer Science 2011-05-30 D. Calvanese , M. Lenzerini , D. Nardi

Reasoning models have demonstrated remarkable progress in solving complex and logic-intensive tasks by generating extended Chain-of-Thoughts (CoTs) prior to arriving at a final answer. Yet, the emergence of this "slow-thinking" paradigm,…

Computation and Language · Computer Science 2025-09-30 Sicheng Feng , Gongfan Fang , Xinyin Ma , Xinchao Wang

In recent years, large pretrained models have been used in dialogue systems to improve successful task completion rates. However, lack of reasoning capabilities of dialogue platforms make it difficult to provide relevant and fluent…

Computation and Language · Computer Science 2022-02-10 Sajjad Beygi , Maryam Fazel-Zarandi , Alessandra Cervone , Prakash Krishnan , Siddhartha Reddy Jonnalagadda

In fact-checking applications, a common reason to reject a claim is to detect the presence of erroneous cause-effect relationships between the events at play. However, current automated fact-checking methods lack dedicated causal-based…

Computation and Language · Computer Science 2025-12-16 Youssra Rebboud , Pasquale Lisena , Raphael Troncy

There are some recent approaches and results about the use of answer-set programming for specifying counterfactual interventions on entities under classification, and reasoning about them. These approaches are flexible and modular in that…

Artificial Intelligence · Computer Science 2021-08-26 Leopoldo Bertossi

We study scalable and uniform understanding of facts in images. Existing visual recognition systems are typically modeled differently for each fact type such as objects, actions, and interactions. We propose a setting where all these facts…

Computer Vision and Pattern Recognition · Computer Science 2016-04-05 Mohamed Elhoseiny , Scott Cohen , Walter Chang , Brian Price , Ahmed Elgammal

Large Language Models (LLMs) excel in natural language tasks but still face challenges in Question Answering (QA) tasks requiring complex, multi-step reasoning. We outline the types of reasoning required in some of these tasks, and reframe…

Computation and Language · Computer Science 2025-02-17 Nick Ferguson , Liane Guillou , Alan Bundy , Kwabena Nuamah

Machine learning models support decision-making, yet the reasons behind their predictions are opaque. Clear and reliable explanations help users make informed decisions and avoid blindly trusting model outputs. However, many existing…

Logic in Computer Science · Computer Science 2026-03-03 Francisco Mateus Rocha Filho , Ajalmar Rêgo da Rocha Neto , Thiago Alves Rocha

Logical reasoning is central to human cognition and intelligence. It includes deductive, inductive, and abductive reasoning. Past research of logical reasoning within AI uses formal language as knowledge representation and symbolic…

Computation and Language · Computer Science 2024-02-19 Zonglin Yang , Xinya Du , Rui Mao , Jinjie Ni , Erik Cambria

Machine reading comprehension (MRC) requires reasoning about both the knowledge involved in a document and knowledge about the world. However, existing datasets are typically dominated by questions that can be well solved by context…

Computation and Language · Computer Science 2018-09-13 Yibo Sun , Daya Guo , Duyu Tang , Nan Duan , Zhao Yan , Xiaocheng Feng , Bing Qin

Large language models often reason beyond surface tokens, but the internal stage at which token-level information becomes abstract relational structure remains unclear. We investigate this question by analyzing how attention heads and…

Artificial Intelligence · Computer Science 2026-05-22 Junjie Zhang , Zhen Shen , Xisong Dong , Gang Xiong

It remains an open question whether incorporating external knowledge benefits commonsense reasoning while maintaining the flexibility of pretrained sequence models. To investigate this question, we develop generated knowledge prompting,…

Computation and Language · Computer Science 2022-09-30 Jiacheng Liu , Alisa Liu , Ximing Lu , Sean Welleck , Peter West , Ronan Le Bras , Yejin Choi , Hannaneh Hajishirzi

Verifying the correctness of a textual statement requires not only semantic reasoning about the meaning of words, but also symbolic reasoning about logical operations like count, superlative, aggregation, etc. In this work, we propose…

Computation and Language · Computer Science 2020-04-29 Wanjun Zhong , Duyu Tang , Zhangyin Feng , Nan Duan , Ming Zhou , Ming Gong , Linjun Shou , Daxin Jiang , Jiahai Wang , Jian Yin

The advancement of Large Language Models (LLMs) has greatly improved our ability to process complex language. However, accurately detecting logical fallacies remains a significant challenge. This study presents a novel and effective prompt…

Artificial Intelligence · Computer Science 2025-04-01 Jiwon Jeong , Hyeju Jang , Hogun Park

Contextualized or discourse aware commonsense inference is the task of generating coherent commonsense assertions (i.e., facts) from a given story, and a particular sentence from that story. Some problems with the task are: lack of…

Computation and Language · Computer Science 2023-02-13 Pedro Colon-Hernandez , Henry Lieberman , Yida Xin , Claire Yin , Cynthia Breazeal , Peter Chin

Most of the existing work that focus on the identification of implicit knowledge in arguments generally represent implicit knowledge in the form of commonsense or factual knowledge. However, such knowledge is not sufficient to understand…

Computation and Language · Computer Science 2021-10-27 Keshav Singh , Naoya Inoue , Farjana Sultana Mim , Shoichi Naitoh , Kentaro Inui

Recent studies have shown that Large Language Models (LLMs) can achieve strong reasoning performance by incorporating functional symbolic representations that abstractly describe graph traversal algorithms and step-by-step reasoning in…

Artificial Intelligence · Computer Science 2026-05-28 Phuong Minh Nguyen , Tien Huu Dang , Naoya Inoue