中文
相关论文

相关论文: Neuro-Symbolic AI for Compliance Checking of Elect…

200 篇论文

Existing approaches for predictive process monitoring are sub-symbolic, meaning that they learn correlations between descriptive features and a target feature fully based on data, e.g., predicting the surgical needs of a patient based on…

人工智能 · 计算机科学 2026-04-01 Fabrizio De Santis , Gyunam Park , Wil M. P. van der Aalst , Francesco Zanichelli

Neuro-Symbolic Artificial Intelligence (AI) is an emerging and quickly advancing field that combines the subsymbolic strengths of (deep) neural networks and explicit, symbolic knowledge contained in knowledge graphs to enhance…

计算机与社会 · 计算机科学 2023-08-07 Aritran Piplai , Anantaa Kotal , Seyedreza Mohseni , Manas Gaur , Sudip Mittal , Anupam Joshi

The last decades have seen a drastic improvement of Machine Learning (ML), mainly driven by Deep Learning (DL). However, despite the resounding successes of ML in many domains, the impossibility to provide guarantees of conformity and the…

机器学习 · 计算机科学 2024-09-23 Arthur Ledaguenel , Céline Hudelot , Mostepha Khouadjia

Neuro-symbolic artificial intelligence is a novel area of AI research which seeks to combine traditional rules-based AI approaches with modern deep learning techniques. Neuro-symbolic models have already demonstrated the capability to…

人工智能 · 计算机科学 2021-09-14 Zachary Susskind , Bryce Arden , Lizy K. John , Patrick Stockton , Eugene B. John

Financial regulations are increasingly complex, hindering automated compliance-especially the maintenance of logical consistency with minimal human oversight. We introduce a Neuro-Symbolic Compliance Framework that integrates Large Language…

人工智能 · 计算机科学 2026-01-13 Yung-Shen Hsia , Fang Yu , Jie-Hong Roland Jiang

Machine learning based image classification algorithms, such as deep neural network approaches, will be increasingly employed in critical settings such as quality control in industry, where transparency and comprehensibility of decisions…

机器学习 · 计算机科学 2022-03-18 Dennis Müller , Michael März , Stephan Scheele , Ute Schmid

Artificial Intelligence (AI) plays a significant role in enhancing the capabilities of defense systems, revolutionizing strategic decision-making, and shaping the future landscape of military operations. Neuro-Symbolic AI is an emerging…

人工智能 · 计算机科学 2024-08-27 Desta Haileselassie Hagos , Danda B. Rawat

Current advances in Artificial Intelligence (AI) and Machine Learning (ML) have achieved unprecedented impact across research communities and industry. Nevertheless, concerns about trust, safety, interpretability and accountability of AI…

人工智能 · 计算机科学 2020-12-18 Artur d'Avila Garcez , Luis C. Lamb

For highly regulated industries such as banking and healthcare, one of the major hindrances to the adoption of cloud computing is compliance with regulatory standards. This is a complex problem due to many regulatory and technical…

人工智能 · 计算机科学 2022-06-23 Abdulhamid Adebayo , Daby Sow , Muhammed Fatih Bulut

Textual content around us is growing on a daily basis. Numerous articles are being written as we speak on online newspapers, blogs, or social media. Similarly, recent advances in the AI field, like language models or traditional classic AI…

计算与语言 · 计算机科学 2023-07-18 Nicos Isaak

Neuro-Symbolic Artificial Intelligence -- the combination of symbolic methods with methods that are based on artificial neural networks -- has a long-standing history. In this article, we provide a structured overview of current trends, by…

人工智能 · 计算机科学 2021-05-17 Md Kamruzzaman Sarker , Lu Zhou , Aaron Eberhart , Pascal Hitzler

Background: The field of Artificial Intelligence has undergone cyclical periods of growth and decline, known as AI summers and winters. Currently, we are in the third AI summer, characterized by significant advancements and…

人工智能 · 计算机科学 2025-04-08 Brandon C. Colelough , William Regli

The goal of active learning for program synthesis is to synthesize the desired program by asking targeted questions that minimize user interaction. While prior work has explored active learning in the purely symbolic setting, such…

编程语言 · 计算机科学 2025-09-01 Celeste Barnaby , Qiaochu Chen , Ramya Ramalingam , Osbert Bastani , Isil Dillig

Current advances in Artificial Intelligence and machine learning in general, and deep learning in particular have reached unprecedented impact not only across research communities, but also over popular media channels. However, concerns…

人工智能 · 计算机科学 2019-05-16 Artur d'Avila Garcez , Marco Gori , Luis C. Lamb , Luciano Serafini , Michael Spranger , Son N. Tran

Formal verification has emerged as a powerful approach to ensure the safety and reliability of deep neural networks. However, current verification tools are limited to only a handful of properties that can be expressed as first-order…

人工智能 · 计算机科学 2022-03-03 Xuan Xie , Kristian Kersting , Daniel Neider

Recent advances in machine learning, particularly deep learning, have enabled autonomous systems to perceive and comprehend objects and their environments in a perceptual subsymbolic manner. These systems can now perform object detection,…

人工智能 · 计算机科学 2023-09-13 Amr Gomaa , Michael Feld

In recent years, neuro-symbolic methods have become a popular and powerful approach that augments artificial intelligence systems with the capability to perform abstract, logical, and quantitative deductions with enhanced precision and…

人工智能 · 计算机科学 2025-02-04 Yuxuan Wu , Hideki Nakayama

Process anomaly detection is an important application of process mining for identifying deviations from the normal behavior of a process. Neural network-based methods have recently been applied to this task, learning directly from event…

机器学习 · 计算机科学 2026-04-02 Devashish Gaikwad , Wil M. P. van der Aalst , Gyunam Park

The remarkable advancements in artificial intelligence (AI), primarily driven by deep neural networks, are facing challenges surrounding unsustainable computational trajectories, limited robustness, and a lack of explainability. To develop…

In this paper we argue that Neuro-Symbolic AI (NeSy-AI) should be applied for patient monitoring. In this context, we introduce patient monitoring as a special case of Human Activity Recognition and derive concrete requirements for this…

人机交互 · 计算机科学 2024-07-18 Ole Fenske , Sebastian Bader , Thomas Kirste
‹ 上一页 1 2 3 10 下一页 ›