BriefGPT.xyz
Feb, 2025
通过大型语言模型和一致性驱动推理实现的神经符号人工智能
Neurosymbolic artificial intelligence via large language models and coherence-driven inference
HTML
PDF
Steve Huntsman, Jewell Thomas
TL;DR
本研究解决了现有人工智能在推理一致性方面的不足，提出了一种生成命题集的算法，以支持一致性驱动的推理。研究表明，大型语言模型能够有效重建一致性图，从而推动机器认知技术的发展。
Abstract
We devise an algorithm to generate sets of propositions that objectively instantiate graphs that support
Coherence-driven inference
. We then benchmark the ability of
Large language models
(LLMs) to reconstruct co
→