アーカイブ / LLM
AIが作った複数都市の旅程を、飛行時間と滞在時間の規則で点検・補正する
Iti-Validator
Iti-Validatorの原論文から掲載した図です。細部はクリックして拡大できます。
原論文の図の説明を読む
Figure 1: Iti-Validator
概要
- Iti-Validatorは、LLMが作った航空移動の旅程を外部の飛行時間と時間規則で検査し、時刻を補正する。
- 著者らの4都市旅程では、補正前に矛盾を含む割合はGeminiで48%、GPT-4o-miniで97%、LLaMA2-7Bで100%だった。
- 調整できた旅程について著者らは補正後の同割合を0%と報告する。本文と掲載プロンプトでは余裕時間と滞在条件が異なる。
補足：編集した模式図で仕組みを確認する
VISUAL EXPLAINER
図でつかむ、Iti-Validatorの仕組み
- 01到着・出発時刻付き旅程
- 02空港間の飛行時間取得
- 03時間規則で検査
- 04時刻調整・再検査
- 05補正済み旅程
原論文の説明をもとにした模式図です。処理の細部は省略しています。
研究の背景
Iti-Validatorは、LLMが作った複数都市の旅程で、移動や滞在の時刻に矛盾がないかを調べる。文章として自然でも、前の都市を出る前に次の都市へ着く、飛行に必要な時間が足りない、といった予定は成立しない。
旅行者に示す前に矛盾を見つけ、修正することが目的である。論文は商用航空便による都市間移動を扱い、外部から得た飛行時間と時間規則で旅程を検査する。便の運航日や空席まで確かめる仕組みとしては記述されていない。
手法
LLMが作る入力は、都市名と空港コード、到着・出発時刻を並べたJSON形式の旅程である。JSONは項目名と値を決めたデータ形式を指す。検査部はAeroDataBoxから空港間の飛行時間を取得し、都市間の移動時間、予定の重複、各都市の滞在時間を規則と照らす。
例えばシドニーを出てフランクフルトに着くまでの予定が、必要な移動時間より短ければ到着を遅らせる。移動時間が上限の「最短時間の2倍」を超えれば到着を早め、滞在が短ければ出発を遅らせる。調整後に再検査し、規則を満たす旅程を出す。飛行時間に加える余裕時間は本文と掲載プロンプトで異なる。
新規性
著者らが提案するのは、旅程を生成した大規模言語モデル（LLM）の出力を、生成後に検査して時刻を直す仕組みである。空港間の飛行時間を外部サービスから取得し、時間上の矛盾を規則で判定する。
検査と補正はモデルの内部構造に依存せず、追加学習も要しないという設計上の特徴がある。新規性の主張は、実際の飛行時間データを使って、複数都市の生成済み旅程を検査から補正まで扱う点にある。
従来手法との違い
比較したのは、LLMが最初に作った旅程と、検査規則で補正した旅程である。著者らは別案として、問題点をLLMに伝え、旅程を再生成させる方法も4都市の旅程で試した。
再生成は3モデルで最大3回行ったが、問題が残る場合や別の問題が生じる場合があったため、規則による時刻調整を採用した。結果が示すのは設定した時間規則への適合であり、実在する便を選べるか、予約できるかの比較ではない。
実験結果
著者らはGPT-4o-mini、Gemini-2.0の実験版、LLaMA2-7Bで、4・5・6都市の旅程をモデルと都市数の組み合わせごとに100件集めた。補正前の指標は、矛盾を含む旅程の割合、規則に違反する飛行区間の割合、旅程当たりの問題数である。
4都市で矛盾を含む旅程の割合は、Geminiが48%、GPT-4o-miniが97%、LLaMA2-7Bが100%だった。著者らは、調整できた旅程では補正後の同割合が0%になったと報告する。これは設定した時間規則についての結果で、実在する便、空席、予約成立を測った値ではない。
応用の可能性
編集上の応用案 · 論文が実証した用途とは区別しています。
編集上の応用案：企業の出張窓口で、航空移動を含む複数都市の出張案を提出前に点検する。入力は訪問順、空港コード、各都市の到着・出発時刻を持つ旅程と、経路ごとの飛行時間である。出力は違反箇所と時刻の修正案を記した確認用の旅程とする。
適用には、社内の滞在条件と希望日程に合わせた規則の調整が要る。この案では学習用データやセンサー入力は使わず、評価には担当者が時間上の正誤を付けたラベルを用意する。担当者が修正案を確認した後、実際の便と予約条件を別途照合する。
応用先の候補からNauhに相談できます。
導入時の検証
導入時の検証案 · 対象データでの再評価が必要です。
導入時の検証案：航空移動を含む社内の旅程下書きを少数集め、空港コードと到着・出発時刻を統一した形式にする。元データとして各経路の飛行時間を用意し、担当者が時間上の正誤を付けた評価用ラベルを作る。学習用データとセンサー入力は使わない。
未補正の旅程を基準に、規則の適用前後で移動時間不足、長すぎる移動間隔、滞在時間不足の件数を比べる。社内の滞在条件と余裕時間に規則を合わせ、飛行時間を取得できない経路は別に記録する。修正が希望日程を変えた件数と、人手で再修正した件数も確かめる。
限界と課題
著者らの対象は商用航空便による都市間移動の時間的整合性である。鉄道・車での移動や予算などは今後の拡張先として挙げる。飛行時間の取得に繰り返し失敗した場合は、有効な結果だけで処理を進めるとの記述がある。
編集上の検証事項：飛行時間を取得できない区間が、最終判定でどう扱われるかを確認したい。実装説明の余裕時間は4時間、掲載プロンプトでは1時間と食い違う。滞在条件も本文の「2日」とプロンプトの「48時間超」「49時間超」で異なり、再現には適用規則の確定が必要である。
出典
元のタイトル・要旨を確認する（英語）
Iti-Validator: A Guardrail Framework for Validating and Correcting LLM-Generated Itineraries
The rapid advancement of Large Language Models (LLMs) has enabled them to generate complex, multi-step plans and itineraries. However, these generated plans often lack temporal and spatial consistency, particularly in scenarios involving physical travel constraints. This research aims to study the temporal performance of different LLMs and presents a validation framework that evaluates and improves the temporal consistency of LLM-generated travel itineraries. The system employs multiple state-of-the-art LLMs to generate travel plans and validates them against real-world flight duration constraints using the AeroDataBox API. This work contributes to the understanding of LLM capabilities in handling complex temporal reasoning tasks like itinerary generation and provides a framework to rectify any temporal inconsistencies like overlapping journeys or unrealistic transit times in the itineraries generated by LLMs before the itinerary is given to the user. Our experiments reveal that while current LLMs frequently produce temporally inconsistent itineraries, these can be systematically and reliably corrected using our framework, enabling their practical deployment in large-scale travel planning.
論文本体の取得範囲に基づく解説。AIが作成した未校閲の記事です。性能の数値は著者の評価条件に依存します。応用例と検証計画は編集上の提案です。解説更新：2026-10-01