An Information-Theoretic Bound for Budget-Constrained Elicitation in Adaptive Conversational Expert Systems

Requirements analysts, clinicians, and child development specialists face the same structural problem: to elicit as much trustworthy information as possible from a human interlocutor under a hard budget of questions. Answers in such interviews are verbose and touch on several facts at once—and not always the ones asked about; self-report cannot be fully trusted; and nobody knows a principled stopping point. We formalize this class of problems as budget-constrained elicitation from a human source. The hidden state is represented by a Bayesian network over a domain graph—and it is the topology that turns out to determine the ceiling—while the state is probed through a generative observation model, a fact-cloud model that captures multi-fact answers, together with a self-report channel of bounded fidelity. The main result is a two-phase upper bound on the information attainable by any elicitation policy, including policies that mix questions with costlier verification: a linear channel phase followed by a topological plateau, with an explicit knee N* between the regimes. The bound yields a principled stopping criterion and an absolute benchmark for elicitation tools: how close a policy has come to the theoretical optimum. In addition, we prove a separation result: there exist domains where adaptive elicitation strictly outperforms any static plan with a guaranteed gap. We further show that computerized adaptive testing, static questionnaires, and slot-filling dialogue are degenerate limit points of the model's parameter space. The exposition is illustrated with examples from requirements elicitation, clinical history-taking, and child developmental assessment. This is the author's preprint of a manuscript under review at International Journal of Approximate Reasoning (Elsevier), submitted 7 September 2026, manuscript number IJA-D-26-00939. The full text is available on request from the corresponding author. Supplementary material with full proofs is included.

Authors

Institutions

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-11-11
DOI
https://doi.org/10.5281/zenodo.24132560
Primary Topic
Bayesian Modeling and Causal Inference
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
NOV
preprint

An Information-Theoretic Bound for Budget-Constrained Elicitation in Adaptive Conversational Expert Systems

A.G. Lozhkovskyi, Matin Hadzhyiev, Ігор Сергійович Перекрестов, О. А. Решетняк
Zenodo (CERN European Organization for Nuclear Research)
Bayesian Modeling and Causal Inference
preprint

An Information-Theoretic Bound for Budget-Constrained Elicitation in Adaptive Conversational Expert Systems

A.G. Lozhkovskyi, Matin Hadzhyiev, Ігор Сергійович Перекрестов, О. А. Решетняк
preprint en

Abstract

Requirements analysts, clinicians, and child development specialists face the same structural problem: to elicit as much trustworthy information as possible from a human interlocutor under a hard budget of questions. Answers in such interviews are verbose and touch on several facts at once—and not always the ones asked about; self-report cannot be fully trusted; and nobody knows a principled stopping point. We formalize this class of problems as budget-constrained elicitation from a human source. The hidden state is represented by a Bayesian network over a domain graph—and it is the topology that turns out to determine the ceiling—while the state is probed through a generative observation model, a fact-cloud model that captures multi-fact answers, together with a self-report channel of bounded fidelity. The main result is a two-phase upper bound on the information attainable by any elicitation policy, including policies that mix questions with costlier verification: a linear channel phase followed by a topological plateau, with an explicit knee N* between the regimes. The bound yields a principled stopping criterion and an absolute benchmark for elicitation tools: how close a policy has come to the theoretical optimum. In addition, we prove a separation result: there exist domains where adaptive elicitation strictly outperforms any static plan with a guaranteed gap. We further show that computerized adaptive testing, static questionnaires, and slot-filling dialogue are degenerate limit points of the model's parameter space. The exposition is illustrated with examples from requirements elicitation, clinical history-taking, and child developmental assessment. This is the author's preprint of a manuscript under review at International Journal of Approximate Reasoning (Elsevier), submitted 7 September 2026, manuscript number IJA-D-26-00939. The full text is available on request from the corresponding author. Supplementary material with full proofs is included.

Zenodo (CERN European Organization for Nuclear Research)
State University of Intelligent Technologies and Telecommunications (UA)
Bayesian Modeling and Causal Inference
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon