A logic-based calculus of events
New Generation Computing
Database updates in the event calculus
Journal of Logic Programming
A logic-based integration of active and deductive databases
New Generation Computing
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Multiagent systems: a modern approach to distributed artificial intelligence
Multiagent systems: a modern approach to distributed artificial intelligence
Maintaining knowledge about temporal intervals
Communications of the ACM
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Service-Oriented Computing: Key Concepts and Principles
IEEE Internet Computing
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Computer-based Medical Guidelines and Protocols: A Primer and Current Trends
Computer-based Medical Guidelines and Protocols: A Primer and Current Trends
Artificial intelligence today
A rule-based implementation of fuzzy tableau reasoning
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Business Process Management: Concepts, Languages, Architectures
Business Process Management: Concepts, Languages, Architectures
A Logic-Based, Reactive Calculus of Events
Fundamenta Informaticae - On the Italian Conference on Computational Logic: CILC 2009
Event condition expectation (ECE-) rules for monitoring observable systems
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Formalizing the specification and execution of workflows using the event calculus
Information Sciences: an International Journal
Distributed ECA rules for data management policies
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Hi-index | 0.00 |
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.