每天早上一封邮件,把昨天的 AI 梳理好订阅邮件

METAL LAB

Air Traffic Control Using Large Language Models: Prompt Engineering, Architecture, and Evaluation

arXiv:2608.192992026-08-21

研究者让AI扮演空中交通管制员,结果发现它说话像模像样,但关键指令却经常出错

研究团队以旧金山湾区一次通用航空飞行的真实塔台通话手工转录记录作为标准答案,测试了九个大语言模型在完整36轮对话中扮演管制员的表现。结果显示,提示词写得越详细、规则越多,表现反而越差;而当模型不断参考自己此前的回复时,早期的小错误会在对话中不断累积放大。最终这些模型很擅长模仿管制员的说话方式,却难以做出真正正确的运行判断。

他们做了什么

  1. 研究使用一段真实的36轮飞行员-管制员通话记录作为标准答案,让九个模型(六个开源、三个闭源)在不断累积的对话历史条件下生成管制员回复,模拟真实部署场景
  2. 研究设计了从极简角色设定到规则繁多的五种提示词,结果最简单的提示词表现最好,而规则最严苛的提示词相似度反而下降了35%
  3. 当模型依赖自己此前的回复继续对话时,早期错误(比如反复只回答'收到')会随对话推进不断累积、表现持续下滑;但若换成真实管制员的历史记录,这一崩溃现象就被修复
  4. 在提示词中加入一段完整的示例对话(上下文学习)能提高与标准答案的表面相似度,但用GPT-5.5作为评判模型打分时,并未提升实际运行判断的正确性
  5. 模型在呼号处理和简洁性方面平均得分高达5分中的4.1分,但在运行正确性上仅得2.1分,而且开源模型规模越大也未能缩小这一差距
Figure 1: Overall architecture. (1) Generation: pilot transmissions transcribed from an experimental Bay Area tour flight are issued one turn at a time to the language model, which is conditioned on a system prompt and on the communication history accumulated so far; each pseudo-ATC response is appended back into that history. (2) Teacher-forced generation: the same scenario is replayed with the controller side of the history replaced by the ground truth transmissions. The example contrasts the two regimes at turn 24. Conditioned on its own replies (left), the model has fallen into an Acknowledgment loop and answers “Roger,” missing the required radar-service termination and Hayward handoff. Given the true history (right), the same turn is answered with the correct facility, the correct “keep the code” instruction, and the correct frequency 120.2. (3) Evaluation: every turn is scored by automatic similarity metrics, by an LLM-as-judge, and—on a stratified subsample—by a human expert.
Figure 1: Overall architecture. (1) Generation: pilot transmissions transcribed from an experimental Bay Area tour flight are issued one turn at a time to the language model, which is conditioned on a system prompt and on the communication history accumulated so far; each pseudo-ATC response is appended back into that history. (2) Teacher-forced generation: the same scenario is replayed with the controller side of the history replaced by the ground truth transmissions. The example contrasts the two regimes at turn 24. Conditioned on its own replies (left), the model has fallen into an Acknowledgment loop and answers “Roger,” missing the required radar-service termination and Hayward handoff. Given the true history (right), the same turn is answered with the correct facility, the correct “keep the code” instruction, and the correct frequency 120.2. (3) Evaluation: every turn is scored by automatic similarity metrics, by an LLM-as-judge, and—on a stratified subsample—by a human expert.
Figure 2: Prompt × (ICL × history) interaction, pooled over the nine models (mean ± 95% CI across models). Color encodes the dialogue history the model conditions on, line style encodes whether a worked in-context example was supplied. Under the light prompts C1–C3 the two history regimes are indistinguishable; under the over-specified C5 the self-history condition collapses and ground-truth grounding recovers it.
Figure 2: Prompt × (ICL × history) interaction, pooled over the nine models (mean ± 95% CI across models). Color encodes the dialogue history the model conditions on, line style encodes whether a worked in-context example was supplied. Under the light prompts C1–C3 the two history regimes are indistinguishable; under the over-specified C5 the self-history condition collapses and ground-truth grounding recovers it.
Table 1: Per-prompt similarity to the C0 ground truth, by condition (ICL × history), averaged over the 9 models and 3 attempts. Best per column in bold.
ROUGE-LSemantic cosine
Promptno ICL, selfno ICL, GTICL, selfICL, GTno ICL, selfno ICL, GTICL, selfICL, GT
C10.2160.2090.2440.2440.4640.4490.4970.490
C20.2170.2140.2430.2300.4820.4720.4920.477
C30.2190.2120.2430.2240.4870.4700.4930.467
C40.2090.2200.2160.2380.4300.4450.4470.470
C50.1670.2180.1590.2240.3020.3830.2980.396
Figure 3: Cumulative running-mean similarity over the 36-turn conversation (ICL on, pooled over models). Under C1–C3 the self- and ground-truth-history trajectories track each other; under C5 self-history drifts steadily downward as early errors propagate through the dialogue history, while ground-truth injection holds the trajectory flat.
Figure 3: Cumulative running-mean similarity over the 36-turn conversation (ICL on, pooled over models). Under C1–C3 the self- and ground-truth-history trajectories track each other; under C5 self-history drifts steadily downward as early errors propagate through the dialogue history, while ground-truth injection holds the trajectory flat.
Figure 4: LLM-judge score per rubric dimension, pooled over the nine models. Color encodes the dialogue history the model conditions on; hatching marks the in-context learning condition. Models score highly on callsign handling and conciseness but poorly on operational correctness.
Figure 4: LLM-judge score per rubric dimension, pooled over the nine models. Color encodes the dialogue history the model conditions on; hatching marks the in-context learning condition. Models score highly on callsign handling and conciseness but poorly on operational correctness.
Table 2: Per-model similarity to the C0 ground truth, by condition (ICL × history), averaged over prompts C1–C5 and 3 attempts. Best per column in bold.
ROUGE-LSemantic cosine
Modelno ICL, selfno ICL, GTICL, selfICL, GTno ICL, selfno ICL, GTICL, selfICL, GT
Open-source
Qwen2.5-7B0.1970.2150.2120.2340.4130.4580.4430.483
Llama-3.1-8B0.1930.1810.2080.2030.4370.4030.4520.418
Gemma-2-9B0.1880.2180.2160.2480.4050.4410.4380.487
Qwen2.5-14B0.2030.2000.2150.1950.4810.4640.4830.456
Qwen2.5-32B0.2150.2130.2400.2340.4600.4530.4760.474
Mixtral-8x7B0.1230.1490.1160.1500.3360.3610.3100.373
Average0.1860.1960.2010.2110.4220.4300.4340.449
Closed-source
GPT-5.40.2460.2360.2550.2470.4700.4500.4700.449
GPT-5.4-mini0.2460.2370.2530.2670.4470.4690.4630.482
Claude-Sonnet-4.60.2400.2820.2750.3100.4470.4950.4740.519
Average0.2440.2520.2610.2750.4550.4710.4690.483
Figure 5: Per-dimension scores from the LLM judge (a) and the human expert (b) on the same 180 annotated outputs, broken out by condition (color = dialogue history, hatching = in-context example). Both raters produce the same cross-dimension profile, peaking on callsign handling and conciseness and dipping on operational correctness, but the human sits about one point higher on every dimension. Because both panels use the identical 180-sample subset, the vertical offset between them is the genuine human–judge leniency gap.
Figure 5: Per-dimension scores from the LLM judge (a) and the human expert (b) on the same 180 annotated outputs, broken out by condition (color = dialogue history, hatching = in-context example). Both raters produce the same cross-dimension profile, peaking on callsign handling and conciseness and dipping on operational correctness, but the human sits about one point higher on every dimension. Because both panels use the identical 180-sample subset, the vertical offset between them is the genuine human–judge leniency gap.
(b) Human expert
(b) Human expert
Table 3: Hypothesis tests for the three experimental contrasts, computed on per-model means across the nine models. Paired contrasts use an exact Wilcoxon signed-rank test (W); the closed-versus-open contrast uses a one-sided Mann–Whitney U test. Δ is reported in the direction named in each group heading, wins counts models favoring that direction, and the last column is the effect size (dz for the paired contrasts, Cohen’s d for the unpaired one). Bold indicates p<0.05.
MeasureΔWinsStatisticpEffect
In-context example vs. none (paired, W, n=9)
ROUGE-L (pooled)0.0168/91.00.0081.46
Normalized BLEU (pooled)0.0098/91.00.0081.47
LLM-judge overall0.0365/913.00.5470.25
Ground-truth vs. self dialogue history (paired, W, n=9)
ROUGE-L (pooled)0.0105/914.00.3590.49
BLEU-1 (pooled)0.0449/90.00.0041.98
ROUGE-L (prompt P1)−0.0034/920.00.820−0.11
ROUGE-L (prompt P5)0.0579/90.00.0041.72
LLM-judge overall−0.0783/914.50.371−0.40
Closed- vs. open-source (unpaired, U, 3 vs. 6)
ROUGE-L0.05918.00.0122.03
LLM-judge overall1.05018.00.0124.43
Figure 6: Model-level agreement between each automatic similarity metric and the LLM judge. Each point is one model, plotted as its mean metric score against its mean judge rating, with a fitted line and 95% confidence band. ROUGE-L and TF-IDF track expert judgment closely; BLEU-1 and sentence-embedding similarity do not. The open/closed legend in (a) applies to all four panels.
Figure 6: Model-level agreement between each automatic similarity metric and the LLM judge. Each point is one model, plotted as its mean metric score against its mean judge rating, with a fitted line and 95% confidence band. ROUGE-L and TF-IDF track expert judgment closely; BLEU-1 and sentence-embedding similarity do not. The open/closed legend in (a) applies to all four panels.
(b) TF-IDF cosine
(b) TF-IDF cosine
Table 4: LLM-judge scores (1–5) per model, averaged over conditions and the top-25 judged outputs per cell. Best per column in bold.
ModelPhraseologyCorrectnessCallsignConcisenessSafetyHalluc.-freeOverall
Open-source
Qwen2.5-7B2.461.754.363.972.632.681.99
Llama-3.1-8B2.401.743.653.882.512.221.89
Gemma-2-9B2.801.944.144.342.802.372.12
Qwen2.5-14B2.351.704.443.172.472.001.84
Qwen2.5-32B2.812.004.293.832.832.332.20
Mixtral-8x7B2.001.323.543.422.111.821.45
Average2.471.744.073.772.562.241.91
Closed-source
GPT-5.43.842.864.244.783.813.773.13
GPT-5.4-mini3.592.574.154.613.543.202.82
Claude-Sonnet-4.63.722.684.354.753.603.312.95
Average3.712.714.254.713.653.432.96
(c) BLEU-1
(c) BLEU-1
(d) Semantic cosine
(d) Semantic cosine
Table 5: Spearman rank-correlation matrix over all six evaluation measures, computed on the 180 human-annotated outputs so that every measure is available for every observation. The two reference-overlap metrics (ROUGE-L, TF-IDF) are the only automatic measures that track either human-facing judgement.
ROUGE-LTF-IDFBLEU-1SemanticLLM judge
TF-IDF0.73
BLEU-10.580.36
Semantic0.320.470.30
LLM judge0.530.490.020.10
Human0.340.38-0.050.090.67
Figure 7: Mean overall rating assigned by the LLM judge and by the human expert, split by the judge’s own score band (mean ± 95% CI). The human is systematically more lenient, and the gap grows as output quality falls.
Figure 7: Mean overall rating assigned by the LLM judge and by the human expert, split by the judge’s own score band (mean ± 95% CI). The human is systematically more lenient, and the gap grows as output quality falls.
Figure 8: Per-model similarity by history mode (ICL on), grouped into open- and closed-source models. Bars are self history (hatched //) versus ground-truth history (hatched \\); panels are the four similarity metrics.
Figure 8: Per-model similarity by history mode (ICL on), grouped into open- and closed-source models. Bars are self history (hatched //) versus ground-truth history (hatched \\); panels are the four similarity metrics.
Table 6: Agreement between the three evaluation layers. Sample-level statistics treat each scored output as one observation; model-level statistics use per-model means (n=9). κw is quadratic-weighted Cohen’s kappa, defined only when both measures share the 1–5 ordinal scale.
ComparisonLevelPearson rSpearman ρκw
Automatic metric vs. LLM-judge overall (sample n=4,500)
ROUGE-Lsample0.510.52
ROUGE-Lmodel0.900.93
TF-IDFsample0.500.48
TF-IDFmodel0.910.90
BLEU-1sample0.120.06
BLEU-1model0.430.22
Semanticsample0.080.09
Semanticmodel0.670.50
Automatic metric vs. human overall (sample n=180)
ROUGE-Lsample0.310.34
ROUGE-Lmodel0.730.81
TF-IDFsample0.320.38
TF-IDFmodel0.720.79
BLEU-1sample0.02-0.05
BLEU-1model0.17-0.03
Semanticsample0.090.09
Semanticmodel0.390.28
LLM judge vs. human annotator (sample n=180)
Overall ratingsample0.710.670.60
Overall ratingmodel0.690.86
Table 7: Per-dimension and per-stratum agreement between the LLM judge and the human annotator (n=180). Δ is the human mean minus the judge mean; positive values mean the human is more lenient. Within-stratum correlations are attenuated by range restriction and κw is uninformative there, so it is reported only for the pooled sample.
DimensionJudge meanHuman meanΔSpearman ρκw
Phraseology3.244.30+1.060.450.36
Correctness2.893.79+0.900.630.52
Callsign4.434.86+0.430.350.43
Conciseness4.344.51+0.170.410.59
Safety3.633.91+0.280.530.59
Halluc.-free3.613.96+0.340.480.46
Overall3.123.91+0.790.670.60
Overall rating, split by judge stratum
Low (n=45)1.132.58+1.440.44
Mid (n=45)2.873.78+0.910.36
High (n=90)4.244.64+0.400.20

为什么重要

在业界探索将AI用于空管这类事关安全的关键任务之际,这项研究用具体数据揭示了当前大语言模型在说得像与做得对之间的明显落差。这提示AI更适合承担辅助性角色,如起草常规通话、支持培训模拟或筛查录音,而非直接进入管制决策环节。

本文术语

  • LLM评判(LLM-as-judge) · 让另一个大语言模型代替人工为生成结果打分的评估方式
  • 上下文学习(ICL) · 在提示词中直接给模型提供一个示例对话供其模仿
  • ROUGE-L、BLEU、TF-IDF · 衡量生成文本与参考文本在用词和顺序上相似程度的自动评估指标
  • 教师强制(teacher forcing) · 生成下一轮回复时,用真实正确的历史记录替换模型自己此前的回复
  • 二次加权科恩卡帕系数(κw) · 衡量两个评分者在等级量表上打分一致程度的统计指标

论文原文摘要(英文)

Air traffic control (ATC) communication is a safety-critical dialogue that remains largely human-driven even as other parts of air traffic management have been semi-automated. In this article, we experimentally evaluate whether large language models (LLMs) can generate operationally realistic ATC transmissions. An experimental general-aviation flight flying over the San Francisco "Bay Tour" route is hand-transcribed and used as ground truth (P0). Through a pilot-in-the-loop process we design five prompt structures (P1-P5) of increasing constraint and embed them in a stateful multi-turn pipeline, where the model plays ATC to a fixed pilot transcript while conditioning on the accumulating dialogue history. Across nine open- and closed-source LLMs we vary the prompt, the presence of a worked transcript from a different experimental flight as an in-context example, and whether the model conditions on its own prior replies or on injected ground-truth history. Turns are scored with lexical, structural, and semantic similarity metrics and by an LLM-as-judge (GPT-5.5) validated against human expert annotation. Supplying a worked example improves similarity, but tightening the prompt does not: the lightest prompts perform best and the most heavily scripted one collapses as its own errors accumulate through the dialogue, which injecting correct history repairs. These results outline a concrete path and its current limits toward LLM-assisted ATC.

作者 · Mahyar Ghazanfari, Matthias Casanova, Jordan Kam, Alex Zongo, Peng Wei, Torsten Darrell, Alexandre Bayen

在 arXiv 阅读

最新论文

全部论文 →

METAL LAB 最新报道

图片来源: Mahyar Ghazanfari et al., arXiv:2608.19299, arxiv-nonexclusive