NeSyA：神经符号自动机
人工智能
2025-05-22 v2 机器学习
摘要
神经符号（NeSy）人工智能已成为整合神经与符号推理的有前景方向。不幸的是，很少有努力致力于开发针对序列/时序问题的 NeSy 系统。我们识别出符号自动机（结合了时序推理的自动机能力与静态推理的命题逻辑能力）作为在时序领域表达知识的合适形式化方法。聚焦于序列分类与标注任务，我们展示了符号自动机可以在概率语义下与基于神经的感知集成，形成端到端可微分模型。我们提出的混合模型 NeSyA（Neuro Symbolic Automata）在合成基准测试中表现出优于先前 NeSy 系统的扩展性或准确性，并在真实世界事件识别任务中相对于纯神经系统提供了泛化优势。
引用
@article{arxiv.2412.07331,
title = {NeSyA: Neurosymbolic Automata},
author = {Nikolaos Manginas and George Paliouras and Luc De Raedt},
journal= {arXiv preprint arXiv:2412.07331},
year = {2025}
}