paper-with-me

Papers

Online Learning Probabilistic Event Calculus Theories in Answer Set Programming

2021-03-31 · Nikos Katzouris, Alexander Artikis, Georgios Paliouras

Complex Event Recognition (CER) systems detect event occurrences in streaming time-stamped input using predefined event patterns. Logic-based approaches are of special interest in CER, since, via Statistical Relational AI, they combine uncertainty-resilient reasoning with time and change, with machine learning, thus alleviating the cost of manual event pattern authoring. We present a system based on Answer Set Programming (ASP), capable of probabilistic reasoning with complex event patterns in the form of weighted rules in the Event Calculus, whose structure and weights are learnt online. We compare our ASP-based implementation with a Markov Logic-based one and with a number of state-of-the-art batch learning algorithms on CER datasets for activity recognition, maritime surveillance and fleet management. Our results demonstrate the superiority of our novel approach, both in terms of efficiency and predictive performance. This paper is under consideration for publication in Theory and Practice of Logic Programming (TPLP).

📄 PDF Abstract BibTeX arXiv:2104.00158

Code (1)

nkatzz/ORL 공식 구현

Tasks

Activity RecognitionManagement

Similar Papers 제목 키워드 기반

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

Distributed Online Learning of Event Definitions

2017-05-05 · Nikos Katzouris, Alexander Artikis, Georgios Paliouras

Logic-based event recognition systems infer occurrences of events in time using a set of event definitions in the form of first-order rules. The Event Calculus is a temporal logic that has been used as a basis in event r…

Activity RecognitionFormInductive logic programming

Online Learning of Weighted Relational Rules for Complex Event Recognition

2019-01-23 · European Conference on Machine Learning and Knowledge Discovery in Databases 2019 1 · Nikos Katzouris, Evangelos Michelioudakis, Alexander Artikis, Georgios Paliouras

Systems for symbolic complex event recognition detect occurrences of events in time using a set of event definitions in the form of logical rules. The Event Calculus is a temporal logic that has been used as a basis in e…

Activity Recognition

Online Learning of Event Definitions

2016-07-30 · Nikos Katzouris, Alexander Artikis, Georgios Paliouras

Systems for symbolic event recognition infer occurrences of events in time using a set of event definitions in the form of first-order rules. The Event Calculus is a temporal logic that has been used as a basis in event …

Activity RecognitionInductive logic programming

Bounded Situation Calculus Action Theories

2015-09-07 · Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi

In this paper, we investigate bounded action theories in the situation calculus. A bounded action theory is one which entails that, in every situation, the number of object tuples in the extension of fluents is bounded b…