BriefGPT.xyz
Ask
alpha
关键词
backward proof search algorithm
搜索结果 - 1
MM
基于查询的 PAC 学习推理
本研究探讨了利用支持证明查询的数据集来学习规则的问题,通过修改足够不考虑知识库内容的后向证明搜索算法,可以同时学习这些规则,并使用它们进行证明搜索来给出像链接和解析这样的标准逻辑的算法。
PDF
5 years ago
Prev
Next