ML Anthology

Detecting Redundant Production Rules

James G. Schmolze, Wayne Snyder
AAAI 1997 pp. 417-423
/aaai/1997/schmolze1997aaai-detecting/

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.

PDF AAAI Semantic Scholar

Cite

Text

Schmolze and Snyder. "Detecting Redundant Production Rules." AAAI Conference on Artificial Intelligence, 1997.

Markdown

[Schmolze and Snyder. "Detecting Redundant Production Rules." AAAI Conference on Artificial Intelligence, 1997.](https://mlanthology.org/aaai/1997/schmolze1997aaai-detecting/)

BibTeX

@inproceedings{schmolze1997aaai-detecting,
  title     = {{Detecting Redundant Production Rules}},
  author    = {Schmolze, James G. and Snyder, Wayne},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1997},
  pages     = {417-423},
  url       = {https://mlanthology.org/aaai/1997/schmolze1997aaai-detecting/}
}