[发明专利]用于推送信息的方法和装置

权利要求书

1.一种用于推送信息的方法，包括：

获取候选集合运算表达式集，其中，所述候选集合运算表达式集中的候选集合运算表达式用于表示对至少一个预设用户标识集的集合运算；

对于所述候选集合运算表达式集中的候选集合运算表达式，响应于接收到该候选集合运算表达式对应的推送指示，确定该候选集合运算表达式的运算结果集是否为空集，其中，所述推送指示用于指示向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息；响应于确定该候选集合运算表达式的运算结果集不为空集，向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息。

2.根据权利要求1所述的方法，其中，所述方法还包括：

响应于确定该候选集合运算表达式的运算结果集为空集，输出用于提示无法推送目标信息的提示信息。

3.根据权利要求1所述的方法，其中，所述确定该候选集合运算表达式的运算结果集是否为空集，包括：

获取该候选集合运算表达式对应的至少一个预设用户标识集；

利用所获取的至少一个预设用户标识集完成该候选集合运算表达式所表示的集合运算，以得到该候选集合运算表达式的运算结果集，以及确定得到的运算结果集是否为空集。

4.根据权利要求1所述的方法，其中，所述确定该候选集合运算表达式的运算结果集是否为空集，包括：

确定用于表示该候选集合运算表达式的运算结果集为空集的命题的主析取范式；

根据所确定的主析取范式确定该候选集合运算表达式的运算结果集是否为空集。

5.根据权利要求4所述的方法，其中，所述向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息，包括：

获取该候选集合运算表达式对应的至少一个预设用户标识集；

利用所获取的至少一个预设用户标识集完成该候选集合运算表达式所表示的集合运算，以得到该候选集合运算表达式的运算结果集，以及向得到的运算结果集指示的用户所使用的终端设备推送目标信息。

6.根据权利要求3或5所述的方法，其中，在向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息之后，所述方法还包括：

删除得到的、该候选集合运算表达式的运算结果集。

7.一种用于推送信息的装置，包括：

获取单元，被配置成获取候选集合运算表达式集，其中，所述候选集合运算表达式集中的候选集合运算表达式用于表示对至少一个预设用户标识集的集合运算；

推送单元，被配置成对于所述候选集合运算表达式集中的候选集合运算表达式，响应于接收到该候选集合运算表达式对应的推送指示，确定该候选集合运算表达式的运算结果集是否为空集，其中，所述推送指示用于指示向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息；响应于确定该候选集合运算表达式的运算结果集不为空集，向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息。

8.根据权利要求7所述的装置，其中，所述推送单元进一步被配置成：

响应于确定该候选集合运算表达式的运算结果集为空集，输出用于提示无法推送目标信息的提示信息。

9.根据权利要求7所述的装置，其中，所述推送单元进一步被配置成：

获取该候选集合运算表达式对应的至少一个预设用户标识集；

利用所获取的至少一个预设用户标识集完成该候选集合运算表达式所表示的集合运算，以得到该候选集合运算表达式的运算结果集，以及确定得到的运算结果集是否为空集。

10.根据权利要求7所述的装置，其中，所述推送单元进一步被配置成：

确定用于表示该候选集合运算表达式的运算结果集为空集的命题的主析取范式；

根据所确定的主析取范式确定该候选集合运算表达式的运算结果集是否为空集。