马诺利斯皮茨卡利斯;阿列克谢·利西萨;罗珊 瞬时和持续时间现象的表示和处理。 （英语） Zbl 1521.68063号 De Angelis，Emanuele（编辑）等，基于逻辑的程序合成和转换。第31届国际研讨会，2021年9月7日至8日，爱沙尼亚塔林，LOPSTR 2021。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13290, 135-156 (2022). 摘要：复杂事件处理系统中的事件定义受到每个系统语言的表达能力的限制。一些系统允许定义瞬时复杂事件，而其他系统允许定义持续复杂事件。虽然有一些例外提供了这两种选项，但它们通常缺乏艾伦区间代数所指定的区间关系。在本文中，我们提出了一种新的基于逻辑的时间现象定义语言，专门为复杂事件处理量身定制。我们提出的语言允许表示瞬时和持续现象以及它们之间的时间关系。此外，我们通过使用一个海事用例来定义感兴趣的海事事件，从而展示了我们所建议的语言的表达能力。我们分析了我们提出的流处理语言的执行语义，最后，我们介绍并评估了真实世界的数据，Phenesthe，我们的开源复杂事件处理系统。关于整个系列，请参见[Zbl 1509.68011号]. 理学硕士： 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 03B44号 时间逻辑 关键词：事件定义语言;时序逻辑;流处理;事件识别 软件：LARS公司;github PDF格式BibTeX公司 XML格式引用 \textit{M.Pitsikalis}等人，Lect。注释计算。科学。13290，135-156（2022；Zbl 1521.68063） 全文： 内政部 arXiv公司 参考文献： [1] Ahmed，A.，Lisitsa，A.，Dixon，C.：使用时态逻辑和流处理的基于误用的网络入侵检测系统。2011年第五届网络和系统安全国际会议，第1-8页（2011年）。doi:10.1109/ICNSS.2011.6059953 [2] Allen，JF，《保持时间间隔知识》，Commun。ACM，26，11，832-843（1983）·Zbl 0519.68079号 ·数字对象标识代码：10.1145/182.358434 [3] Anicic，D。；Fodor，P。；鲁道夫，S。；Stühmer，R。；北斯托亚诺维奇。；Studer，R。；希茨勒，P。；Lukasiewicz，T.，《用于复杂事件处理和推理的基于规则的语言》，《Web推理和规则系统》，42-57（2010），海德堡：斯普林格出版社·doi:10.1007/978-3-642-15918-3_5 [4] Anicic，D。；鲁道夫，S。；Fodor，P。；Stojanovic，N.，《ETALIS中的流推理和复杂事件处理》，Semant。网络，3，4，397-407（2012）·doi:10.3233/SW-2011-0053 [5] Artikis，A。；塞尔戈特，M。；Paliouras，G.，事件识别的事件演算，IEEE Trans。知识。数据工程，27，4，895-908（2015）·doi:10.1109/TKDE.2014.2356476 [6] 巴尔比亚尼，P。；V.戈兰科。；Sciavicco，G.，Two-sorted point-interval temporal logics，Electron。注释Theor。计算。科学。，278, 31-45 (2011) ·Zbl 1347.03030号 ·doi:10.1016/j.entcs.2011.10.004 [7] Beck，H。；道特兰，M。；Eiter，T.，LARS：基于逻辑的流分析推理框架，Artif。智力。，261, 16-70 (2018) ·Zbl 1448.68395号 ·doi:10.1016/j.artint.2018.04.003 [8] Bellini，P。；马托里尼，R。；Nesi，P.，实时系统规范的时序逻辑，ACM Compute。调查。，32, 1, 12-42 (2000) ·数字对象标识代码：10.1145/349194.349197 [9] Bohlen，M.H.，Busatto，R.，Jensen，C.S.：基于点-伪间隔的时间数据模型。摘自：《第14届国际数据工程会议论文集》，第192-200页（1998年）。doi:10.1109/ICDE.1998.655777 [10] 契塔罗，L。；Montanari，A.，缓存事件演算中的有效时间推理，计算。智力。，12, 3, 359-382 (1996) ·doi:10.1111/j.1467-8640.1996.tb00267.x [11] 乔米奇，J。；DM Gabbay；Ohlbach，HJ，《时间查询语言：一项调查》，《时间逻辑》，506-534（1994），海德堡：斯普林格出版社·兹比尔0949.68524 ·doi:10.1007/BFb0014006 [12] Cugola，G.，Margara，A.：特斯拉：一种正式定义的事件规范语言。摘自：DEBS’10，第50页。ACM出版社（2010）。doi:10.145/1827418.18827427 [13] Dohr，A.、Engels，C.、Behrend，A.：处理关系数据库中时间间隔集的代数运算符。In:时代周刊（2018）·Zbl 1487.68090号 [14] Chen，H.-Y.，Tsai，J.J.P.，Bi，Y.：一种基于事件的实时逻辑，用于指定实时系统的行为和定时属性。摘自：《第三届人工智能工具国际会议论文集》，TAI 91，第210-219页（1991年）。doi:10.1109/TAI.1991.167097 [15] Khan，A.、Bozzato，L.、Serafini，L.和Lazzerini，B.：使用答案集编程对足球视频中的复杂事件进行可视化推理。收录：Calvanee，D.，Iocchi，L.（编辑）GCAI 2019。第五届全球人工智能会议记录。EPiC计算机系列，第65卷，第42-53页（2019年）。doi:102.9007/pjd4 [16] 科瓦尔斯基，R。；Sergot，M.，《基于逻辑的事件演算》，N.Gener。计算。，4, 1, 67-95 (1986) ·Zbl 1356.68221号 ·doi:10.1007/BF03037383 [17] Libkin，L.：有限模型理论的要素。斯普林格，海德堡（2004）。doi:10.1007/978-3-662-07003-1·Zbl 1060.03002号 [18] 毛，C。；埃兰，A。；Luo，Y.，使用增广范围树的高效基因组区间查询，Sci。代表，9，1，5059（2019）·doi:10.1038/s41598-019-41451-3 [19] Mileo，A。；阿卜杜勒拉赫曼，A。；Policarpio，S。；Hauswirth，M。；Faber，W。；Lembo，D.，StreamRule:语义网的非单调流推理系统，web推理和规则系统，247-252（2013），海德堡：斯普林格·doi:10.1007/978-3-642-39666-323 [20] 穆勒，E.T.：第五章——常识性惯性定律。摘自：Mueller，E.T.（编辑）《常识推理》（第二版），第77-89页。Morgan Kaufmann，波士顿（2015）。doi:10.1016/B978-0-12-801416-5.00005-X [21] Pitsikalis，M.、Artikis，A.、Dreo，R.、Ray，C.、Camossi，E.、Jousselme，A.L.：海上监测的复合事件识别。摘自：DEBS（2019），第163-174页。计算机械协会，美国纽约州纽约市（2019年）。doi:10.1145/3328905.3329762 [22] Pitsikalis，M.、Lisitsa，A.、Luo，S.：菲内斯特（2021）。https://github.com/manospits/Phenesthe（网址：https://github.com/manospits/Phenesthe） [23] Pitsikalis，M.，Lisitsa，A.，Luo，S.：瞬时和持续时间现象的表示和处理（2021）。https://arxiv.org/abs/1208.13365 [24] 雷，C。；R.éo博士。；卡莫西，E。；亚利桑那州Jousselme；Iphar，C.，《海上情报、监视和侦察的异构集成数据集》，《数据简报》，25（2019年）·文件编号：10.1016/j.dib.2019.104141 [25] Roy，J.：基于规则的海事异常检测专家系统。收录于：Carapezza，E.M.（编辑）《国土安全和国土防御IX的传感器、指挥、控制、通信和情报（C3I）技术》，第7666卷，第597-608页。国际光学和光子学会，SPIE（2010）。数字对象标识代码：10.1117/12.849131 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。