Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
TREAT: a new and efficient match algorithm for AI production systems
TREAT: a new and efficient match algorithm for AI production systems
Rule-based programming under OPS5
Rule-based programming under OPS5
Uniform self-stabilizing rings
ACM Transactions on Programming Languages and Systems (TOPLAS)
Token Systems That Self-Stabilize
IEEE Transactions on Computers
Self-stabilizing extensions for message-passing systems
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Stabilizing Communication Protocols
IEEE Transactions on Computers - Special issue on protocol engineering
Binary self-stabilization in distributed systems
Information Processing Letters
Analysis and synthesis of real-time rule-based decision systems
Analysis and synthesis of real-time rule-based decision systems
Behavior of database production rules: termination, confluence, and observable determinism
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Wait-free clock synchronization
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
Time optimal self-stabilizing synchronization
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Closure and Convergence: A Foundation of Fault-Tolerant Computing
IEEE Transactions on Software Engineering - Special issue on software reliability
A self-stabilizing algorithm to synchronize digital clocks in a distributed system
Computers and Electrical Engineering
Memory-efficient and self-stabilizing network RESET (extended abstract)
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Termination analysis of OPS5 expert systems
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Possible and Impossible Self-Stabilizing Digital ClockSynchronization in General Graphs
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part I
A dynamic self-stabilizing algorithm for finding strongly connected components
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
Self-stabilizing systems in spite of distributed control
Communications of the ACM
Expert Systems: Principles and Programming
Expert Systems: Principles and Programming
IEEE Transactions on Computers
Parallel Rule Firing in Production Systems
IEEE Transactions on Knowledge and Data Engineering
Response Time Analysis of EQL Real-Time Rule-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Rule-Based System Validation through Automatic Identification of Equivalence Classes
IEEE Transactions on Knowledge and Data Engineering
Optimization of Rule-Based Systems Using State Space Graphs
IEEE Transactions on Knowledge and Data Engineering
Compile-Time and Runtime Analysis of Active Behaviors
IEEE Transactions on Knowledge and Data Engineering
Response Time Analysis of OPS5 Production Systems
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Analysis of Real-Time Rule-Based Systems with Behavioral Constraint Assertions Specified in Estella
IEEE Transactions on Software Engineering
Two-State Self-Stabilizing Algorithms for Token Rings
IEEE Transactions on Software Engineering
Deriving Production Rules for Constraint Maintainance
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Reducing Matching Time for OPS5 Production Systems
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Euro-Par '97 Proceedings of the Third International Euro-Par Conference on Parallel Processing
Time Optimal Self-Stabilizing Spanning Tree Algorithms
Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science
Self-stabilizing clock synchronization in a hierarchical network
ICDCS '99 Workshop on Self-stabilizing Systems
Predicting the response time of OPS5-style production systems
CAIA '95 Proceedings of the 11th Conference on Artificial Intelligence for Applications
Bounded-Response-Time Self-Stabilizing OPS5 Production Systems
IPDPS '00 Proceedings of the 14th International Symposium on Parallel and Distributed Processing
Unifying Stabilization and Termination in Message-Passing Systems
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
A distributed expert system for space shuttle flight control
A distributed expert system for space shuttle flight control
Parallelism in production systems
Parallelism in production systems
A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Self-stabilizing multi-token rings
Distributed Computing
Self-stabilization of dynamic systems assuming only read/write atomicity
Distributed Computing - Special issue: Self-stabilization
Detecting redundant production rules
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting
IEEE Transactions on Computers
Developing a real-time inference approach for rule-based reasoning systems
Proceedings of the 2013 Research in Adaptive and Convergent Systems
| Hi-index | 0.00 |
We examine the task of constructing bounded-time self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-stabilization are essential for rule-based programs that must be highly fault-tolerant and perform in a real-time environment. We present an approach for solving this problem using the OPS5 programming language as it is one of the most expressive and widely used rule-based programming languages. Bounded response-time of the program is ensured by constructing the state space graph so that the programmer can visualize the control flow of the program execution. Potential infinite firing sequences, if any, should be detected and the involved rules should be revised to ensure bounded termination. Both the input variables and internal variables are made fault-tolerant from corruption caused by transient faults via the introduction of new self-stabilizing rules in the program. Finally, the timing analysis of the self-stabilizing OPS5 program is shown in terms of the number of rule firings and the comparisons performed in the Rete network.