IVIE: A Neuro-symbolic Approach to Incremental and Validated Generation of Interactive Fiction Worlds
Instituto de Computación, Facultad de Ingeniería, Universidad de la República(乌拉圭共和国大学工程学院计算机研究所)
提出IVIE神经符号方法,结合LLM的创造力与符号验证的连贯性,通过四阶段增量生成管道构建可玩的交互式小说世界,人类评估显示其生成沉浸式、主题连贯的世界,平衡了灵活性与叙事一致性。
2026-06-12 cs.AI cs.CL
ProRAC: A Neuro-symbolic Method for Reasoning about Actions with LLM-based Progression
Haoyong Wu, Yongmei Liu(作者)
本文提出神经符号框架ProRAC,利用LLM提取RAC问题要素、逐步执行行动推导状态并回答查询,在多类RAC基准测试中展现出优异性能。
2025-11-19 cs.AI cs.CL
Generalizable Neuro-symbolic Systems for Commonsense Question Answering
Bosch Research(博世研究院);Carnegie Mellon University(卡内基梅隆大学);Information Sciences Institute, Viterbi School of Engineering, University of Southern California(南加州大学维特比工程学院信息科学研究所);Michigan State University(密歇根州立大学)
本章说明了如何合适的语言理解的神经符号模型可以使域的概括性和鲁棒性的下游任务。讨论了集成神经语言模型和知识图谱的不同方法。这种组合是最合适的情况下的特点,包括定量评价和定性错误分析的各种常识问答基准数据集。
2022-01-17 cs.AI cs.CL
Linguistic Frameworks Go Toe-to-Toe at Neuro-Symbolic Language Modeling
Georgetown University(乔治城大学);The University of Hong Kong(香港大学)
研究探讨了语言图表示如何提升神经语言模型性能,发现语义短语结构最有效,且词性类别影响效果差异。
2022-05-11 cs.AI cs.CL
A Semantic Framework for Neuro-Symbolic Computing
Simon Fraser University(西蒙菲莎大学);City, University of London(伦敦城市大学)
针对神经符号AI领域缺乏通用编码定义以实现方法理论比较的问题,本文提出语义框架,给出语义编码的形式化定义并验证其涵盖多种现有方法,为未来编码提供指导并助力相关理论讨论。
2024-11-27 cs.AI
From Statistical Relational to Neuro-Symbolic Artificial Intelligence
KU Leuven, Department of Computer Science(比利时鲁汶大学)
神经符号和统计关系人工智能都集成了逻辑推理的学习框架。这项调查确定了这两个领域在七个不同方面的几个相似之处。这些不仅可以用来描述和定位神经符号人工智能方法,而且还可以确定一些进一步研究的方向。
2020-03-24 cs.AI
Neuro-Symbolic Drive: Rule-Grounded Faithful Reasoning for Driving VLAs
Texas A&M University(德克萨斯农工大学);Carnegie Mellon University(卡内基梅隆大学);University of Maryland(马里兰大学);University of California, Riverside(加利福尼亚大学河滨分校);University of Pittsburgh(匹兹堡大学)
提出神经符号驱动框架,利用规则规划器的决策轨迹监督驾驶VLA,实现推理与运动生成的因果耦合,显著降低轨迹误差和碰撞率。
2026-06-24 cs.AI cs.CL
Reasoners or Translators? Contamination-aware Evaluation and Neuro-Symbolic Robustness in Tax Law
Bloomberg(彭博社);Michigan State University(密歇根州立大学)
本文研究了税法推理中LLM性能受数据污染影响的问题,提出神经符号框架提升法律AI的可靠性与鲁棒性。
2026-05-15 cs.AI cs.CL
NeuroQL: A Neuro-Symbolic Language and Dataset for Inter-Subjective Reasoning
OrgD. Labs(OrgD实验室)
我们提出了一个新的人工智能任务和基线解决方案的主体间推理。我们将主观间信息定义为可能由不同方共享的客观和主观信息的混合物。例如,IR(信息检索)系统报告的商品及其客观属性,需要与在线论坛的主观用户评论进行交叉引用。对于一个人工智能系统来说,要成功地对两者进行推理,它需要能够将客观事实的符号推理与主观用户评论中的共识结合起来。为此,我们引入NeuroQL数据集和DSL(特定领域语言)作为此问题的基线解决方案。NeuroQL是一种神经符号语言,它扩展了与神经原语的逻辑统一,用于提取和检索。它可以作为一个目标,用于将主体间问题(以自然语言提出)自动翻译成可以回答它们的神经符号代码。
2023-03-13 cs.AI cs.CL cs.PL
The Neuro-Symbolic Concept Learner: Interpreting Scenes, Words, and Sentences From Natural Supervision
MIT CSAIL(麻省理工学院计算机科学与人工智能实验室);IIIS, Tsinghua University(清华大学交叉信息研究院);MIT-IBM Watson AI Lab(麻省理工学院-IBM沃森人工智能实验室);Deepmind(深度思考);MIT BCS(麻省理工学院脑与认知科学系);CBMM(脑、心智与机器中心)
我们提出了神经符号概念学习者(NS-CL),这是一种学习视觉概念,单词和句子的语义解析的模型,而无需对其中任何一个进行明确的监督;相反,我们的模型通过简单地查看图像和阅读配对的问题和答案来学习。我们的模型建立了一个基于对象的场景表示,并将句子转换为可执行的符号程序。为了桥接两个模块的学习,我们使用神经符号推理模块,该模块在潜在场景表示上执行这些程序。类似于人类的概念学习,感知模块根据所指对象的语言描述来学习视觉概念。同时,学习的视觉概念有助于学习新单词和解析新句子。我们使用课程学习来指导在图像和语言的大构图空间中的搜索。大量的实验表明,我们的模型学习视觉概念,单词表示,和句子的语义解析的准确性和效率。此外,我们的方法可以很容易地推广到新的对象属性,成分,语言概念,场景和问题,甚至新的程序域。它还支持可视化问答和双向图像-文本检索等应用程序。
2019-04-26 cs.AI cs.CL cs.CV
Parsing with CYK over Distributed Representations
University of Rome Tor Vergata(罗马第二大学(罗马托尔韦尔加塔大学));University of Padua(帕多瓦大学)
句法分析是自然语言处理中的一项关键任务。这个任务一直由符号化的、基于语法的解析器主导。具有分布式表示的神经网络对这些方法提出了挑战。在这篇文章中,我们表明,现有的符号解析算法可以跨越边界,完全制定了分布式表示。为此,我们介绍了传统的Cocke-Younger-Kasami(CYK)算法的一个版本,称为D-CYK,这是完全定义在分布式表示。我们的D-CYK使用矩阵乘法的大小独立于输入字符串的长度的实数矩阵。这些操作与传统的神经网络兼容。实验表明,我们的D-CYK近似原始CYK算法。通过展示CYK可以完全在分布式表示上执行,我们为CYK通知的神经网络的递归层的定义开辟了道路。
2019-04-17 cs.CL
Learning Symbolic Constraint Representations from Examples: A Neuro-Symbolic Approach
Simula Research Laboratory(西穆拉研究实验室);Microsoft(微软);LISN, CNRS, Paris-Saclay University(法国国家科学研究中心巴黎-萨克雷大学LISN实验室)
本文提出一种神经符号框架,利用神经Oracle Transformer模拟用户响应并与FastCA引擎交互,从示例中自动学习约束网络,减少人工参与,实现数据驱动模式识别与符号推理的有效结合。
2026-09-14 cs.AI
BiNSGPS: Geometry Problem Solving via Bidirectional Neuro-Symbolic Interaction
MAIS, Institute of Automation of Chinese Academy of Sciences(自动化研究所);School of Artificial Intelligence, University of Chinese Academy of Sciences(中国科学院大学人工智能学院)
提出BiNSGPS框架,通过多模态大语言模型顾问与符号求解器之间的双向神经符号交互,动态纠正不一致的形式表示或提出辅助假设,以解决几何问题中的早期错误和符号冲突。
2026-06-03 cs.AI
Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning
University of Toronto(多伦多大学);Vector Institute(矢量研究所);University of Edinburgh(爱丁堡大学);Samsung AI Center(三星人工智能中心)
本综述首次按架构将神经符号AI技术划分为框架族,关联优势与架构,说明黑盒式符号方法增强神经网络的方式,助力研究者定位相关框架。
2024-10-29 cs.AI
Taxonomic Networks: A Representation for Neuro-Symbolic Pairing
School of Interactive Computing(交互计算学院);Georgia Institute of Technology(佐治亚理工学院);College of Computing and Informatics(计算与信息学院);Drexel University(德雷塞尔大学)
本文提出神经符号对概念及分类网络表示,构建并评估了可互换的神经与符号方法,为未来整合神经与符号计算的系统奠定基础。
2025-05-30 cs.AI
NSP: A Neuro-Symbolic Natural Language Navigational Planner
University of Florida(佛罗里达大学);Florida International University(佛罗里达国际大学)
针对自然语言路径规划中符号方法难处理自由文本、神经方法缺性能保障的问题,提出神经符号框架NSP,结合LLM推理与符号规划及反馈自校正,有效路径率达90.1%且路径更短。
2024-09-13 cs.AI cs.CL cs.HC
SLING: A framework for frame semantic parsing
Google Inc.(谷歌公司)
我们描述了SLING,一个用于将自然语言解析成语义框架的框架。SLING支持通用的基于转换的神经网络解析,具有双向LSTM输入编码和基于转换的递归单元(TBRU)用于输出解码。解析模型只使用文本标记作为输入进行端到端的训练。转换系统被设计成直接输出框架图,而不需要任何介入的符号表示。SLING框架包括一个有效的和可扩展的帧存储实现,以及一个神经网络JIT编译器,用于在解析过程中进行快速推理。SLING是用C++实现的,可以在GitHub上下载。
2017-10-19 cs.CL
A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence
University of Maryland, Baltimore County(马里兰大学巴尔的摩县分校);Embry-Riddle Aeronautical University(安柏瑞德航空大学);University of Colorado, Boulder(科罗拉多大学博尔德分校)
本综述探讨了神经符号AI如何利用符号AI简化次符号AI的测试评估(T&E)与验证确认(V&V)过程,分析了两种分类法及相关算法,评估了现有T&E和V&V方法的适用性,指出符号AI在验证次符号模型预测方面潜力巨大,是安全可信AI的重要研究方向。
2024-01-10 cs.AI
Neuro-Symbolic Artificial Intelligence: Current Trends
Kansas State University(堪萨斯州立大学)
神经符号人工智能--符号方法与基于人工神经网络的方法的结合--有着悠久的历史。在这篇文章中,我们提供了一个结构化的概述目前的趋势,通过分类最近的出版物从关键会议。这篇文章的目的是作为一个方便的起点,研究一般性的主题。
2021-05-14 cs.AI cs.LG
Image Manipulation via Multi-Hop Instructions -- A New Dataset and Weakly-Supervised Neuro-Symbolic Approach
Indian Institute of Technology Delhi(印度理工学院德里分校);IBM Research AI(IBM研究院人工智能实验室)
本文提出名为NeuroSIM的弱监督神经符号系统,通过将多跳自然语言指令解析为基于DSL的符号程序,在多物体场景中执行复杂推理以实现图像操作,并构建了新数据集,实验证明其性能优于使用监督数据的SOTA基线。
2023-10-24 cs.AI cs.CL cs.CV
Neuro-symbolic Commonsense Social Reasoning
University College London(伦敦大学学院)
社会规范是所有人类社会互动的基础,但对它们进行形式化和推理仍然是人工智能系统的主要挑战。我们提出了一个新颖的系统,用于从社会化学101数据集中获取自然语言中的社会经验规则(ROT),并将其转换为一阶逻辑,其中使用神经符号定理证明器执行推理。我们通过几个步骤来实现这一点。首先,ROTs被转换成抽象意义表示(AMR),这是一个图形表示的概念在一个句子中,并对齐AMR与RoberTa嵌入。然后,我们通过一种新的算法生成AMR的替代简化版本,重新组合和合并嵌入,以增加对不同文本措辞和不正确AMR解析的鲁棒性。AMR然后被转换成一阶逻辑,并查询与神经符号定理证明。本文的目标是开发和评估一种神经符号方法,该方法以逻辑形式对社会情境进行显式推理。
2023-03-14 cs.AI
LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning
University of Pisa(比萨大学);University of Modena and Reggio Emilia(摩德纳和雷焦艾米利亚大学);KU Leuven(鲁汶大学);University of Florence(佛罗伦萨大学);University of Siena(锡耶纳大学)
本文提出 LTLZinc 基准框架,基于 LTL 与 MiniZinc 约束及图像数据集生成时间推理和持续学习任务,实验表明现有方法仍存在明显局限。
2025-07-23 cs.AI
A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge
University of Pisa(比萨大学);University of Modena and Reggio Emilia(摩德纳和雷吉奥艾米利亚大学);University of Florence(佛罗伦萨大学);University of Siena(锡耶纳大学)
本文提出一种结合关系与时间知识的神经符号序列分类框架,针对不同时间步需使用不同知识且含时间关系的知识驱动序列分类问题,通过新基准对比神经符号与纯神经架构,揭示了现有神经符号方法的不足。
2025-05-08 cs.AI
Learning Evolved Combinatorial Symbols with a Neuro-symbolic Generative Model
Massachusetts Institute of Technology(麻省理工学院)
人类有能力从有限的数据中快速理解丰富的组合概念。在这里,我们调查这种能力的背景下,听觉信号,这已经演变成一个文化传播实验,研究语言中组合结构的出现。我们提出了一个神经符号生成模型,它结合了以前概念学习方法的优点。我们的模型在神经网络方法上进行快速推理,同时仍然保留了结构化生成方法中有限数据的可解释性和泛化性。该模型在分类上优于纯粹基于神经网络的方法,如针对地面实况和人类实验分类偏好两者评估的,并且还产生观察到的信号的优异再现。我们的研究结果表明,灵活的组合神经符号架构的能力,在原始感知领域的人类一样的泛化,并提供了一个步骤,发展精确的计算模型的归纳偏见在语言进化。
2021-04-16 cs.AI cs.CL cs.LG
Neuro-Symbolic Continual Learning: Knowledge, Reasoning Shortcuts and Concept Rehearsal
University of Trento(特伦托大学);University of Pisa(比萨大学);University of Modena and Reggio Emilia(摩德纳-雷焦艾米利亚大学)
针对神经符号持续学习中现有方法易灾难性遗忘、易出现推理捷径的问题,提出概念级持续学习策略COOL,在三个新基准上实现了其他策略无法达到的持续高性能。
2023-12-19 cs.AI cs.LG
An Empirical Evaluation of Neural and Neuro-symbolic Approaches to Real-time Multimodal Complex Event Detection
the University of California, Los Angeles(加利福尼亚大学洛杉矶分校)
本文实证比较端到端神经、两阶段概念神经与符号有限状态机神经符号架构在多模态复杂事件检测中的表现,证明神经符号方法在时间推理上显著更优。
2024-03-03 cs.AI
Weakly Supervised Reasoning by Neuro-Symbolic Approaches
College of Computer Science, Sichuan University(四川大学计算机学院);University of Alberta(阿尔伯塔大学)
本文提出神经符号方法,将符号潜在结构与神经网络结合,通过强化学习或松弛形式实现弱监督推理,并在表格查询、句法、信息抽取和规则推理等任务中验证有效性。
2023-09-19 cs.AI cs.CL cs.LG
Neuro-symbolic Natural Logic with Introspective Revision for Natural Language Inference
Ingenuity Labs Research Institute(匠心实验室研究所);Queen’s University(女王大学)
我们介绍了一个神经符号的自然逻辑框架的基础上强化学习内省修订。该模型通过策略梯度对特定的推理路径进行采样和奖励,其中内省修正算法修改中间符号推理步骤以发现奖励操作,并利用外部知识来减轻虚假推理和训练效率低下。该框架由适当设计的局部关系模型支持,以避免输入纠缠,这有助于确保证明路径的可解释性。该模型具有内置的可解释性,并表现出优越的能力,在单调性推理,系统的推广,和可解释性,与以前的模型在现有的数据集。
2022-06-05 cs.CL
Neuro-Symbolic AI for Military Applications
Howard University(霍华德大学);College of Engineering and Architecture(工程与建筑学院);DoD Center of Excellence in Artificial Intelligence and Machine Learning(美国国防部人工智能与机器学习卓越中心);U.S. Army Research Laboratory(美国陆军研究实验室)
本文全面探讨了Neuro-Symbolic AI在军事领域的应用潜力,分析了其结合神经网络与符号推理在改善决策、情报分析及强化自主系统方面的优势,并讨论了相关的伦理、战略和技术考量。
2024-08-24 cs.AI
Neuro-Symbolic Decoding of Neural Activity
Columbia University(哥伦比亚大学);Stanford University(斯坦福大学)
NEURONA通过结合符号推理与fMRI基础,提升神经活动解码的准确性和泛化能力。
2026-02-22 cs.AI cs.LG q-bio.NC
Hybrid Neuro-Symbolic Models for Ethical AI in Risk-Sensitive Domains
Independent Researcher USA Email(独立研究者)
本文提出混合神经符号模型,用于在风险敏感领域实现伦理AI,通过结合神经网络与符号推理,提升AI的可解释性和合规性。
2025-11-20 cs.AI
Prompt2DeModel: Declarative Neuro-Symbolic Modeling with Natural Language
Michigan State University(密歇根州立大学);Florida Institute for Human and Machine Cognition(佛罗里达人机认知研究所)
本文提出一种基于自然语言提示的对话式管道Prompt2DeModel,利用大语言模型在DomiKnowS框架中生成声明式程序,结合动态检索与解析器反馈等技术,使非ML/AI专家的领域专家能为定制神经模型形式化声明领域知识。
2024-07-30 cs.AI cs.CL cs.HC
Neuro-Symbolic Generative Art: A Preliminary Study
Adobe(奥多比公司);Georgia Tech(佐治亚理工学院);Facebook AI Research(Facebook人工智能研究院)
生成艺术方法有两类:神经的,其中训练深度模型以从数据分布中生成样本,以及符号或算法的,其中艺术家设计主要参数,并且自治系统在这些约束内生成样本。在这项工作中,我们提出了一个新的混合流派:神经符号生成艺术。作为初步研究,我们训练生成的深度神经网络的样本从符号的方法。我们通过人类研究表明,受试者发现最终的文物和创造过程中使用我们的神经符号的方法比符号的方法更有创造力的时间分别为61%和82%。
2020-07-04 cs.AI cs.CV cs.LG
Sample-efficient Neuro-symbolic Proximal Policy Optimization
Dept. of Computer Science, University of Verona(威尼斯大学计算机科学系)
本文提出神经符号扩展的近端策略优化方法,通过将简单实例中学习的部分逻辑策略规范用于指导更复杂的环境学习,提升了在稀疏奖励领域中的学习效率和回报率。
2026-04-28 cs.AI
Constructing a Neuro-Symbolic Mathematician from First Principles
Keqin Xie
本文提出Mathesis架构,通过神经符号方法将数学状态编码为超图,并利用可微逻辑引擎实现逻辑一致性与能量最小化,以提升复杂推理能力。
2025-12-31 cs.AI
Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis
本文刻画神经符号框架的技术方面,展示三个通用框架并识别挑战,以激发社区重新思考该问题。
2025-09-08 cs.AI cs.CL cs.SC
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
University of Western Australia(西澳大利亚大学);Well-Typed(Well-Typed公司);University of Strathclyde(思克莱德大学);Heriot-Watt University(赫瑞-瓦特大学);University of Birmingham(伯明翰大学)
本文提出 Vehicle 验证条件语言,通过通用分解与定制类型化编译流程,弥合神经符号程序验证中的嵌入鸿沟,并成功验证神经网络自动驾驶汽车的安全性。
2025-06-06 cs.AI
A Fully Spectral Neuro-Symbolic Reasoning Architecture with Graph Signal Processing as the Computational Backbone
Andrew Kiruluta(独立研究者)
本文提出一种完全谱域的神经符号推理架构,以图信号处理为核心主干,将逻辑实体和关系编码为图信号并通过可学习谱滤波器与谱规则落地实现推理,在多个基准上提升了逻辑一致性、可解释性和计算效率。
2025-08-19 cs.AI
pix2rule: End-to-end Neuro-symbolic Rule Learning
Imperial College London, United Kingdom(伦敦帝国理工学院)
人类有能力将低级视觉输入与高级符号推理无缝结合起来,通常以识别对象,学习它们之间的关系和应用规则的形式。神经符号系统的目标是为视觉处理和抽象推理分别带来一个统一的方法,以连接主义和逻辑为基础的原则。本文提出了一种完整的神经符号方法,用于将图像处理为对象,以端到端的方式学习关系和逻辑规则。主要贡献是深度学习架构中的可区分层,可以通过修剪和阈值化来提取符号关系和规则。我们评估我们的模型使用两个数据集:子图同构任务的符号规则学习和图像分类域的复合关系的学习对象,关系和规则。我们证明了我们的模型超越了最先进的符号学习器,并且优于深度关系神经网络架构。
2022-02-28 cs.AI cs.LG
Towards Efficient Neuro-Symbolic AI: From Workload Characterization to Hardware Architecture
Georgia Institute of Technology(佐治亚理工学院);University of California, Berkeley(加利福尼亚大学伯克利分校);IBM Research(IBM研究院)
本文分析了神经符号AI的工作负载特征,揭示其在现成硬件上的效率瓶颈,并提出跨层优化方案与向量符号架构硬件加速案例以提升性能。
2024-09-23 cs.AI cs.AR
Proof-Carrying Neuro-Symbolic Code
Southampton University(南安普顿大学);Heriot-Watt University(赫瑞瓦特大学)
该研究从神经与符号双视角介绍“带证明的神经符号代码”概念,解释其价值,概述该新领域的初步成功与挑战,为相关研究提供方向。
2025-04-16 cs.AI cs.LO cs.PL
Declarative Design of Neural Predicates in Neuro-Symbolic Systems
TU Delft(代尔夫特理工大学);KU Leuven(鲁汶大学)
针对神经符号系统因神经谓词的函数性质而缺乏声明性的问题,提出并实现了完全声明式神经谓词的通用框架,在保留学习与推理能力的同时,支持仅经单一查询类型训练即可回答任意查询。
2025-01-30 cs.AI
A Neuro-vector-symbolic Architecture for Solving Raven's Progressive Matrices
IBM Research – Zurich(IBM苏黎世研究院);ETH Zürich(苏黎世联邦理工学院)
无论是深度神经网络还是符号人工智能,都没有达到人类所表达的那种智能。这主要是因为神经网络无法分解联合表示以获得不同的对象(所谓的绑定问题),而符号人工智能则遭受详尽的规则搜索等问题。这两个问题在神经符号人工智能中仍然很突出,其目的是将两种范式中的最佳结合起来。在这里,我们表明,这两个问题可以解决我们提出的神经矢量符号架构(NVSA),利用其强大的运营商的高维分布式表示,作为一个共同的语言之间的神经网络和符号AI。NVSA的有效性通过求解Raven渐进矩阵数据集来证明。与最先进的深度神经网络和神经符号方法相比,NVSA的端到端训练在RAVEN数据集中达到了87.7%的平均准确率,在I-RAVEN数据集中达到了88.1%的新记录。此外,与神经符号方法中的符号推理相比,NVSA的概率推理在分布式表示上具有更便宜的操作,快了两个数量级。我们的代码可在https://github.com/IBM/neuro-vector-symbolic-architectures上获得。
2023-03-03 cs.AI cs.CV cs.LG
Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL
ISRST(未知(可能是某个特定名称的机构))
研究基于$IFOL_B$的神经符号人工智能,通过概率计算扩展其认知能力,引入全局和局部对称变换,利用神经网络基于香农最大信息熵计算概率密度函数$KI$,实现对未知句子概率计算及相关实时决策。
2026-07-21 cs.AI
ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction
Austin, USA(美国奥斯汀)
ProofNet++是一个结合LLM与形式化验证、自我修正机制的神经符号框架,通过符号证明树监督和强化学习循环提升自动定理证明的准确性与可验证性。
2025-05-30 cs.AI
Neuro-Symbolic Query Optimization in Knowledge Graphs
Technical University of Munich(慕尼黑工业大学);Fraunhofer-Institut für Intelligente Analyse- und Informationssysteme IAIS(弗劳恩霍夫智能分析与信息系统研究所)
本章提出神经符号查询优化器,融合符号推理与神经计算以改进知识图谱查询执行计划的选择,并分析现有神经组件及实际部署中的挑战。
2024-11-21 cs.AI cs.DB
Neuro-Symbolic Learning of Answer Set Programs from Raw Data
IBM Research Europe(IBM欧洲研究院);Imperial College London(伦敦帝国学院);ILASP Limited(ILASP有限公司);ICREA-Universitat Pompeu Fabra(ICREA-庞培法布拉大学)
本文提出神经符号归纳学习器(NSIL),结合神经网络提取潜在概念与符号知识映射,通过训练表现偏置学习,在多个领域包括NP完全问题上达到最先进准确性和数据效率。
2024-02-02 cs.AI
Neuro-Symbolic Meta-Policies for Temporal Knowledge-Graph Memory under Partial Observability
HumemAI(胡梅人工智能公司);Vrije Universiteit Amsterdam(阿姆斯特丹自由大学);ELLIS Institute Finland & Abo Akademi University(芬兰埃利斯研究所和图尔库大学)
研究部分可观测性下的强化学习,提出神经符号元策略,结合知识图谱编码与值头,通过RDF表示等实现语义网基础,在特定设置下限定符感知的StarE - GNN配置性能最佳且有可追溯性。
2026-11-02 cs.AI
SNeL: A Structured Neuro-Symbolic Language for Entity-Based Multimodal Scene Understanding
Federal University of Rio Grande do Norte(北里奥格兰德联邦大学)
针对多模态场景下复杂实体查询与交互需求,提出结构化神经符号语言SNeL,通过对齐符号推理与神经处理弥合神经符号鸿沟,支持多模态数据的精细化信息提取。
2023-06-09 cs.AI
NEURON: A Neuro-symbolic System for Grounded Clinical Explainability
University of North Texas(北卡罗来纳大学达顿分校);Texas Tech University Health Sciences Center(德克萨斯农工大学健康科学中心)
NEURON结合医学本体和机器学习模型,提升预测可靠性与临床可解释性,通过RAG层生成自然语言解释,在MIMIC-IV数据集上提升AUC至0.84-0.88。
2026-08-17 cs.AI
PACE: A Neuro-Symbolic Framework for Plausible and Actionable Counterfactual Explanations
University of Klagenfurt(克拉根福大学);Norwegian University of Life Sciences(挪威生命科学大学)
提出PACE框架,结合神经网络预测与符号推理,生成符合领域约束的可操作反事实解释,在Adult Income数据集上验证了可行性与可解释性的平衡。
2026-09-14 cs.AI
Retrieval-Augmented Semantic Parsing: Improving Generalization with Lexical Knowledge
University of Groningen(Groningen 大学);Leiden University(莱顿大学)
本文针对开放域语义解析中神经模型难以处理未见过概念的问题,提出检索增强语义解析(RASP)方法,将外部符号知识整合到解析过程,实验表明该方法可显著提升大型语言模型在分布外概念上的性能,几乎翻倍。
2025-08-20 cs.CL
Publishing FAIR and Machine-actionable Reviews in Materials Science: The Case for Symbolic Knowledge in Neuro-symbolic Artificial Intelligence
TIB Leibniz Information Centre for Science and Technology(莱布尼茨科学技术信息中心);L3S Research Center, Leibniz University Hannover(汉诺威莱布尼茨大学L3S研究中心);Eindhoven University of Technology (TU/e)(埃因霍温理工大学);University of Warwick(华威大学);Leibniz Institute for Solid State and Materials Research (IFW)(莱布尼茨固体与材料研究所)
本文提出通过FAIR标准和ORKG发布可机器执行的材料科学评论,强调符号层在神经符号AI中的核心作用。
2026-01-08 cs.AI cs.CL cs.DL
REASON: Accelerating Probabilistic Logical Reasoning for Scalable Neuro-Symbolic Intelligence
REASON通过统一图表示和自适应剪枝技术,实现概率逻辑推理的加速,提升神经符号AI的效率与可扩展性。
2026-01-28 cs.AI cs.AR