推理是人类智力的重要组成部分，它在我们的批判性思维、支持负责任的决策和解决具有挑战性的问题的能力中发挥着基础性作用。传统上，人工智能在基于逻辑的知识表示的背景下处理推理。然而，近年来，随着基于 Transformer 的语言模型的出现，自然语言处理取得了飞跃，这暗示着这些模型可能表现出推理能力，特别是在它们规模越来越大并在更多数据上进行训练的情况下。尽管关于语言模型中的推理是什么的讨论仍在继续，但仍然难以确定这些模型实际上在多大程度上能够进行推理。 本研讨会的目标是为来自不同学科和/或人工智能视角的研究人员创建一个平台，以探索方法和技术，旨在协调使用 Transformer 的语言模型与使用基于逻辑的表示之间的推理。具体目标包括分析语言模型的推理能力，同时衡量知识表示方法，将 KR 风格的推理能力注入语言模型（包括通过神经符号方式），以及形式化语言模型执行的推理类型。这种探索旨在揭示语言模型如何有效地整合和利用知识及其推理，从而提高它们在精度和可靠性至关重要的领域的应用和效用。