ALGORITHMES POUR LA COMPILATION DE BASES DE CONNAISSANCES EN LOGIQUE PROPOSITIONNELLE ET DU PREMIER ORDRE : LES SYSTEMES KHEOPS ET CLOPS / HERVE PHILIPPE ; sous la direction de M. GHALLAB

Date :

Editeur / Publisher : [Lieu de publication inconnu] : [Éditeur inconnu] , 1989

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Ghallab, Malik (Directeur de thèse / thesis advisor)

Université Toulouse 3 Paul Sabatier (1969-....) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : 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