让AI用神经网络理解多模态信息,同时做有逻辑的决策。
CALM: Contextual Analog Logic with Multimodality
- 用神经网络计算符号谓词的模拟真值,迭代优化推理结果。
- 在物体放置任务中准确率达92.2%,优于传统逻辑和大模型。
- 适合需要可解释推理与多模态感知结合的AI系统设计。
本文提出上下文模拟逻辑与多模态融合(CALM),将符号推理与神经生成结合,使系统能在真实多模态环境中做出上下文敏感的决策。经典二值逻辑难以捕捉人类决策的细微差别,且需人工在多模态场景中设定规则,易僵化脆弱;神经网络虽能提取丰富上下文信息,但缺乏可解释的推理结构。CALM通过领域树表示每个谓词,利用神经网络预测上下文实体的模拟真值,并经符号推理模块过滤以满足约束。在填空式物体放置任务中,CALM达到92.2%准确率,优于经典逻辑(86.3%)和大模型(59.4%);其生成的空间热图与逻辑约束及人类偏好高度一致,经人工评估验证。
原文摘要 · Abstract (English)
In this work, we introduce Contextual Analog Logic with Multimodality (CALM). CALM unites symbolic reasoning with neural generation, enabling systems to make context-sensitive decisions grounded in real-world multi-modal data. Background: Classic bivalent logic systems cannot capture the nuance of human decision-making. They also require human grounding in multi-modal environments, which can be ad-hoc, rigid, and brittle. Neural networks are good at extracting rich contextual information from multi-modal data, but lack interpretable structures for reasoning. Objectives: CALM aims to bridge the gap between logic and neural perception, creating an analog logic that can reason over multi-modal inputs. Without this integration, AI systems remain either brittle or unstructured, unable to generalize robustly to real-world tasks. In CALM, symbolic predicates evaluate to analog truth values computed by neural networks and constrained search. Methods: CALM represents each predicate using a domain tree, which iteratively refines its analog truth value when the contextual groundings of its entities are determined. The iterative refinement is predicted by neural networks capable of capturing multi-modal information and is filtered through a symbolic reasoning module to ensure constraint satisfaction. Results: In fill-in-the-blank object placement tasks, CALM achieved 92.2% accuracy, outperforming classical logic (86.3%) and LLM (59.4%) baselines. It also demonstrated spatial heatmap generation aligned with logical constraints and delicate human preferences, as shown by a human study. Conclusions: CALM demonstrates the potential to reason with logic structure while aligning with preferences in multi-modal environments. It lays the foundation for next-gen AI systems that require the precision and interpretation of logic and the multimodal information processing of neural networks.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。