An event calculus production rule system for reasoning in dynamic and uncertain domains. Issue 3 (7th March 2016)

• Record Type: Journal Article
• Authors: PATKOS, THEODORE; PLEXOUSAKIS, DIMITRIS; CHIBANI, ABDELGHANI; AMIRAT, YACINE
• Is Part Of: Theory and practice of logic programming. Volume 16:Issue 3(2016)
• Page Start: 325
• Page End: 352
• Publication Date: 2016-03-07
• Subjects: Event calculus, -- Rule-based reasoning, -- Smart environments; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068416000065
• Languages: English
• ISSNs: 1471-0684

Abstract

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.