An Event Calculus production rule system in dynamic and uncertain domains

T. Patkos 1, 2 D. Plexousakis 2 A. Chibani 1 Yacine Amirat 1
1 SIRIUS
LISSI - Laboratoire Images, Signaux et Systèmes Intelligents
Abstract : Action languages have emerged as an important field of knowledge representation for reasoning about change and causality in dynamic domains. This paper 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.
Type de document :
Article dans une revue
Journal of Theory and Practice of Logic Programming, Cambridge University Press, 2016, 16 (3), pp.325-352
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01538499
Contributeur : Lab Lissi <>
Soumis le : mardi 13 juin 2017 - 16:23:34
Dernière modification le : dimanche 30 décembre 2018 - 16:20:09

Identifiants

  • HAL Id : hal-01538499, version 1

Collections

Citation

T. Patkos, D. Plexousakis, A. Chibani, Yacine Amirat. An Event Calculus production rule system in dynamic and uncertain domains. Journal of Theory and Practice of Logic Programming, Cambridge University Press, 2016, 16 (3), pp.325-352. 〈hal-01538499〉

Partager

Métriques

Consultations de la notice

51