An Event Calculus Production Rule System for Reasoning in Dynamic and Uncertain Domains
This work addresses the challenge of efficient and expressive reasoning for dynamic domains like smart spaces, though it appears incremental as it combines existing logic-based and probabilistic methods.
The authors tackled the problem of reasoning in dynamic and uncertain domains by developing Cerbere, a production system based on the Event Calculus that performs online causal, temporal, and epistemic reasoning, and applied it to smart spaces for activity recognition and monitoring.
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 causal, temporal and epistemic reasoning based on the Event Calculus. The framework implements the declarative semantics of the underlying logic theories in a forward-chaining rule-based reasoning system, coupling the high expressiveness of its formalisms with the efficiency of rule-based systems. To illustrate its applicability, we present both the modeling of benchmark problems in the field, as well as its utilization in the challenging domain of smart spaces. A hybrid framework that combines logic-based with probabilistic reasoning has been developed, that aims to accommodate activity recognition and monitoring tasks in smart spaces. Under consideration in Theory and Practice of Logic Programming (TPLP)