中文
相关论文

相关论文: REASON: Accelerating Probabilistic Logical Reasoni…

200 篇论文

In recent years, neural systems have demonstrated highly effective learning ability and superior perception intelligence. However, they have been found to lack effective reasoning and cognitive ability. On the other hand, symbolic systems…

机器学习 · 计算机科学 2023-06-27 Dongran Yu , Bo Yang , Dayou Liu , Hui Wang , Shirui Pan

Large Language Models (LLMs) demonstrate remarkable emergent abilities across various tasks, yet fall short of complex reasoning and planning tasks. The tree-search-based reasoning methods address this by surpassing the capabilities of…

计算与语言 · 计算机科学 2024-12-18 Zhenglin Wang , Jialong Wu , Yilong Lai , Congzhi Zhang , Deyu Zhou

The study and understanding of human behaviour is relevant to computer science, artificial intelligence, neural computation, cognitive science, philosophy, psychology, and several other areas. Presupposing cognition as basis of behaviour,…

Accurate parking availability prediction is critical for intelligent transportation systems, but real-world deployments often face data sparsity, noise, and unpredictable changes. Addressing these challenges requires models that are not…

机器学习 · 计算机科学 2026-03-31 Alireza Nezhadettehad , Arkady Zaslavsky , Abdur Rakib , Seng W. Loke

Agentic AI represents a major shift in how autonomous systems reason, plan, and execute multi-step tasks through the coordination of Large Language Models (LLMs), Vision Language Models (VLMs), tools, and external services. While these…

Progress in AI is hindered by the lack of a programming language with all the requisite features. Libraries like PyTorch and TensorFlow provide automatic differentiation and efficient GPU implementation, but are additions to Python, which…

人工智能 · 计算机科学 2025-10-17 Pedro Domingos

Large Language Models (LLMs) have shown human-like reasoning abilities but still struggle with complex logical problems. This paper introduces a novel framework, Logic-LM, which integrates LLMs with symbolic solvers to improve logical…

计算与语言 · 计算机科学 2023-10-20 Liangming Pan , Alon Albalak , Xinyi Wang , William Yang Wang

Neuro-symbolic NLP methods aim to leverage the complementary strengths of large language models and formal logical solvers. However, current approaches are mostly static in nature, i.e., the integration of a target solver is predetermined…

计算与语言 · 计算机科学 2025-10-09 Lei Xu , Pierre Beckmann , Marco Valentino , André Freitas

Intent-based networks that integrate sophisticated machine reasoning technologies will be a cornerstone of future wireless 6G systems. Intent-based communication requires the network to consider the semantics (meanings) and effectiveness…

机器学习 · 计算机科学 2022-05-24 Christo Kurisummoottil Thomas , Walid Saad

How neural networks in the human brain represent commonsense knowledge, and complete related reasoning tasks is an important research topic in neuroscience, cognitive science, psychology, and artificial intelligence. Although the…

神经与进化计算 · 计算机科学 2022-07-13 Hongjian Fang , Yi Zeng , Jianbo Tang , Yuwei Wang , Yao Liang , Xin Liu

Analogical reasoning is a powerful qualitative reasoning tool that enables humans to connect two situations, and to generalize their knowledge from familiar to novel situations. Cognitive Science research provides valuable insights into the…

人工智能 · 计算机科学 2022-06-28 Thiloshon Nagarajah , Filip Ilievski , Jay Pujara

Learning internal reasoning processes is crucial for developing AI systems capable of sustained adaptation in dynamic real-world environments. However, most existing approaches primarily emphasize learning task-specific outputs or static…

人工智能 · 计算机科学 2026-02-13 Hong Su

Knowledge graphs are an expressive and widely used data structure due to their ability to integrate data from different domains in a sensible and machine-readable way. Thus, they can be used to model a variety of systems such as molecules…

神经与进化计算 · 计算机科学 2023-08-28 Dominik Dold , Josep Soler Garrido , Victor Caceres Chian , Marcel Hildebrandt , Thomas Runkler

Cybersecurity demands both rapid pattern recognition and deliberative reasoning, yet purely neural or purely symbolic approaches each address only one side of this duality. Neuro-Symbolic (NeSy) AI bridges this gap by integrating learning…

密码学与安全 · 计算机科学 2026-04-16 Safayat Bin Hakim , Muhammad Adil , Alvaro Velasquez , Shouhuai Xu , Houbing Herbert Song

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

This article explores the convergence of connectionist and symbolic artificial intelligence (AI), from historical debates to contemporary advancements. Traditionally considered distinct paradigms, connectionist AI focuses on neural…

人工智能 · 计算机科学 2024-10-15 Haoyi Xiong , Zhiyuan Wang , Xuhong Li , Jiang Bian , Zeke Xie , Shahid Mumtaz , Anwer Al-Dulaimi , Laura E. Barnes

Mapping parallel threads onto non-box-shaped domains is a known challenge in GPU computing; efficient mapping prevents performance penalties from unnecessary resource allocation. Currently, achieving this requires significant analytical…

分布式、并行与集群计算 · 计算机科学 2026-04-15 Jose Maureira , Cristóbal A. Navarro , Hector Ferrada , Luis Veas-Castillo

Symbolic has been long considered as a language of human intelligence while neural networks have advantages of robust computation and dealing with noisy data. The integration of neural-symbolic can offer better learning and reasoning while…

人工智能 · 计算机科学 2017-06-23 Son N. Tran

In response to the global challenge of mental health problems, we proposes a Logical Neural Network (LNN) based Neuro-Symbolic AI method for the diagnosis of mental disorders. Due to the lack of effective therapy coverage for mental…

计算与语言 · 计算机科学 2023-06-07 Yeldar Toleubay , Don Joven Agravante , Daiki Kimura , Baihan Lin , Djallel Bouneffouf , Michiaki Tatsubori

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