{"type":"ScholarlyArticle","title":"Incremental Event Calculus for Run-Time Reasoning (Extended Abstract)","authors":[{"name":"Efthimis Tsilionis","slug":"efthimis-tsilionis","given":"Efthimis","family":"Tsilionis","affiliation":"Department of Informatics & Telecommunications , National and Kapodistrian University of Athens , Greece; Institute of Informatics & Telecommunications , NCSR \"Demokritos\" , Greece"},{"name":"Alexander Artikis","slug":"alexander-artikis","given":"Alexander","family":"Artikis","affiliation":"Department of Maritime Studies , University of Piraeus , Greece; Institute of Informatics & Telecommunications , NCSR \"Demokritos\" , Greece"},{"name":"Georgios Paliouras","slug":"georgios-paliouras","given":"Georgios","family":"Paliouras","affiliation":"Institute of Informatics & Telecommunications , NCSR \"Demokritos\" , Greece"}],"abstract":"We present a system for online, incremental composite event recognition. In streaming environments, the usual case is for data to arrive with a (variable) delay from, and to be revised by, the underlying sources. We propose RTEC_inc, an incremental version of RTEC, a composite event recognition engine with formal, declarative semantics, that has been shown to scale to several real-world data streams. RTEC deals with delayed arrival and revision of events by computing all queries from scratch. This is often inefficient since it results in redundant computations. Instead, RTEC_inc deals with delays and revisions in a more efficient way, by updating only the affected queries. We compare RTEC_inc and RTEC experimentally using real-world and synthetic datasets. The results are compatible with our complexity analysis and show that RTEC_inc outperforms RTEC in many practical cases.","doi":"10.24963/ijcai.2023/793","url":"https://ijcai.org/proceedings/2023/793","pdf":"https://ijcai.org/proceedings/2023/0793.pdf","markdown":"https://ijcai.org/proceedings/2023/793.md","bibtex":"https://ijcai.org/proceedings/2023/bibtex/793","volume":{"slug":"2023","title":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2023","url":"https://ijcai.org/proceedings/2023/","year":2023,"location":"Macao, SAR","dates":"19-25 August 2023","editors":"Edith Elkind","isbn":"978-1-956792-03-4","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2023"},"section":"Journal Track","track":"Journal Track","number":793,"pages":{"first":6974,"last":6978},"keywords":["Knowledge Representation and Reasoning: KRR: Reasoning about knowledge and belief","Knowledge Representation and Reasoning: General","Knowledge Representation and Reasoning: KRR: Logic programming","Knowledge Representation and Reasoning: KRR: Reasong about actions","Knowledge Representation and Reasoning: KRR: Non-monotonic reasoning"],"videos":[],"references":[{"position":1,"raw":"[Alevizos et al., 2017] Elias Alevizos, Anastasios Skarla- tidis, Alexander Artikis, and Georgios Paliouras. Proba- bilistic complex event recognition: A survey. ACM Com- put. Surv., 50(5):71:1-71:31, 2017.","title":"Probabilistic complex event recognition: A survey","authors":"Elias Alevizos, Anastasios Skarlatidis, Alexander Artikis, Georgios Paliouras","year":"2017","venue":"ACM Comput. Surv","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Artikis et al., 2015] Alexander Artikis, Marek J. Sergot, and Georgios Paliouras. An event calculus for event recog- nition. IEEE Trans. Knowl. Data Eng., 27(4):895-908, 2015.","title":"An event calculus for event recognition","authors":"Alexander Artikis, J Marek, Georgios Sergot, Paliouras","year":"2015","venue":"IEEE Trans. Knowl. Data Eng","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Clark, 1977] Keith L. Clark. Negation as failure. In Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, France, 1977, pages 293-322, 1977.","title":"Negation as failure","authors":"Keith L Clark","year":"1977","venue":"Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Cugola and Margara, 2012] Gianpaolo Cugola and Alessandro Margara. Complex event processing with t-rex. Journal of Systems and Software, 85(8):1709 - 1728, 2012.","title":"Complex event processing with t-rex","authors":"Gianpaolo Cugola, Alessandro Margara","year":"2012","venue":"Journal of Systems and Software","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Giatrakos et al., 2020] Nikos Giatrakos, Elias Alevizos, Alexander Artikis, Antonios Deligiannakis, and Minos N. Garofalakis. Complex event recognition in the big data era: a survey. VLDB J., 29(1):313-352, 2020.","title":"Complex event recognition in the big data era: a survey","authors":"Nikos Giatrakos, Elias Alevizos, Alexander Artikis, Antonios Deligiannakis, Minos N Garofalakis","year":"2020","venue":"VLDB J","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Kowalski and Sergot, 1986] Robert A. Kowalski and Marek J. Sergot. A logic-based calculus of events. New Generation Comput., 4(1):67-95, 1986.","title":"A logic-based calculus of events","authors":"Robert A Kowalski, Marek J Sergot","year":"1986","venue":"New Generation Comput","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Patroumpas et al., 2017] Kostas Patroumpas, Elias Alevi- zos, Alexander Artikis, Marios Vodas, Nikos Pelekis, and Yannis Theodoridis. Online event recognition from mov- ing vessel trajectories. GeoInformatica, 21(2):389-427, 2017.","title":"Online event recognition from moving vessel trajectories","authors":"Kostas Patroumpas, Elias Alevizos, Alexander Artikis, Marios Vodas, Nikos Pelekis, Yannis Theodoridis","year":"2017","venue":"GeoInformatica","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Przymusinski, 1987] T. Przymusinski. On the declarate se- mantics of stratified deductive databases and logic pro- grams. In Foundations of Deductive Databases and Logic Programming. Morgan, 1987.","title":"On the declarate semantics of stratified deductive databases and logic programs","authors":"T Przymusinski","year":"1987","venue":"Foundations of Deductive Databases and Logic Programming","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Tsilionis et al., 2022] Efthimis Tsilionis, Alexander Artikis, and Georgios Paliouras. Incremental event calculus for run-time reasoning. J. Artif. Intell. Res., 73:967-1023, 2022.","title":"Efthimis Tsilionis, Alexander Artikis, and Georgios Paliouras. Incremental event calculus for run-time reasoning","authors":"Tsilionis","year":"2022","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}