arXiv:2411.00773v2 通知类型：替换 摘要：近年来，神经符号（NeSy）AI系统的发展迅速，这些系统将符号推理融入了深度神经网络。然而，现有的大多数NeSy AI基准测试未能提供包含复杂多智能体交互的长期推理任务。此外，它们通常受限于固定且简单的逻辑规则，这些规则仅限于少量实体，这使得它们远远无法反映现实世界的复杂性。为了解决这些关键缺口，我们引入了LogiCity，这是第一个基于可定制的一阶逻辑（FOL）的城市环境模拟器，该环境包含多个动态智能体。LogiCity使用语义和空间概念来建模各种城市元素，例如IsAmbulance(X)和IsClose(X, Y)。这些概念用于定义FOL规则，这些规则治理各种智能体的行为。由于这些概念和规则是抽象的，因此它们可以适用于任何智能体组成的任何城市，促进各种场景的实例化。此外，LogiCity的一个关键特点是支持用户配置抽象，从而允许为逻辑推理设定自定义的模拟复杂性。为了探索NeSy AI的各种方面，LogiCity引入了两个任务，一个侧重于长期序列决策，另一个侧重于单步骤视觉推理，难度和智能体行为有所不同。我们的广泛评估表明，NeSy框架在抽象推理方面具有优势。此外，我们强调了处理长期多智能体场景中更复杂的抽象或在高维、不均衡数据下的重大挑战。凭借其灵活的设计、各种功能以及新提出的挑战，我们认为LogiCity代表了推动下一代NeSy AI发展的关键一步。所有代码和数据已在我们网站上开源：https://jaraxxus-me.github.io/LogiCity/