Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
A Comparative Evaluation of Expert System Tools
Computer - Special issue on cryptography
A Descriptive Language for Symbol Manipulation
Journal of the ACM (JACM)
Adding meta rules to OPS5 a proposed extension
ACM SIGPLAN Notices
An Algebraic Approach to Rule Analysis in Expert Database Systems
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Smart (enough) systems: how to deliver competitive advantage by automating the decisions hidden in your business
A Logic Based Approach to the Static Analysis of Production Systems
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Using Constraints to Verify Properties of Rule Programs
ICSTW '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops
TREAT: a better match algorithm for AI production systems
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Assessing the maintainability of XCON-in-RIME: coping with the problems of a VERY large rule-base
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Declarative semantics for the rule interchange format production rule dialect
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Detection of inconsistencies in rules due to changes in ontologies: let's get formal
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Extending an object-oriented RETE network with fine-grained reactivity to property modifications
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
| Hi-index | 0.00 |
Production systems are declarative, in that they do not explicitly specify the control flow. Yet, the concept of a production system does not include the definition of a given control strategy. The control between rules in a production rule program is, in practice, defined by each implementation of a production rule engine. Engines have traditionally been implemented using the Rete algorithm. Since the turn of the century, however, production systems have evolved into industrial products known as Business Rules Management Systems (BRMS). BRMS have introduced new compilation and execution schemes, which are often called sequential in contrast with the incremental behavior of Rete. This change in execution scheme came with a change in semantics for rule programs. In this paper, we propose a formal description of the execution of production rule programs. Existing descriptions either ignore the control strategy, or assume a Rete semantics. Ours isolates the handling of rule eligibility in the control strategy, which allows us to describe the sequential execution semantics of rule programs, as well as the Rete semantics, and others.