Filtering of complex rule conditions

F. Derrough

IBP-Masi 1994/20: Rapport de Recherche Masi / Masi research reports
12 pages - Mai/May 1994 - Document en anglais.

Titre / Title: Filtering of complex rule conditions

Résumé : Les algorithmes de pattern matching connus sont applicables quand les conditions des règles sont simples, c'est-à-dire quand les conditions des règles sont satisfaites s'il existe au moins un élément de la mémoire de travail avec lequel elles s'unifient. Les opérations élémentaires dans la base de faits valident ou invalident immédiatement les instanciations de telles conditions. Ce papier présente le filtrage de conditions complexes. Les conditions complexes sont des formules de la logique des prédicats du premier ordre avec des quantificateurs existentiels et universels dans n'importe quel ordre. L'ajout et le retrait de faits n'affectent pas directement les conditions complexes. Pour un filtrage efficace de telles conditions, nous avons besoin d'un algorithme adapté à chaque schéma de condition complexe. Nous proposons une méthode qui génère automatiquement ces algorithmes.

Abstract : Currently used match algorithms are applicable to simple condition elements in left-hand sides of rules, i.e. condition elements that are satisfied if there exists at least one matching working memory element. Elementary operations in the working memory immediately validate or invalidate instantiations of such condition elements. This paper presents the filtering of complex condition elements. Complex conditions are first order predicate calculus formulas with universal and existential quantifiers. Adding and removing a working memory element do not immediately affect such conditions. We need a filtering algorithm for each complex condition scheme. Moreover, we propose a method to automatically generate filtering algorithms of such conditions.

Publications internes Masi 1994 / Masi research reports 1994