---
title: Interaction Queries Overview
url: https://www.emergentmind.com/topics/interaction-queries
type: topic
---

# Interaction Queries Overview

Interaction queries are queries whose interpretation, reformulation, execution, or answer timing is coupled to an interaction loop rather than fixed by a single submission. Across database systems, semantic question answering, information retrieval, tabular analysis, and multimodal agents, they arise when users do not precisely know the database structure or content, when natural-language questions are ambiguous or context-dependent, when ad-hoc query formulation over large schemas is difficult, or when the evidence needed for an answer appears asynchronously with respect to the query itself [1603.04068] [2006.11534] [2205.15918] [2506.18472]. Recent work therefore treats interaction not as an interface afterthought but as part of the query semantics itself, including explicit frameworks for cooperative ambiguity resolution and for deciding when clarification, reformulation, or deferral is required [2511.04584].

## 1. Scope and taxonomy

A central distinction in recent work is between query execution and query interpretation. In tabular data analysis, an actionable query interpretation is defined as the unique combination of a specific analytical procedure and the exact data scope, including entities, temporal bounds, and domain constraints [2511.04584]. On that basis, a cooperative query is one that provides sufficient specification, either explicitly or through reasonable inference, to identify at least one valid, actionable query interpretation, whereas an uncooperative query is underspecified to the degree that ambiguity is irresolvable [2511.04584]. This framing recasts ambiguity as part of cooperative interaction rather than as a purely technical defect.

Database interaction work formulates the same problem in behavioral terms. Users often do not precisely know the structure and content of databases, so their queries do not exactly reflect their information needs, and both users and DBMSs adapt during interaction rather than operating with fixed strategies [1603.04068]. In information retrieval, the corresponding issue is that initial search queries are often unclear or lack context, so clarification questions or clarification panels become part of the retrieval process rather than a separate usability layer [2205.15918]. In semantic question answering, uncertainty appears as a space of candidate semantic interpretations over a knowledge graph, especially for complex questions involving multiple entities and relations [2006.11534].

Interaction queries also include temporally misaligned settings. AViLA defines Query-Evidence Asynchrony as the mismatch between when a user issues a query and when supporting evidence appears in a streaming video, distinguishing evidence-before-query, evidence-during-query, and evidence-after-query cases [2506.18472]. A related context-sensitive form appears in semantic parsing for interactions, where each utterance must be mapped to an executable formal query while referencing previous utterances and previously generated queries [1804.06868].

## 2. Formal models of interactive querying

One major line of work treats interaction as uncertainty reduction over a hypothesis space. IQA introduces the question interpretation space \(QIS\), whose elements are complete query interpretations, and ranks interaction options with the Option Gain metric
$$
OG(IO) = usability(IO)^{\omega} \times IG(IO),
$$
where \(usability(IO)\) is in \([0,1]\), \(IG(IO)\) is the expected entropy reduction, and \(\omega\) controls the weight of usability [2006.11534]. The interaction process is explicitly described as resembling a cost-sensitive decision tree, with user feedback pruning candidate semantic queries [2006.11534].

A second line models interaction as a game between adaptive agents. In the signaling-game framework for DBMS querying, intents \(\{e_1,\ldots,e_m\}\), queries \(\{q_1,\ldots,q_n\}\), and interpretations or results \(\{s_1,\ldots,s_o\}\) are linked by a user strategy \(U\) and a DBMS strategy \(D\), both represented as row-stochastic matrices [1603.04068]. The shared objective is the expected payoff
$$
u_r(U, D) = \sum_{i=1}^m \pi_i \sum_{j=1}^n U_{ij} \sum_{\ell=1}^o D_{j\ell}\; r(e_i, s_\ell),
$$
and both sides are updated with Roth-Erev reinforcement learning [1603.04068]. The paper reports that the expected payoff \(u_r(U, D(t))\) is a submartingale and converges almost surely, formalizing the emergence of a common language for intents and queries [1603.04068].

Context-dependent semantic parsing adds an explicit interaction state. The ATIS model maintains a discourse state \(d_i\) that is updated after each turn, conditions the utterance encoder on \(d_{i-1}\), and augments generation with copying of sub-sequences from previously predicted queries [1804.06868]. The result is a combination of implicit reference modeling through attention over prior utterances and explicit reference modeling through segment copying, which directly targets ellipsis and cross-turn reuse [1804.06868].

An older but conceptually related formalization appears in interactive IR based on quantum probabilistic representations. There, the first interaction of retrieval—the user typing a query—is modeled as a query density operator \(\rho_q\), documents are represented as subspaces with projector \(\widehat{S}_d\), and relevance is \(\operatorname{tr}(\rho_q \widehat{S}_d)\) [1002.3238]. That work explicitly argues that representing queries and documents as multidimensional objects is a step toward “truly” interactive IR systems [1002.3238].

## 3. Interactive clarification and refinement mechanisms

In semantic question answering, IQA inserts interaction directly into the SQA pipeline. The architecture comprises a Shallow Parser, Entity Linker, Relation Linker, and Query Builder, each of which may use multiple sub-tools to increase candidate recall [2006.11534]. The user is shown interaction options drawn from four categories—nugget interpretations, superclasses or types, answer types, and complete queries—and can confirm or reject them while the system recalculates Option Gain after each update [2006.11534]. Interaction terminates when the user accepts a complete query or reaches a preset interaction limit [2006.11534].

In information retrieval, fully simulated multi-turn clarification has been used to study dynamic query refinement. The framework of “Interactive Query Clarification and Refinement via User Simulation” starts from an initial query \(q_0\), generates a diverse set of candidate reformulations with T5 and diverse beam search, and then repeatedly presents \(N\) candidate queries, often \(N=2\), to a user agent that selects the one with highest similarity to the intent embedding [2205.15918]. A conditional ranking model with a Hierarchical RNN uses the sequence of positive and negative feedback pairs \((q^+, q^-)\) to update the ranking over subsequent turns [2205.15918]. This makes the clarification process history-aware and dynamic rather than log-replayed [2205.15918].

InteracSPARQL applies the same interaction principle to semantic web querying. It first parses SPARQL into an AST, produces rule-based structured natural language explanations from the AST, refines these explanations with an LLM, and then enters an interactive refinement loop in which execution results, explanations, and targeted feedback are jointly used to update the query [2511.02002]. Entity and property errors are resolved through knowledge-graph tool calls, and only the components flagged as problematic are revised, preserving validated parts of the query [2511.02002]. The design goal is not merely NL-to-SPARQL generation, but iterative query refinement through explanation.

A related LLM-mediated mechanism appears in medical visualization. “Changing the Paradigm from Dynamic Queries to LLM-generated SQL Queries with Human Intervention” replaces traditional sliders, check boxes, and drop-downs with natural-language requests that are translated into editable SQL, paired with a natural-language explanation and assumptions, and then executed to drive the visualization [2509.09461]. The paper also reintroduces dynamic queries on demand by extracting SQL subtrees into widgets for rapid, incremental, reversible control over selected filters [2509.09461]. This preserves human intervention while moving query formulation into an editable symbolic form.

## 4. Query formulation over large conceptual schemas

A distinct tradition studies interaction queries in conceptual-schema environments where the central difficulty is not ambiguity in language but the scale and structure of the schema. Query by Navigation decomposes formulation into an explorative phase and a constructive phase [2105.09562]. In the explorative phase, users build linear path expressions by navigating the schema through refinements and enlargements; in the constructive phase, they combine the resulting paths using concatenation, union, intersection, and selection [2105.09562]. The underlying query-by-navigation graph is formalized as \(QBN = (Nodes, RefineTo, AssTo)\), and navigation is treated as traversal over partial queries rather than over instance data alone [2105.09562].

Point to Point Queries address the case in which users know which object types matter but not how they are related. The schema is modeled as a labeled undirected graph \(G=(N,E)\), candidate paths are ranked by a badness function that balances conceptual importance and path length, and the system returns the “best” paths first with a MORE option for incremental disclosure [2102.01411]. Because enumerating all paths is intractable, the paper uses incremental best-first search with schema reduction and clustering to prune irrelevant portions of the graph before path discovery [2102.01411].

Spider queries provide a complementary mechanism for broad contextual expansion around a known object type. Starting from an object type, the system recursively expands to all directly related object types, producing a rooted tree that “fans out” over the conceptual schema [2105.10349]. Users can then prune branches that are not relevant, and any branch can itself become the root of a new spider query [2105.10349]. The construction avoids cycles by ensuring that no object type appears twice on the same root-to-node path, and the resulting structure can be translated into path expressions suitable for SQL or natural-language verbalization [2105.10349].

Taken together, these mechanisms shift query formulation from direct symbolic authoring toward controlled schema exploration. They are especially suited to ad-hoc querying in large conceptual schemas, where users may know domain concepts but not schema topology [2105.09562] [2102.01411] [2105.10349].

## 5. Empirical findings on effectiveness, usability, and real user behavior

Empirical work consistently reports that a small number of interactions can materially improve query quality. In IQA, user studies on LC-QuAD show that IQA-OG achieves up to 20 percentage points improvement in \(F_1\) score over the best non-interactive baseline, that IQA-OG gives a 10 point higher \(F_1\) score than IQA-IG, and that both IQA-OG and IQA-IG require only about \(3.6\)–\(3.8\) interactions on average [2006.11534]. Users rated IQA-OG at \(4.40/5\) versus \(4.13/5\) for IQA-IG, with the difference reported as statistically significant at \(p<0.05\) [2006.11534].

The fully simulated IR framework reports the same qualitative trend. On the MS MARCO 2020 passage test set, “Interact. + KMeans” rises from \(0.4031\) at \(0\) turns to \(0.5232\) at \(1\) turn and \(0.5515\) at \(5\) turns in MRR@10, while “Interact. + Random Sampl.” rises from \(0.4031\) to \(0.4786\) and then \(0.5019\) [2205.15918]. The reported upper bound remains the oracle “Best Reformulation” at \(0.8720\), so interaction is framed as narrowing rather than eliminating the gap between naive ranking and best possible reformulation [2205.15918].

InteractComp shows, however, that current search agents still underuse interactive clarification. Across 210 expert-curated ambiguous queries in 9 domains, evaluated over 17 models, the best model reaches only \(13.73\%\) accuracy, while OpenAI o3 reaches \(71.50\%\) when given complete context [2510.24668]. Forced interaction changes the picture: for GPT-5, increasing interactions from \(1.14\) to \(11.56\) raises accuracy from \(14.0\%\) to \(40.0\%\), and the paper identifies systematic overconfidence rather than reasoning deficits as the main bottleneck [2510.24668]. It also reports that interaction capability remained stagnant at \(6\)–\(14\%\) over 15 months while search performance on complete queries improved seven-fold [2510.24668].

User-query studies indicate that real interaction behavior is heterogeneous and often weakly specified. In the legal-aid dataset of 3,847 queries from 1,252 users, 29.95% of queries contained factual information, 64.93% sought legal information rather than advice, and 28.57% shaped or controlled the model’s answer [2501.01711]. Only 129 queries, or 3.35%, fit the “personalized actionable advice” extreme, and only 117 queries, or 3.04%, fit the “pure legal look-up” extreme; 93.61% were hybrid or intermediate [2501.01711]. This empirical pattern is consistent with the claim that query interfaces must accommodate mixed intentions rather than assume either pure lookup or fully specified consultation.

Evaluation methodology itself has become a research issue. The tabular-analysis study examines 15 popular datasets and reports an uncontrolled mixing of unambiguous, cooperative, and uncooperative queries, which confounds execution accuracy with interpretation capability and undermines single-gold-answer evaluation when multiple reasonable interpretations exist [2511.04584]. A plausible implication is that future evaluation of interaction queries must stratify by grounding requirements rather than collapse all query types into a single benchmark score.

## 6. Emerging directions and terminological extensions

Streaming multimodal agents extend interaction queries into time-critical settings. AViLA maintains query-agnostic memory, identifies evidence relevant to each ad-hoc query, and uses an evidence-grounded trigger to decide whether to respond or defer [2506.18472]. On AnytimeVQA-1K, AViLA with adversarial verification trigger reaches \(61.5\%\) accuracy with a mean temporal offset of \(17.3\) seconds, compared with \(36\%\) and \(53.1\) seconds for Flash-VStream and \(9.6\%\) and \(69.7\) seconds for VideoLLM-Online [2506.18472]. This makes response timing part of query correctness.

Another direction treats queries as specifications from which interfaces themselves can be synthesized. PI2 takes an example sequence of analysis queries, parses them into Difftrees that encode systematic AST variations, maps these variations to interactions and visualizations, and generates full interfaces in \(2\)–\(19\) seconds with a median of \(6\) seconds while scaling linearly with the number of queries [2107.08203]. Here the interaction query is not only an object to be answered but also a design primitive for producing the interface that will answer future related queries [2107.08203].

The phrase “query interaction” has also acquired a different technical meaning in model architecture work. In camera-radar fusion, ConFusion introduces heterogeneous query interaction among image queries, radar queries, and world queries through QMix and QSwap, reaching \(59.1\) mAP and \(65.6\) NDS on the nuScenes validation set and \(61.6\) mAP and \(67.9\) NDS on the test set [2604.25574]. In visual relationship detection, PST uses composite queries to model subject, predicate, object, and triplet-as-sum jointly, achieving \(31.83\) R@100 on VRD and \(23.9\) mAP on HICO-DET among single-stage models [2105.02170]. This suggests that, in recent arXiv usage, the term has become polysemous: it may denote human-system interaction around query meaning, or interaction among learned query objects inside a neural architecture.

Across these strands, several design implications recur. Systems should distinguish when to automate and when clarification is required, expose system inferences so that users can overrule them, and support iterative refinement rather than single-shot execution [2511.04584] [2509.09461]. At the interface layer, high-level interaction models such as Interacto, which reify user interactions as first-class entities and connect them to commands with built-in undo/redo support, indicate that robust handling of interaction queries depends not only on ranking or parsing models but also on the software abstractions through which interactions are assembled, tested, and reused [2105.13428].

Source: https://www.emergentmind.com/topics/interaction-queries