The Match Box algorithm for parallel production system match

@inproceedings{Perlin1989TheMB,
  title={The Match Box algorithm for parallel production system match},
  author={Mark W. Perlin},
  year={1989}
}
We introduce Match Box, a new increments matching algorithm for determining the tuple instantiations of forward-chaining production rules. Match Box is rooted in the mathematical interconnections between tuple and binding spaces, a framework also applicable to other pattern matching algorithms. The idea is to precompute a rule's binding space, and then have each binding independently monitor working memory for the incremental formation of tuple instantiations. A key feature of Match Box is that… CONTINUE READING

Similar Papers

Loading similar papers…