Incremental Event Calculus for Run-Time Reasoning (Extended Abstract)

Efthimis Tsilionis; Alexander Artikis; Georgios Paliouras

IJCAI 2023poster0 citations

Incremental Event Calculus for Run-Time Reasoning (Extended Abstract)

Efthimis Tsilionis, Alexander Artikis, Georgios Paliouras

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.

Knowledge Representation and Reasoning: GeneralKnowledge Representation and Reasoning: KRR: Logic programmingKnowledge Representation and Reasoning: KRR: Non-monotonic reasoningKnowledge Representation and Reasoning: KRR: Reasong about actionsKnowledge Representation and Reasoning: KRR: Reasoning about knowledge and belief

BibTeX

@inproceedings{ijcai2023p793,
  title     = {Incremental Event Calculus for Run-Time Reasoning (Extended Abstract)},
  author    = {Tsilionis, Efthimis and Artikis, Alexander and Paliouras, Georgios},
  booktitle = {Proceedings of the Thirty-Second International Joint Conference on
               Artificial Intelligence, {IJCAI-23}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Edith Elkind},
  pages     = {6974--6978},
  year      = {2023},
  month     = {8},
  note      = {Journal Track},
  doi       = {10.24963/ijcai.2023/793},
  url       = {https://doi.org/10.24963/ijcai.2023/793},
}