重み付き時相論理で表せる軌跡の順位を調べる
Expressive Power of WSTL Formulas for Learning to Rank
この論文をやさしく読む
ひとことで言うと
ロボットの動きに点数を付ける論理式が、どれだけ自由に好みの順位を表せるかを調べています。重みの調整だけで全順位を表せるかという問いを数学的に定義しました。
何に役立つ？
軌跡を順位付けする仕様を設計するとき、重みの学習を続けるだけで希望する順位に到達できるのかを検査するのに役立ちます。式そのものを変更する必要性も考えられます。
この研究の面白いところ
論理的には同じ条件を表す式でも、定量スコアとしての順位の表現力は変わります。また、集合の大きさが容量以下でも、特定の似た軌跡集合で全順位を実現できるとは限らない点が重要です。
どこまで分かった？
理論的な判定法・下界と、ロボットナビゲーション課題での実験が報告されています。要旨には計算時間、軌跡数、性能改善の数値はありません。順位の表現力の向上を、そのまま実機の安全性能向上とは扱えません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
重み付き信号時相論理（WSTL）は、安全性の保証を伴う軌跡のランキング学習問題において、スコア関数として利用される機会が増えている。その重み付き定量意味論は、パラメータ化された効用関数として働く。しかし関心が高まる一方で、先行研究はWSTL式の表現力を仮定し、多様な選好を捉える有用性を実験的に示してきたにすぎない。本研究は、この仮定が正しいかに焦点を当て、WSTL式をスコア関数として使うことが理論的に正当化されるかを問う。 そこで二つの概念を定式化する。一つ目の順位実現可能性は、与えられた信号集合について、重みを変えることであらゆる順位付けを実現できるかを表す。二つ目の順位容量は、その式が順位実現可能となる信号集合の最大サイズである。順位実現可能性を判定する混合整数線形計画を提案し、順位容量の構成的な下界を導く。ロボットのナビゲーション課題における実験では、実用的なWSTL仕様が、似た軌跡からなる集合では順位実現可能でない場合でも、その順位容量はその軌跡集合のサイズを上回ることが示された。ブール論理的に同値な式の分析から、式の構造が表現力に影響し、定性的な意味を変えずに順位容量を増やせることが分かった。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-18（UTC）
- 最新改訂
- 2026-09-18 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-18 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Weighted Signal Temporal Logic (WSTL) is increasingly used as a scoring function in learning-to-rank problems of trajectories with safety guarantees, where its weighted quantitative semantics serve as a parametrized utility function. Despite the growing interest, prior work only assumes the expressiveness of WSTL formulas and empirically demonstrates its utility in capturing diverse preferences. This work focuses on the correctness of this assumption and asks whether using WSTL formulas as scoring functions is theoretically justified. We formalize two concepts: first, rank-realizability, which asks whether all rankings of a given signal set are achievable by varying weights, and, second, rank-capacity, the maximum signal set size for which the formula is rank-realizable. We propose a Mixed-Integer Linear Program to decide rank-realizability, and derive constructive lower bounds for rank-capacity. Experiments on a robotic navigation task show that while a practical WSTL specification may fail to be rank-realizable on a set with similar trajectories, its rank-capacity exceeds the size of the trajectory set. Analysis of Boolean-equivalent formulas reveals that formula structure affects expressivity and that rank-capacity can be increased without altering qualitative semantics.
著者のコメント
8 pages, 2 figures, 2 tables, accepted to IEEE CDC 2026
arXiv ID: 2609.22464 ／ 要約の誤りについて