Set differentiation: a method for the automatic generation of filtering algorithms

Author

Darche, Fawzia Derrough

Author_Institution

Lab. MASI, Univ. Pierre et Marie Curie, Paris, France

fYear

1996

fDate

25-28 Sep 1996

Firstpage

134

Lastpage

143

Abstract

We present a method and its implementation in the GAP system for the automatic generation of filtering algorithms. The evaluation of left-hand sides of rules relies on the matching of condition elements with working memory elements. The filtering is the inference engine phase that performs this matching. Our automatic generation method is based on set differentiation, taking into account both qualitative and quantitative aspects. We present GAP´s architecture and show how generic filtering algorithm skeletons are built using set differentials

Keywords

automatic programming; computer aided software engineering; constraint handling; inference mechanisms; knowledge based systems; set theory; GAP system; automatic program generation; condition elements; constraint set representation; filtering algorithms; generic filtering algorithm skeletons; inference engine; production system; qualitative aspects; quantitative aspects; rule left-hand sides; set differentiation; working memory elements; Computer architecture; Electronic mail; Encoding; Engines; Filtering algorithms; Indexing; Matched filters; Pattern matching; Production systems; Skeleton;

fLanguage

English

Publisher

ieee

Conference_Titel

Knowledge-Based Software Engineering Conference, 1996., Proceedings of the 11th

Conference_Location

Syracuse, NY

ISSN

1068-3062

Print_ISBN

0-8186-7681-7

Type

conf

DOI

10.1109/KBSE.1996.552831

Filename

552831