ticker:利用滑动窗口的基于规则的流推理引擎

时间:2024-06-02 16:01:52
【文件属性】:

文件名称:ticker:利用滑动窗口的基于规则的流推理引擎

文件大小:430KB

文件格式:ZIP

更新时间:2024-06-02 16:01:52

Scala

Ticker-流推理引擎 论文: : 要求 需要Scala 2.12.2或更高版本 应使用0.13或更高版本的SBT(Scala内置工具)进行构建。 编写程序 当前版本的程序解析器支持以下符号: 样例程序 以下程序测试在最近10秒内是否已记录了两辆以上的汽车。 如果派生的third原子与(至少)最后10秒之一相关联,则第一行推断moreThanTwo 。 第二条规则考虑最后三个(分别是两个)原子的基于元组(基于计数)的窗口。 如果在后三个中有一个car标识符C的rec(C)原子不在后两个之内,则它是第三个(过去)。 在这种情况下,我们将其出现在流中的时间点T与辅助原子third关联。 moreThanTwo :- third [10 sec]. third at T :- car(C), rec(C) at T in [3 #], not rec(C) [2 #]. car(1).


网友评论