中文
相关论文

相关论文: Abductive Symbolic Solver on Abstraction and Reaso…

200 篇论文

*Concept-based explanations* offer a promising approach for explaining the predictions of deep neural networks in terms of high-level, human-understandable concepts. However, existing methods either do not establish a causal connection…

机器学习 · 计算机科学 2026-05-08 Ronaldo Canizales , Divya Gopinath , Corina Păsăreanu , Ravi Mangal

In this paper, we review recent approaches for explaining concepts in neural networks. Concepts can act as a natural link between learning and reasoning: once the concepts are identified that a neural learning system uses, one can integrate…

人工智能 · 计算机科学 2024-05-06 Jae Hee Lee , Sergio Lanza , Stefan Wermter

Current artificial intelligence systems exhibit a fundamental architectural limitation: they resolve ambiguity prematurely. This premature semantic collapse--collapsing multiple valid interpretations into single outputs--stems from…

计算与语言 · 计算机科学 2026-03-30 Kei Saito

Abstract visual reasoning (AVR) domain encompasses problems solving which requires the ability to reason about relations among entities present in a given scene. While humans, generally, solve AVR tasks in a "natural" way, even without…

人工智能 · 计算机科学 2025-02-24 Mikołaj Małkiński , Jacek Mańdziuk

A fundamental challenge in artificial intelligence involves understanding the cognitive mechanisms underlying visual reasoning in sophisticated models like Vision-Language Models (VLMs). How do these models integrate visual perception with…

计算机视觉与模式识别 · 计算机科学 2025-05-07 Mohit Vaishnav , Tanel Tammet

Detecting assistance from artificial intelligence is increasingly important as they become ubiquitous across complex tasks such as text generation, medical diagnosis, and autonomous driving. Aid detection is challenging for humans,…

人工智能 · 计算机科学 2025-07-16 Tyler King , Nikolos Gurney , John H. Miller , Volkan Ustun

Artificial Intelligence (AI) is a powerful new language of science as evidenced by recent Nobel Prizes in chemistry and physics that recognized contributions to AI applied to those areas. Yet, this new language lacks semantics, which makes…

人工智能 · 计算机科学 2025-11-05 Artur d'Avila Garcez , Simon Odense

In recent years, large language models (LLMs) have made significant advancements in developing human-like and engaging dialogue systems. However, in tasks such as consensus-building and persuasion, LLMs often struggle to resolve conflicts…

人工智能 · 计算机科学 2025-11-14 Zhaoqun Li , Xiaotong Fang , Chen Chen , Mengze Li , Beishui Liao

The ability to use symbols is the pinnacle of human intelligence, but has yet to be fully replicated in machines. Here we argue that the path towards symbolically fluent artificial intelligence (AI) begins with a reinterpretation of what…

人工智能 · 计算机科学 2022-01-24 Adam Santoro , Andrew Lampinen , Kory Mathewson , Timothy Lillicrap , David Raposo

Visual planning simulates how humans make decisions to achieve desired goals in the form of searching for visual causal transitions between an initial visual state and a final visual goal state. It has become increasingly important in…

人工智能 · 计算机科学 2024-03-28 Yilue Qian , Peiyu Yu , Ying Nian Wu , Yao Su , Wei Wang , Lifeng Fan

The Abstract Meaning Representation (AMR) is a representation for open-domain rich semantics, with potential use in fields like event extraction and machine translation. Node generation, typically done using a simple dictionary lookup, is…

计算与语言 · 计算机科学 2015-06-11 Keenon Werling , Gabor Angeli , Christopher Manning

In this project, we test the effectiveness of Large Language Models (LLMs) on the Abstraction and Reasoning Corpus (ARC) dataset. This dataset serves as a representative benchmark for testing abstract reasoning abilities, requiring a…

人工智能 · 计算机科学 2024-07-30 Liane Galanti , Ethan Baron

Many high-performance models suffer from a lack of interpretability. There has been an increasing influx of work on explainable artificial intelligence (XAI) in order to disentangle what is meant and expected by XAI. Nevertheless, there is…

机器学习 · 计算机科学 2019-10-23 Adrien Bennetot , Jean-Luc Laurent , Raja Chatila , Natalia Díaz-Rodríguez

This work proposes a formal abductive explanation framework designed to systematically uncover rationales underlying AI predictions of mental health help-seeking within tech workplace settings. By computing rigorous justifications for model…

人工智能 · 计算机科学 2026-03-17 Belona Sonna , Alain Momo , Alban Grastien

Recent advances in deep thinking models have demonstrated remarkable reasoning capabilities on mathematical and coding tasks. However, their effectiveness in embodied domains which require continuous interaction with environments through…

Monitoring and analyzing process traces is a critical task for modern companies and organizations. In scenarios where there is a gap between trace events and reference business activities, this entails an interpretation problem, amounting…

人工智能 · 计算机科学 2026-05-26 Bettina Fazzinga , Sergio Flesca , Filippo Furfaro , Luigi Pontieri , Francesco Scala

The recent developments and growing interest in neural-symbolic models has shown that hybrid approaches can offer richer models for Artificial Intelligence. The integration of effective relational learning and reasoning methods is one of…

机器学习 · 计算机科学 2020-05-07 Henrique Lemos , Pedro Avelar , Marcelo Prates , Luís Lamb , Artur Garcez

Abstract reasoning, the ability to reason from the abstract essence of a problem, serves as a key to generalization in human reasoning. However, eliciting language models to perform reasoning with abstraction remains unexplored. This paper…

计算与语言 · 计算机科学 2024-09-27 Ruixin Hong , Hongming Zhang , Xiaoman Pan , Dong Yu , Changshui Zhang

Humans continue to outperform modern AI systems in their ability to flexibly parse and understand complex visual scenes. Here, we present a novel module for visual reasoning, the Guided Attention Model for (visual) Reasoning (GAMR), which…

人工智能 · 计算机科学 2023-03-22 Mohit Vaishnav , Thomas Serre

The field of Abstract Visual Reasoning (AVR) encompasses a wide range of problems, many of which are inspired by human IQ tests. The variety of AVR tasks has resulted in state-of-the-art AVR methods being task-specific approaches.…

人工智能 · 计算机科学 2024-06-18 Mikołaj Małkiński , Jacek Mańdziuk