English
Related papers

Related papers: Formal Explanations for Neuro-Symbolic AI

200 papers

Despite significant advancements in XAI, scholars note a persistent lack of solid conceptual foundations and integration with broader scientific discourse on explanation. In response, emerging research draws on explanatory strategies from…

Machine Learning · Computer Science 2026-05-22 Marcin Rabiza

Artificial neural networks (ANNs) have shown to be amongst the most important artificial intelligence (AI) techniques in educational applications, providing adaptive educational services. However, their educational potential is limited in…

Artificial Intelligence · Computer Science 2025-04-01 Danial Hooshyar , Roger Azevedo , Yeongwook Yang

Neurosymbolic artificial intelligence (AI) systems combine neural network and classical symbolic AI mechanisms to exploit the complementary strengths of large scale, generalizable learning and robust, verifiable reasoning. Numerous…

Artificial Intelligence · Computer Science 2025-07-15 Aniruddha Chattopadhyay , Raj Dandekar , Kaushik Roy

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…

Artificial Intelligence · Computer Science 2025-11-05 Artur d'Avila Garcez , Simon Odense

The field of neuro-symbolic AI aims to benefit from the combination of neural networks and symbolic systems. A cornerstone of the field is the translation or encoding of symbolic knowledge into neural networks. Although many neuro-symbolic…

Artificial Intelligence · Computer Science 2024-11-28 Simon Odense , Artur d'Avila Garcez

In this paper I argue that the search for explainable models and interpretable decisions in AI must be reformulated in terms of the broader project of offering a pragmatic and naturalistic account of understanding in AI. Intuitively, the…

Artificial Intelligence · Computer Science 2020-06-23 Andrés Páez

Neurosymbolic AI is an increasingly active area of research that combines symbolic reasoning methods with deep learning to leverage their complementary benefits. As knowledge graphs are becoming a popular way to represent heterogeneous and…

Artificial Intelligence · Computer Science 2025-01-13 Lauren Nicole DeLong , Ramon Fernández Mir , Jacques D. Fleuriot

There are concerns about the reliability and safety of artificial intelligence (AI) based on sub-symbolic neural networks because its decisions cannot be explained explicitly. This is the black box problem of modern AI. At the same time,…

Artificial Intelligence · Computer Science 2024-05-21 V. L. Kalmykov , L. V. Kalmykov

Artificial intelligence (AI) is becoming increasingly complex, making it difficult for users to understand how the AI has derived its prediction. Using explainable AI (XAI)-methods, researchers aim to explain AI decisions to users. So far,…

Human-Computer Interaction · Computer Science 2022-10-06 Lara Riefle , Patrick Hemmer , Carina Benz , Michael Vössing , Jannik Pries

Explanations for artificial intelligence (AI) systems are intended to support the people who are impacted by AI systems in high-stakes decision-making environments, such as doctors, patients, teachers, students, housing applicants, and many…

Human-Computer Interaction · Computer Science 2025-04-16 Gennie Mansi , Naveena Karusala , Mark Riedl

Neurosymbolic AI combines the interpretability, parsimony, and explicit reasoning of classical symbolic approaches with the statistical learning of data-driven neural approaches. Models and policies that are simultaneously differentiable…

Artificial Intelligence · Computer Science 2024-02-09 Peter Graf , Patrick Emami

Over the last few decades, Artificial Intelligence (AI) scientists have been conducting investigations to attain human-level performance by a machine in accomplishing a cognitive task. Within machine learning, the ultimate aspiration is to…

Artificial Intelligence · Computer Science 2025-03-25 Delower Hossain , Jake Y Chen

Understanding the decisions made and actions taken by increasingly complex AI system remains a key challenge. This has led to an expanding field of research in explainable artificial intelligence (XAI), highlighting the potential of…

With the rapid growth of machine learning, deep neural networks (DNNs) are now being used in numerous domains. Unfortunately, DNNs are "black-boxes", and cannot be interpreted by humans, which is a substantial concern in safety-critical…

Machine Learning · Computer Science 2023-02-10 Shahaf Bassan , Guy Katz

Formal analysis to ensure adherence of software to defined architectural constraints is not yet broadly used within software development, due to the effort involved in defining formal architecture models. Within this paper, we outline…

Software Engineering · Computer Science 2025-03-21 Steffen Herbold , Christoph Knieke , Andreas Rausch , Christian Schindler

Neuro-symbolic AI systems integrate neural perception with symbolic reasoning to enable data-efficient, interpretable, and robust intelligence beyond purely neural models. Although this compositional paradigm has shown superior performance…

Artificial Intelligence · Computer Science 2026-01-29 Zishen Wan , Che-Kai Liu , Jiayi Qian , Hanchen Yang , Arijit Raychowdhury , Tushar Krishna

We explore potential benefits of incorporating Rhetorical Design into the design of Explainable Artificial Intelligence (XAI) systems. While XAI is traditionally framed around explaining individual predictions or overall system behavior,…

Human-Computer Interaction · Computer Science 2026-01-27 Houjiang Liu , Yiheng Su , Matthew Lease

To create usable and deployable Artificial Intelligence (AI) systems, there requires a level of assurance in performance under many different conditions. Many times, deployed machine learning systems will require more classic logic and…

Artificial Intelligence · Computer Science 2025-02-14 Luke E. Richards , Jessie Yaros , Jasen Babcock , Coung Ly , Robin Cosbey , Timothy Doster , Cynthia Matuszek

The unprecedented performance of machine learning models in recent years, particularly Deep Learning and transformer models, has resulted in their application in various domains such as finance, healthcare, and education. However, the…

Human-Computer Interaction · Computer Science 2023-12-20 Milad Rogha

We study the interpretability issue of task-oriented dialogue systems in this paper. Previously, most neural-based task-oriented dialogue systems employ an implicit reasoning strategy that makes the model predictions uninterpretable to…

Computation and Language · Computer Science 2022-03-14 Shiquan Yang , Rui Zhang , Sarah Erfani , Jey Han Lau