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

摘要

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

主权项

1.一种主动活动规划系统，包括：知识库，知识库包括TBox和ABox；用于接收包括时间约束的查询的查询处理器；以及时间推理器；其中查询处理器将查询转换成正式表示并将正式表示输出到时间推理器，用于计算满足查询中的时间约束的似然分数。