NARS 中的功能等价性
原文中文,约600字,阅读约需2分钟。发表于: 。该研究通过 Non-Axiomatic Reasoning System (NARS) 框架中的 OpenNARS for Applications (ONA) 探讨功能等同的概念,通过改进 ONA 来推导功能等同。研究提供了 ONA...
本文介绍了解决抽象与推理语料库 (ARC) 问题的新方法,包括使用DreamCoder神经符号推理求解器和大语言模型 (LLMs)。这些方法在解决ARC任务方面取得了进展,并提供了一种有趣的补充方式。同时,还发布了arckit Python库,方便未来对ARC的研究。