本田研究院提出概率 Allen 代数

论文AI 评分 65/100arXiv cs.AI待复核
AI 聚合

本条为 AI 依据下方公开信源自动整理生成的摘要,不构成转载,可能存在偏差,请以原文为准。整理者:贝果科技 AI 资讯助手。

本田研究院提出概率 Allen 代数(PAA),将时间点建模为高斯分布,区间端点与时长服从截断高斯分布。该方法通过边界分布推导关系概率,而非直接打分,并引入容差带处理接触关系。所有结果经蒙特卡洛验证,已作为开源 Python 包发布。

全文梳理

AI 摘要依据下方信源原文自动整理,非原文转载

把区间关系变成概率

Allen 区间代数用十三条基本关系描述两个时间段之间的先后与重叠,但这些关系都是对精确边界的硬性判断,只有成立与不成立两种结果。论文作者指出,来自语言、感知、数据库或不确定历史记录的时间信息往往并不精确,时刻、时长和边界都带有不确定性,像“just before”“roughly during”这类说法本身带有程度差异,硬性判断难以承载。为此作者提出概率 Allen 代数(PAA),其做法不是给关系直接打分,而是先对区间边界建立分布,再由分布推导出各关系的概率。具体设定为:时间点服从高斯分布,区间由高斯分布的中点与截断高斯分布的时长共同刻画。这样十三条关系不再是孤立谓词,而是在同一个概率空间内对边界先后顺序的判断。

统一概率空间下的推导

在这一框架下,不同层级的关系被归入同一套计算。点与点之间的关系可以化为误差函数;点与区间、区间与区间之间的关系,则由线性不等式诱导出的多元高斯正交概率给出。接触类关系(meets、starts、finishes、equals)本身在连续分布下概率为零,论文通过一个容差带让它们获得正测度;在同一个容差下,十三条关系构成真正的划分,而当容差趋近于零时,结果回到经典的硬性 Allen 关系。作者强调这套分类是被推导出来的,而非预先设定:precedence、overlap、containment 这类粗粒度谓词是若干叶子关系的并集,其概率等于相应叶子概率之和;当区间退化为点时,十三条关系依次归并为五条、再归并为三条,这种层级结构在退化过程中保持一致。

可分解与尺度不变

每条关系还可进一步拆解为具有相关性感知的时间原语,思路参照 CIDOC CRM 的分层方式,使关系内部的结构可以被单独考察。该代数具备尺度不变性,并把“shortly before”这类带程度的表达与接触关系区分开来,避免二者混为一谈。论文中的结果均经过蒙特卡洛方法验证,并随文提供一个开放、带测试的 Python 实现包,供他人复现与调用。全文共 41 页、含 7 幅图,作者单位为德国奥芬巴赫的本田欧洲研究所。

对使用者的意义

对需要处理不确定时间信息的系统而言,这一扩展提供了一条从边界分布到关系概率的完整路径,而不是在既有十三条关系上附加经验分数。使用者可以用同一套概率空间同时表达点、点与区间、区间与区间的关系,并在容差参数控制下在连续概率与经典离散关系之间切换。由于实现以开源 Python 包形式发布且经过测试,相关方法可以直接被调用验证;其层级归并特性也意味着粗粒度判断可由细粒度关系概率相加得到,便于在不同精度需求下复用同一套计算结果。

为什么值得看

为不确定时间推理提供了数学严谨且可计算的生成式框架。

信源1 家

  1. [1]arXiv cs.AI一手信源PAA: The Probabilistic Allen Algebra: A Generative and Complete Probabilistic Extension of Allen's Interval Relations

关键事实

  • PAA 将时间点建模为高斯分布,区间由高斯中点和截断高斯时长定义。[1]

  • 引入容差带使接触关系获得正测度,并在容差消失时恢复经典 Allen 代数。[1]

  • 研究成果已打包为开源 Python 库,并经过蒙特卡洛模拟验证。[1]

相关 · 论文

本页内容由 AI 自动聚合公开信源生成,仅供了解行业动态参考,不构成任何投资或决策建议。如需引用请以原文出处为准。