paper-with-me

Papers

Reactive Reasoning with the Event Calculus

2015-05-20 · Alexander Artikis, Marek Sergot, Georgios Paliouras

Systems for symbolic event recognition accept as input a stream of time-stamped events from sensors and other computational devices, and seek to identify high-level composite events, collections of events that satisfy some pattern. RTEC is an Event Calculus dialect with novel implementation and 'windowing' techniques that allow for efficient event recognition, scalable to large data streams. RTEC can deal with applications where event data arrive with a (variable) delay from, and are revised by, the underlying sources. RTEC can update already recognised events and recognise new events when data arrive with a delay or following data revision. Our evaluation shows that RTEC can support real-time event recognition and is capable of meeting the performance requirements identified in a recent survey of event processing use cases.

📄 PDF Abstract BibTeX arXiv:1505.05364

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Probabilistic Event Calculus for Event Recognition

2012-07-13 · Anastasios Skarlatidis, Georgios Paliouras, Alexander Artikis, George A. Vouros

Symbolic event recognition systems have been successfully applied to a variety of application domains, extracting useful information in the form of events, allowing experts or other systems to monitor and respond when si…

Activity Recognition

Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming

2021-09-10 · Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias 외

We consider requirements for cyber-physical systems represented in constrained natural language. We present novel automated techniques for aiding in the development of these requirements so that they are consistent and c…

Foundations for a Probabilistic Event Calculus

2017-03-20 · Fabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens, Rob Miller

We present PEC, an Event Calculus (EC) style action language for reasoning about probabilistic causal and narrative information. It has an action language style syntax similar to that of the EC variant Modular-E. Its sem…

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming

2021-06-28 · Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta

Automated commonsense reasoning is essential for building human-like AI systems featuring, for example, explainable AI. Event Calculus (EC) is a family of formalisms that model commonsense reasoning with a sound, logical…

Negation

An Event Calculus Production Rule System for Reasoning in Dynamic and Uncertain Domains

2015-12-14 · Theodore Patkos, Dimitris Plexousakis, Abdelghani Chibani, Yacine Amirat

Action languages have emerged as an important field of Knowledge Representation for reasoning about change and causality in dynamic domains. This article presents Cerbere, a production system designed to perform online c…

Activity RecognitionEpistemic Reasoning