時間区間の曖昧な前後関係を確率で表すAllen代数
PAA: The Probabilistic Allen Algebra: A Generative and Complete Probabilistic Extension of Allen's Interval Relations
この論文をやさしく読む
ひとことで言うと
時刻や継続時間が曖昧な出来事について、「前」「重なる」などの関係を確率として計算します。
何に役立つ？
言語、知覚、履歴データに含まれる不確かな時間関係を一貫して扱う用途が考えられます。
この研究の面白いところ
関係ごとに点数を付ける代わりに、境界時刻の分布から13関係の確率を同じ確率空間で導きます。
どこまで分かった？
Gaussianの時点・中点と切断Gaussianの持続時間、許容帯を使う構成です。任意の分布を無条件に扱う結果ではなく、Monte Carloで検証されています。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
Allenの区間代数は時間的関係を扱う定性的な計算法だが、13の基本関係は正確な区間境界に対する二値的な述語である。これは、時刻、長さ、境界が不確かで、「直前」や「おおよそその間」といった表現が程度を持つ、言語、知覚、データベース、不確かな履歴から得られる時間情報には不十分である。 関係の確率をスコアとして割り当てるのでなく、区間境界の分布から導く、生成的で完全な拡張である確率的Allen代数（PAA）を開発する。時点はガウス分布に従い、区間の中点はガウス分布、長さは切断ガウス分布に従う。すべての関係を、一つの共通の確率空間における境界の順序に関する述語とする。点と点の関係は誤差関数に、点と区間および区間と区間の関係は線形不等式から生じる多変量ガウス分布の象限確率に帰着する。接触関係（接する、同時に始まる、同時に終わる、一致する）には許容幅によって正の測度を与える。単一の許容幅のもとで13関係は真の分割をなし、許容幅をゼロに近づけると従来の二値的なAllen代数に戻る。 この構成ではAllenの分類体系を仮定せず導出する。先行、重なり、包含などの粗い述語は末端の関係の和集合であり、その確率は末端の確率の和となる。この階層は、区間が点へ縮退して13関係が5関係、さらに3関係へ減少するときにも保たれる。各関係はさらに、CIDOC CRMの考え方に沿って、相関を考慮した時間的な基本要素へ分解される。この代数はスケール不変で、「少し前」のような程度を持つ表現と接触関係を区別する。すべての結果はモンテカルロ法で検証され、テスト済みの公開Pythonパッケージとして提供される。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Allen's interval algebra is a qualitative calculus for temporal relations, but its thirteen base relations are crisp predicates over exact interval boundaries. This is inadequate for temporal information from language, perception, databases, or uncertain histories, where times, durations, and boundaries are uncertain and expressions such as "just before" or "roughly during" have graded meaning. We develop the probabilistic Allen algebra (PAA): a generative and complete extension in which relation probabilities are derived from distributions over interval boundaries rather than assigned as scores. Time points are Gaussian; intervals have Gaussian midpoints and truncated-Gaussian durations. Every relation is a boundary-ordering predicate in one common probability space: point-point relations reduce to error functions, and point-interval and interval-interval relations to multivariate Gaussian orthant probabilities induced by linear inequalities. Contact relations (meets, starts, finishes, equals) receive positive measure through a tolerance band, and under a single tolerance the thirteen relations form a true partition that recovers crisp Allen as the tolerance vanishes. The construction derives Allen's taxonomy rather than positing it: coarse predicates such as precedence, overlap, and containment are unions of leaves whose probabilities are leaf sums, and this hierarchy is preserved as intervals collapse to points and thirteen relations reduce to five and then three. Each relation further decomposes into correlation-aware temporal primitives in the spirit of CIDOC CRM. The algebra is scale-invariant and separates graded expressions such as "shortly before" from contact relations. All results are Monte-Carlo validated and shipped as an open, tested Python package.
著者のコメント
41 pages, 7 figures. Open-source implementation at https://github.com/HRI-EU/probabilistic-allen-algebra
arXiv ID: 2609.20634 ／ 要約の誤りについて