A rule-based calculus and processing of complex events

Stefano Bragaglia, Federico Chesani, Paola Mello, Davide Sottara

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

Abstract

Rules are definitely among the main kinds of knowledge representation in Artificial Intelligence. In recent years, there has been much discussion about production rules and logic programming to understand whether the two paradigms could be joined or, alternatively, which was the better. Conversely, the idea to program a production system with logic without actually relying on logic programming was proposed. In this paper we present a software component that implements a typical logic formalism, the Event Calculus within a production rules system. This component allows to perform deductive reasoning tasks (temporal projection or prediction, such as monitoring) and thanks to some technical choices, it proves to be quite efficient. In addition, thanks to its strong modular nature, it can adapt to the domain's requirements and complement other forms of reasoning at the same time. We also present some preliminary results on tests that we have conducted to show that our system based on a Java rules engine is almost as efficient as an equivalent logic program running on the fastest C++ Prolog interpreter. Furthermore we show how our framework can be used to effectively observe the evolving state of our use case - a Service Oriented Architecture server - in a way that qualifies as Complex Event Processing.

Original languageEnglish (US)
Title of host publicationRules on the Web
Subtitle of host publicationResearch and Applications - 6th International Symposium, RuleML 2012, Proceedings
Pages151-166
Number of pages16
DOIs
StatePublished - Oct 1 2012
Externally publishedYes
Event6th International Symposium on Rules on the Web: Research and Applications, RuleML 2012, collocated with the 20th biennial European Conference on Artificial Intelligence (ECAI 2012) - Montpellier, France
Duration: Aug 27 2012Aug 29 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7438 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other6th International Symposium on Rules on the Web: Research and Applications, RuleML 2012, collocated with the 20th biennial European Conference on Artificial Intelligence (ECAI 2012)
CountryFrance
CityMontpellier
Period8/27/128/29/12

Fingerprint

Production Rules
Logic Programming
Calculus
Logic programming
Reasoning
Event Calculus
Complex Event Processing
Logic
Prolog
Software Components
Service-oriented Architecture
Knowledge Representation
Production Systems
Processing
Logic Programs
Use Case
C++
Java
Artificial Intelligence
Engine

Keywords

  • Complex Event Processing
  • Event Calculus
  • Production Rules
  • Rule-based Reasoning

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Bragaglia, S., Chesani, F., Mello, P., & Sottara, D. (2012). A rule-based calculus and processing of complex events. In Rules on the Web: Research and Applications - 6th International Symposium, RuleML 2012, Proceedings (pp. 151-166). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7438 LNCS). https://doi.org/10.1007/978-3-642-32689-9_12

A rule-based calculus and processing of complex events. / Bragaglia, Stefano; Chesani, Federico; Mello, Paola; Sottara, Davide.

Rules on the Web: Research and Applications - 6th International Symposium, RuleML 2012, Proceedings. 2012. p. 151-166 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7438 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Bragaglia, S, Chesani, F, Mello, P & Sottara, D 2012, A rule-based calculus and processing of complex events. in Rules on the Web: Research and Applications - 6th International Symposium, RuleML 2012, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7438 LNCS, pp. 151-166, 6th International Symposium on Rules on the Web: Research and Applications, RuleML 2012, collocated with the 20th biennial European Conference on Artificial Intelligence (ECAI 2012), Montpellier, France, 8/27/12. https://doi.org/10.1007/978-3-642-32689-9_12
Bragaglia S, Chesani F, Mello P, Sottara D. A rule-based calculus and processing of complex events. In Rules on the Web: Research and Applications - 6th International Symposium, RuleML 2012, Proceedings. 2012. p. 151-166. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-32689-9_12
Bragaglia, Stefano ; Chesani, Federico ; Mello, Paola ; Sottara, Davide. / A rule-based calculus and processing of complex events. Rules on the Web: Research and Applications - 6th International Symposium, RuleML 2012, Proceedings. 2012. pp. 151-166 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{22c9d891e1374078ba5bfdad5da31f84,
title = "A rule-based calculus and processing of complex events",
abstract = "Rules are definitely among the main kinds of knowledge representation in Artificial Intelligence. In recent years, there has been much discussion about production rules and logic programming to understand whether the two paradigms could be joined or, alternatively, which was the better. Conversely, the idea to program a production system with logic without actually relying on logic programming was proposed. In this paper we present a software component that implements a typical logic formalism, the Event Calculus within a production rules system. This component allows to perform deductive reasoning tasks (temporal projection or prediction, such as monitoring) and thanks to some technical choices, it proves to be quite efficient. In addition, thanks to its strong modular nature, it can adapt to the domain's requirements and complement other forms of reasoning at the same time. We also present some preliminary results on tests that we have conducted to show that our system based on a Java rules engine is almost as efficient as an equivalent logic program running on the fastest C++ Prolog interpreter. Furthermore we show how our framework can be used to effectively observe the evolving state of our use case - a Service Oriented Architecture server - in a way that qualifies as Complex Event Processing.",
keywords = "Complex Event Processing, Event Calculus, Production Rules, Rule-based Reasoning",
author = "Stefano Bragaglia and Federico Chesani and Paola Mello and Davide Sottara",
year = "2012",
month = "10",
day = "1",
doi = "10.1007/978-3-642-32689-9_12",
language = "English (US)",
isbn = "9783642326882",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "151--166",
booktitle = "Rules on the Web",

}

TY - GEN

T1 - A rule-based calculus and processing of complex events

AU - Bragaglia, Stefano

AU - Chesani, Federico

AU - Mello, Paola

AU - Sottara, Davide

PY - 2012/10/1

Y1 - 2012/10/1

N2 - Rules are definitely among the main kinds of knowledge representation in Artificial Intelligence. In recent years, there has been much discussion about production rules and logic programming to understand whether the two paradigms could be joined or, alternatively, which was the better. Conversely, the idea to program a production system with logic without actually relying on logic programming was proposed. In this paper we present a software component that implements a typical logic formalism, the Event Calculus within a production rules system. This component allows to perform deductive reasoning tasks (temporal projection or prediction, such as monitoring) and thanks to some technical choices, it proves to be quite efficient. In addition, thanks to its strong modular nature, it can adapt to the domain's requirements and complement other forms of reasoning at the same time. We also present some preliminary results on tests that we have conducted to show that our system based on a Java rules engine is almost as efficient as an equivalent logic program running on the fastest C++ Prolog interpreter. Furthermore we show how our framework can be used to effectively observe the evolving state of our use case - a Service Oriented Architecture server - in a way that qualifies as Complex Event Processing.

AB - Rules are definitely among the main kinds of knowledge representation in Artificial Intelligence. In recent years, there has been much discussion about production rules and logic programming to understand whether the two paradigms could be joined or, alternatively, which was the better. Conversely, the idea to program a production system with logic without actually relying on logic programming was proposed. In this paper we present a software component that implements a typical logic formalism, the Event Calculus within a production rules system. This component allows to perform deductive reasoning tasks (temporal projection or prediction, such as monitoring) and thanks to some technical choices, it proves to be quite efficient. In addition, thanks to its strong modular nature, it can adapt to the domain's requirements and complement other forms of reasoning at the same time. We also present some preliminary results on tests that we have conducted to show that our system based on a Java rules engine is almost as efficient as an equivalent logic program running on the fastest C++ Prolog interpreter. Furthermore we show how our framework can be used to effectively observe the evolving state of our use case - a Service Oriented Architecture server - in a way that qualifies as Complex Event Processing.

KW - Complex Event Processing

KW - Event Calculus

KW - Production Rules

KW - Rule-based Reasoning

UR - http://www.scopus.com/inward/record.url?scp=84866682118&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84866682118&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-32689-9_12

DO - 10.1007/978-3-642-32689-9_12

M3 - Conference contribution

SN - 9783642326882

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 151

EP - 166

BT - Rules on the Web

ER -