Representation and processing of instantaneous and durative temporal phenomena

DOI10.1007/978-3-030-98869-2_8MaRDI QIDQ6102256zbMATH OpenFDO

Authors Manolis Pitsikalis, Alexej P. Lisitsa, Shan Luo

Publication date 8 May 2023

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2108.13365

zbMATH Keywords

event definition languageevent recognitionstream processingtemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Abstract: Event definitions in Complex Event Processing systems are constrained by the expressiveness of each system's language. Some systems allow the definition of instantaneous complex events, while others allow the definition of durative complex events. While there are exceptions that offer both options, they often lack of intervals relations such as those specified by the Allen's interval algebra. In this paper, we propose a new logic based temporal phenomena definition language, specifically tailored for Complex Event Processing, that allows the representation of both instantaneous and durative phenomena and the temporal relations between them. Moreover, we demonstrate the expressiveness of our proposed language by employing a maritime use case where we define maritime events of interest. Finally, we analyse the execution semantics of our proposed language for stream processing and introduce the `Phenesthe' implementation prototype.

Recommendations

• Complex Event Processing Under Uncertainty Using Markov Chains, Constraints, and Sampling
• Algebraic operators for processing sets of temporal intervals in relational databases
• Knowledge representation, reasoning and integration using temporal logic with clocks
• scientific article; zbMATH DE number 970729
• Simplification of temporal relations based on an interval matrix

Cites work

• A logic-based calculus of events
• Algebraic operators for processing sets of temporal intervals in relational databases
• Elements of finite model theory.
• scientific article; zbMATH DE number 1536573 (Why is no real title available?)
• LARS: a logic-based framework for analytic reasoning over streams
• Maintaining knowledge about temporal intervals
• Two-sorted point-interval temporal logics

Cited in

(6)

• scientific article; zbMATH DE number 759604 (Why is no real title available?)
• scientific article; zbMATH DE number 3894539 (Why is no real title available?)
• Representations of Space and Time in the Maximization of Information Flow in the Perception-Action Loop
• Complex Event Processing Under Uncertainty Using Markov Chains, Constraints, and Sampling
• Diagrams of Time and Syntaxes of Consciousness: A Contribution to the Phenomenology of Visualization
• Handling of past and future with Phenesthe+

This page was built for publication: Representation and processing of instantaneous and durative temporal phenomena

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6102256)