arXiv:2405.02079v3 通告类型: replace-cross 摘要：大语言模型（LLMs）中编码的知识丰富以及它们能够在各种场景下零样本应用这些知识的能力，使它们成为决策支持的有前途的候选工具。然而，它们目前受限于无法提供可以忠实解释和有效辩论以纠正错误的输出。在本文中，我们通过引入**论证性大语言模型（ArgLLMs）**来尝试解决这些优点和弱点，ArgLLMs是一种增强LLMs的方法，能够添加论证性推理。具体而言，ArgLLMs构建论证框架，这些框架随后作为支持决策的正式推理的基础。这些论证框架和正式推理的可解释性意味着任何由ArgLLMs做出的决策都可以进行解释和辩论。我们通过实验评估ArgLLMs在声明验证决策任务中的性能，与最先进的技术进行比较。我们还定义了新的特性来表征可辩论性，并以这些特性为依据正式评估ArgLLMs。