Source-linked AI summary

STAR: A Benchmark for Situated Reasoning in Real-World Videos

Bo Wu, Shoubin Yu, Zhenfang Chen, Joshua B Tenenbaum, Chuang Gan

arXiv:2405.09711v1cs.AIcs.CLcs.CV

TL;DR

Real-world situated reasoning requires systems to integrate dynamic context with structured and logical reasoning, yet existing approaches struggle to extend beyond synthetic settings. STAR addresses this gap with a real-world video benchmark built on situation hypergraphs and functional-program question answering, alongside a diagnostic neuro-symbolic model. Experiments show that current methods still struggle, with situation abstraction emerging as a major bottleneck in the diagnostic analysis.

  • Problem

    Existing reasoning systems either rely on impractical manually specified logic rules or are mainly evaluated on synthetic videos, leaving their performance in real-world situations unclear.

  • Method

    STAR uses real-world human-activity videos, situation hypergraphs, functional-program question answering, and a diagnostic neuro-symbolic model separating perception, abstraction, language understanding, and reasoning.

  • Results

    Existing methods struggle on STAR; the diagnostic oracle reaches 100% accuracy, while removing perfect situation abstraction drops performance about 55.95%.

  • Takeaways & Limitations

    STAR provides a controlled benchmark for studying situated reasoning through bottom-up perception, structured situation abstraction, and explicit logical reasoning in real-world videos.

Abstract

from arXiv · show

Reasoning in the real world is not divorced from situations. How to capture the present knowledge from surrounding situations and perform reasoning accordingly is crucial and challenging for machine intelligence. This paper introduces a new benchmark that evaluates the situated reasoning ability via situation abstraction and logic-grounded question answering for real-world videos, called Situated Reasoning in Real-World Videos (STAR Benchmark). This benchmark is built upon the real-world videos associated with human actions or interactions, which are naturally dynamic, compositional, and logical. The dataset includes four types of questions, including interaction, sequence, prediction, and feasibility. We represent the situations in real-world videos by hyper-graphs connecting extracted atomic entities and relations (e.g., actions, persons, objects, and relationships). Besides visual perception, situated reasoning also requires structured situation comprehension and logical reasoning. Questions and answers are procedurally generated. The answering logic of each question is represented by a functional program based on a situation hyper-graph. We compare various existing video reasoning models and find that they all struggle on this challenging situated reasoning task. We further propose a diagnostic neuro-symbolic model that can disentangle visual perception, situation abstraction, language understanding, and functional reasoning to understand the challenges of this benchmark.

1 Introduction

STAR frames situated reasoning as context-dependent logical reasoning over dynamic real-world situations, addressing the gap between synthetic visual reasoning and practical scenarios. It introduces a benchmark and diagnostic framework centered on structured situation representations and explicit reasoning.

  • Situated reasoning integrates logical thinking with present knowledge captured from surrounding situations.
  • Existing logic-based approaches require manually specified rules that cannot cover all real-world scenarios, while synthetic video results may not transfer to real situations.
  • Existing state-of-the-art methods make many errors on situations that are trivial for humans, motivating a diagnostic neuro-symbolic analysis framework.
  • STAR evaluates interaction, sequence, prediction, and feasibility questions using real-world videos of human activities and structured situation hypergraphs.
  • Each video is grounded in a situation hypergraph, and each question is paired with a functional program specifying explicit reasoning steps.

2 Related Work

Prior work spans visual question answering, compositional reasoning datasets, and formal action reasoning. STAR differs by targeting explicit situated reasoning in real-world videos rather than primarily visual comprehension, synthetic dynamics, or spatio-temporal relations.

  • Visual question answering benchmarks evaluate vision-language understanding through questions about images or videos and visual comprehension.
  • Compositional visual reasoning datasets use questions and logic programs for step-by-step reasoning, often in static images or synthetic videos.
  • Synthetic video benchmarks commonly focus on object movements, collisions, and spatio-temporal relations, leaving their representativeness for real-world situations uncertain.
  • Situation calculus formalizes changing scenarios with first-order logic formulae, but applying such formalisms directly to real-world situations is impractical because axioms may be unobservable and situations are dynamic.
  • STAR combines situation abstraction and diagnostic reasoning across human-object interaction, temporal sequence analysis, action prediction, and feasibility inference.

3 Situated Reasoning Benchmark

STAR constructs a controlled real-world video benchmark by abstracting dynamic activities into situation hypergraphs and generating logic-grounded questions, answers, and distractors. Its design also addresses reasoning shortcuts, answer imbalance, and language-quality issues.

  • Benchmark construction: STAR contains about 60K questions, 240K candidate choices, 22K trimmed situation clips, and about 144K situation hypergraphs.
  • Situation abstraction: Situations are trimmed clips of multiple consecutive or overlapping actions, with action segments divided into preconditions and effects.
  • Situation abstraction: Situation hypergraphs represent person and object nodes, in-frame relations, action hyperedges, and consecutive or overlapping dynamic subgraphs.
  • Question design: The benchmark covers interaction, sequence, prediction, and feasibility questions concerning happened facts, temporal order, future actions, and feasible actions.
  • Answer generation: Correct answers are generated by executing functional programs over situation hypergraphs, with operations encoding step-by-step reasoning.
  • Answer design: STAR uses compositional, random, and frequent distractors to force distinction between reasoning logic and answer-frequency guessing.
  • Debiasing and balancing: Debiasing balances answer distributions and option frequencies while reducing shortcuts in action combinations.
  • Quality control: 98% grammar correctness was reached after three iterative correction rounds, compared with 87% initially.

4 Baseline Evaluation

STAR evaluates video reasoning across four question types, and baseline results show that existing models remain far from solving the task reliably. Video QA models improve over simpler baselines, but substantial performance headroom remains.

  • STAR measures average answer accuracy across interaction, sequence, prediction, and feasibility questions.Each question requires selecting the correct answer from four candidate options.
  • 25% accuracy is achieved by Q-type (Random), while Q-type (Frequent) performs lower, indicating that frequent distractors affect inference probability.These basic-model results also indicate that the benchmark does not exhibit option bias.
  • Language-only blind models outperform the basic baselines, while vision-language models provide only limited further improvement.The comparison progresses from random and frequent-answer strategies to language-only and visual-language systems.
  • 5.03% average-accuracy improvement is observed from simple vision-language models to video QA models.The stronger video QA models explicitly model object interactions or use improved visual representations.
  • 36.79% average accuracy is achieved by ClipBERT, the best-performing baseline, yet the overall baseline level remains inadequate.The table caption likewise reports that video QA models perform better while substantial headroom remains.

5 Diagnostic Model Evaluation

NS-SR is a neuro-symbolic diagnostic model that separates visual perception, situation abstraction, language understanding, and symbolic reasoning for STAR. Its controlled evaluations identify situation abstraction and visual perception as major challenges, while language understanding is comparatively less difficult.

  • Model Design: NS-SR disentangles visual perception, situation abstraction, language understanding, and symbolic reasoning to diagnose STAR’s challenges.Its architecture combines neural modules for perception, transition modeling, and language parsing with symbolic execution over situation hypergraphs.
  • Model Design: The video parser detects entities, relationships, human-object interactions, and poses from video keyframes for situation construction.The module uses object and person detection, entity representations, relationship detection, and pose parsing.
  • Model Design: The transition model predicts present and future situations as hypergraphs, while the graph encoder converts detected structures into organized token sequences.The dynamics transformer models relations among input data types and predicts missing or future state information.
  • Model Design: The language parser converts questions into nested functional programs, and the symbolic executor applies those operations iteratively to predicted hypergraphs.The executor begins from question cues such as objects or motion and outputs the answer after executing the program operations.
  • Result Analysis: 100% oracle accuracy is achieved with ground-truth situation hypergraphs and programs, establishing the upper bound for the diagnostic evaluation.Removing perfect conditions isolates the effects of situation abstraction, visual perception, language understanding, and full-model prediction.
  • Result Analysis: A situation-abstraction variant drops about 55.95%, visual-perception variants show substantial degradation, language-understanding changes stay within 1%, and the full model remains insufficient.The results identify structured situation abstraction as a bottleneck, indicate greater difficulty in relationship detection than object detection, and motivate improvements in visual perception and abstraction.

6 Conclusions

The paper introduces STAR to study reasoning in real-world situations through structured abstraction and logical reasoning. Experiments show that current methods still struggle, while NS-SR diagnoses benchmark challenges and points toward further development.

  • Conclusions: STAR benchmarks reasoning in dynamic real-world situations across interaction, sequence, prediction, and feasibility questions.It combines situation hypergraphs with aligned questions, programs, and data types.
  • Conclusions: Experiments demonstrate that situated reasoning remains challenging for state-of-the-art methods.The benchmark is intended to support further study of real-world situated reasoning.
  • Conclusions: NS-SR uses a neuro-symbolic architecture to diagnose challenges across perception, situation abstraction, language understanding, and reasoning.The paper presents the mechanism as not yet fully developed while identifying promising future directions.
Loading 2405.09711v1…