A Deductive Pattern Matcher

Abstract

This paper describes the design of a pattern matcher for a knowledge representation system called Loom. The pattern matcher has a very rich pattern-forming language, and is logic-based, with a deductive mechanism which includes a truth-maintenance component as an integral part of the pattern-matching logic. The technology behind the Loom matcher uses an inference engine called a classifier to perform the matches. The Loom matcher is more expressive and more complete than previous classification-based pattern-matchers, and is expected to be significantly more efficient.

in Proceedings of the Seventh National Conference on Artificial Intelligence, (AAAI 88), pp. 403-408, 1988.

The full paper is available in postscript. Get Postscript. (6pp)

Back to Paper List