NeuroQL：一种用于主体间推理的神经符号语言与数据集

我们提出了一种用于主体间推理（Inter-Subjective Reasoning）的新 AI 任务和基线解决方案。我们将主体间信息定义为客观与主观信息的混合，可能由不同方共享。示例包括 IR（信息检索）系统报告的 commodities 及其客观属性，需要与来自在线论坛的主观用户评论进行交叉引用。对于 AI 系统要成功对两者进行推理，它需要能够将客观事实的符号推理与在主观用户评论中发现的共享共识相结合。为此，我们引入了 NeuroQL 数据集和 DSL（领域特定语言）作为该问题的基线解决方案。NeuroQL 是一种神经符号语言，它将逻辑合一扩展为用于提取和检索的神经原语。它可作为将主体间问题（以自然语言提出）自动翻译为能够回答这些问题的神经符号代码的目标。