神经符号系统中神经谓词的声明式设计
人工智能
2025-01-31 v3
摘要
神经符号系统 (NeSy) 声称能够结合人工智能中学习与推理能力的优势，但缺乏推理系统的核心属性：声明式。缺乏声明式由神经谓词继承的函数性质所致。我们提出并实现了一个用于神经谓词的通用框架，实现了完全声明式，从而扩展到完全声明式的 NeSy 框架。我们首先表明，声明式扩展在仅在单一查询类型上进行训练的情况下，能够保持学习与推理能力，同时能够回答任意查询。
引用
@article{arxiv.2405.09521,
title = {Declarative Design of Neural Predicates in Neuro-Symbolic Systems},
author = {Tilman Hinnerichs and Robin Manhaeve and Giuseppe Marra and Sebastijan Dumancic},
journal= {arXiv preprint arXiv:2405.09521},
year = {2025}
}