[发明专利]用于支持时间约束的主动活动规划系统和方法

说明书

活动规划系统包括知识库、查询处理器和时间推理器。将包括时间约束的查询输入到查询处理器中。查询处理器将查询转换成正式表示。正式表示是基于知识库中限定的本体的正式图形语义表示。时间推理器处理由查询处理器针对限定一组对象的知识库输出的查询表示。对于每个对象，时间推理器产生从0至1的标准化分数，来指示对象有多可能满足查询所施加的时间约束的可能程度。

对相关申请的交叉引用

本申请要求于2016年6月27日提交的美国临时专利申请序列号62/354,875的优先权，其内容通过引用并入本文，如同完全包含在本文中一样。

技术领域

本公开总地涉及分布式计算系统，并且更具体地，涉及用于支持时间约束的主动活动规划系统和方法。

背景技术

除非本文另有指示，否则本章节中描述的材料不是本申请中权利要求的现有技术并且不通过包含在本章节中而承认是现有技术。

发明内容

下面阐述了本文公开的某些实施例的概述。应当理解，这些方面仅仅是为了向读者提供这某些实施例的简要概述而呈现的，并且这些方面并没有限制本公开的范围的意图。实际上，本公开可以涵盖可能未在下面阐述的各种方面。

本公开的实施例涉及一种主动活动规划系统，所述主动活动规划系统包括：知识库，知识库包括TBox和ABox；用于接收包括时间约束的查询的查询处理器；以及时间推理器；其中查询处理器将查询转换成正式表示并将正式表示输出到时间推理器，用于计算满足查询中的时间约束的似然分数。正式表示是抽象时间约束网络（抽象TCN）。抽象TCN包括时间戳TCN_T、边沿TCN_E和约束TCN_C。

根据本公开的另一个方面，一种计算机程序产品包括具有用于时间推理的计算机可读程序代码的计算机可读介质，计算机程序产品包括用于获得时间戳TCN_T、边沿TCN_E和约束TCN_C的计算机可读程序代码，以及用于获得时间戳TCN_T、边沿TCN_E和约束TCN_C中的至少两个的可能最短路线的计算机可读程序代码。

附图说明

当参照附图阅读以下对某些示例性实施例的详细描述时，本公开的这些和其他特征、方面及优点将变得更好理解，在附图中同样的字符贯穿附图表示同样的技术，其中：

图1是图示了用于处置时间推理的活动规划系统的框图；

图2和3图示了时间关系的分类树KB_TR、其域和范围约束；

图4图示了包括图形语义表示和时间约束的查询的示例的框图；

图5图示了由时间推理器从图4中描绘的查询转换的抽象时间约束网络（抽象TCN）的概率分布表示；

图6图示了抽象时间约束网络（抽象TCN）的区间分布表示，其中用诸如区间分布之类的持续时长表示来代替边沿标签；

图7图示了地图的示例；以及

图8图示了状态空间搜索树。

具体实施方式

呈现以下描述以使本领域任何技术人员能够制作和使用所描述的实施例，并且在特定应用及其要求的上下文中提供以下描述。对所描述的实施例的各种修改对于本领域技术人员而言将是容易清楚的，并且在不脱离所描述的实施例的精神和范围的情况下，可以将本文限定的一般原理应用于其他实施例和应用。因此，所描述的实施例不限于所示出的实施例，而是要符合与本文公开的原理和特征一致的最宽范围。