ML Anthology

An Inference Net Compiler for the PROSPECTOR Rule-Based Consultation System

Kurt Konolige
IJCAI 1979 pp. 487-489
/ijcai/1979/konolige1979ijcai-inference/

Abstract

A compiler for the production system used in a rule-based consultation system is described. This compiler produces machine code which performs antecedent or data-driven inference In an efficient manner. Timing results and some limitations of the compiler are discussed.

Semantic Scholar

Cite

Text

Konolige. "An Inference Net Compiler for the PROSPECTOR Rule-Based Consultation System." International Joint Conference on Artificial Intelligence, 1979.

Markdown

[Konolige. "An Inference Net Compiler for the PROSPECTOR Rule-Based Consultation System." International Joint Conference on Artificial Intelligence, 1979.](https://mlanthology.org/ijcai/1979/konolige1979ijcai-inference/)

BibTeX

@inproceedings{konolige1979ijcai-inference,
  title     = {{An Inference Net Compiler for the PROSPECTOR Rule-Based Consultation System}},
  author    = {Konolige, Kurt},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1979},
  pages     = {487-489},
  url       = {https://mlanthology.org/ijcai/1979/konolige1979ijcai-inference/}
}