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
Efficient tests for top-down termination of logical rules
Journal of the ACM (JACM)
Real-time knowledge-based systems
AI Magazine
Rule-based programming under OPS5
Rule-based programming under OPS5
Reasoning About Time in Higher-Level Language Software
IEEE Transactions on Software Engineering
Intelligent real-time control of robotic vehicles
Communications of the ACM
Structural testing of rule-based expert systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
The state of the art in parallel production systems
Journal of Parallel and Distributed Computing
Timing analysis of MRL: a real-time rule-based system
Real-Time Systems - Special issue: Real-time languages and language-level timing tools and analysis
A structured view of real-time problem solving
AI Magazine
The Challenges of Real-Time AI
Computer
Parallel Rule Firing in Production Systems
IEEE Transactions on Knowledge and Data Engineering
A Source-to-Source Transformation for Increasing Rule-Based System Parallelism
IEEE Transactions on Knowledge and Data Engineering
Response Time Analysis of EQL Real-Time Rule-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Optimization of Rule-Based Systems Using State Space Graphs
IEEE Transactions on Knowledge and Data Engineering
Response Time Analysis of OPS5 Production Systems
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
Predicting the response time of OPS5-style production systems
CAIA '95 Proceedings of the 11th Conference on Artificial Intelligence for Applications
Dynamic Optimization for Real-Time Rule-Based Systems Using Predicate Dependency
RTAS '00 Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium (RTAS 2000)
Analysis and Synthesis of Real-Time Rule-Based Decision Systems
Analysis and Synthesis of Real-Time Rule-Based Decision Systems
Parallelism in production systems
Parallelism in production systems
IEEE Transactions on Knowledge and Data Engineering
Shortening Matching Time in OPS5 Production Systems
IEEE Transactions on Software Engineering
Self-Stabilizing Real-Time OPS5 Production Systems
IEEE Transactions on Knowledge and Data Engineering
Verifying Resource Requirements for Distributed Rule-Based Systems
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Modal logics for communicating rule-based agents
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Automated verification of resource requirements in multi-agent systems using abstraction
MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence
Formalizing both refraction-based and sequential executions of production rule programs
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
| Hi-index | 0.00 |
Abstract--This paper examines the problem of predicting the timing behavior of knowledge-based systems for real-time applications. In particular, we describe a suite of tools which analyze OPS5 programs to understand their timing properties. First, a graphical representation of an OPS5 program is defined and evaluated. This graph represents the logical control flows of an OPS5 program. Most of our analysis is based on this data structure. Second, we describe a novel tool which verifies that an OPS5 program can terminate in finite time. If the termination of the OPS5 program is not expected, the 驴culprit驴 conditions are detected. These conditions are then used to correct the problem by adding extra rules to the original program. Third, another tool is introduced to aid timing analysis of OPS5 programs. This tool generates a set of test data which maximize the program execution time. Other functions are also provided to facilitate the timing analysis.