Detecting redundant production rules

Authors:
James G. Schmolze;Wayne Snyder
Affiliations:
Dept. of Electrical Eng. and Computer Science, Tufts University, Medford, MA;Dept. of Computer Science, Boston University, Boston, MA
Venue:
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Year:
1997

Citing 16
Cited 6

Rule-based systems

Communications of the ACM
An assumption-based TMS

Artificial Intelligence
Knowledge base verification

AI Magazine
Principles of artificial intelligence

Principles of artificial intelligence
Optimizing datalog programs

Foundations of deductive databases and logic programming
Logic programming and databases

Logic programming and databases
Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency

IEEE Transactions on Software Engineering
Rewrite systems

Handbook of theoretical computer science (vol. B)
Subsumption anomalies in hybrid knowledge bases

International Journal of Expert Systems - Special issue on verification and validation (Part 2)
Inconsistency and redundancy checking for quasi-first-order-logic knowledge bases

International Journal of Expert Systems - Special issue on verification and validation (Part 2)
Applying formal verification methods to rule-based programs

International Journal of Expert Systems
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems

Journal of the ACM (JACM)
Developing Knowledge-Based Systems

Developing Knowledge-Based Systems
PREPARE: A Tool for Knowledge Base Verification

IEEE Transactions on Knowledge and Data Engineering
Rewrite Semantics for Production Rule Systems: Theory and Applications

CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
A Formal Semantics for mOPS5

TAI '95 Proceedings of the Seventh International Conference on Tools with Artificial Intelligence

Self-Stabilizing Real-Time OPS5 Production Systems

IEEE Transactions on Knowledge and Data Engineering
Redundancy in logic I: CNF propositional formulae

Artificial Intelligence
Redundancy in logic II: 2CNF and Horn propositional formulae

Artificial Intelligence
Redundancy in logic III: Non-monotonic reasoning

Artificial Intelligence
Verification of knowledge bases based on containment checking

Artificial Intelligence
Redundancy in logic I: CNF propositional formulae

Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a general method for detecting redundant production rules based upon a term rewrite semantics. We present the semantic account, define rule execution over both ground memories and memory schemas, and define redundancy for production rules. From those definitions, an algorithm is developed that detects redundant rules, and which improves upon previously published methods.