BriefGPT.xyz
Ask
alpha
关键词
declarative
搜索结果 - 2
走向完全声明性神经符号语言
提出并实现了完全声明性的神经谓词的通用框架,从而扩展到完全声明性的 NeSy 框架。首先证明声明性扩展在保持学习和推理能力的同时,能够在仅通过单个查询类型进行训练的情况下回答任意查询。
PDF
2 months ago
谓词逻辑作为建模语言:IDP 系统
介绍了基于纯逻辑物理模型语言的扩展的逻辑编程形式,其中的复杂定义是作为规则集的表示,并且通过多种形式的推理来解决不同的计算问题。
PDF
10 years ago
Prev
Next