Abstract FR:

L'environnement kheops est developpe sur la base de la logique des propositions etendue. La compilation d'une base de regles aboutit a la construction d'un reseau de decision dont l'interpretation est d'un niveau de complexite bien inferieur a celui associe a la procedure d'interpretation de la base de regles. L'algorithme de compilation integre aussi une procedure de verification simultanee de la coherence de la base de regles. L'environnement clops est developpe sur la base d'un formalisme du premier ordre. L'operation que la compilation de la base de regles a pour objet d'optimiser, est la determination de l'ensemble de conflit