arXiv:2508.02320cs.CV2025-08中稿 · ACM MM2025被引 6

用逻辑约束提升零样本动作识别的推理能力

Zero-shot Compositional Action Recognition with Neural Logic Constraints

  • 引入组合与层次逻辑约束,规范动作识别中的语义关系
  • 在Sth-com数据集上显著优于现有方法
  • 适合研究符号推理与视觉理解结合的学者

零样本组合动作识别(ZS-CAR)旨在通过训练时学习的动词和物体原型,识别视频中未见过的动词-物体组合。尽管组合学习取得进展,仍面临两大挑战:一是缺乏组合结构约束,导致原型间产生虚假关联;二是忽视语义层次约束,引发语义模糊并影响训练。本文提出逻辑驱动的ZS-CAR框架LogicCAR,集成双重符号约束:显式组合逻辑与层次原型逻辑。前者建模组合内部限制,增强组合推理能力;后者挖掘不同原型间的语义依赖,赋予模型从细粒度到粗粒度的推理能力。通过将这些约束形式化为一阶逻辑并嵌入神经网络,LogicCAR系统性弥合了符号抽象与现有模型之间的鸿沟。在Sth-com数据集上的大量实验表明,LogicCAR显著优于现有基线方法,验证了逻辑约束的有效性。

原文摘要 · Abstract (English)

Zero-shot compositional action recognition (ZS-CAR) aims to identify unseen verb-object compositions in the videos by exploiting the learned knowledge of verb and object primitives during training. Despite compositional learning's progress in ZS-CAR, two critical challenges persist: 1) Missing compositional structure constraint, leading to spurious correlations between primitives; 2) Neglecting semantic hierarchy constraint, leading to semantic ambiguity and impairing the training process. In this paper, we argue that human-like symbolic reasoning offers a principled solution to these challenges by explicitly modeling compositional and hierarchical structured abstraction. To this end, we propose a logic-driven ZS-CAR framework LogicCAR that integrates dual symbolic constraints: Explicit Compositional Logic and Hierarchical Primitive Logic. Specifically, the former models the restrictions within the compositions, enhancing the compositional reasoning ability of our model. The latter investigates the semantical dependencies among different primitives, empowering the models with fine-to-coarse reasoning capacity. By formalizing these constraints in first-order logic and embedding them into neural network architectures, LogicCAR systematically bridges the gap between symbolic abstraction and existing models. Extensive experiments on the Sth-com dataset demonstrate that our LogicCAR outperforms existing baseline methods, proving the effectiveness of our logic-driven constraints.

零样本识别符号推理动作识别

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。