, Ainsi nous pourrons trouver la base cohérente à l'issue a) de l'examen de l'exclusion entre P et Q ce qui nécessite l'examen de 25 conflits entre 2 règles b) de l'examen de l'injevtivité de Q ce qui nécessite l'examen de 20 conflits entre 2 règles c) de l'examen du caractère fonctionnel des Fj ce qui nécessite aussi l'examen de 100 conflits entre 2 règles soit au total 145 examens relativement simples. Par contre, si on ne connaît pas la relation entre P et P' ou sur Q, alors seule une approche dynamique permettra de trouver la base cohérente. Mais elle nécessitera l'examen del0
, Système expert de surveillance des sources électriques d'une centrale nucléaire, Note EDF-DER, vol.3787, issue.11, pp.5880-5888, 1987.
, EXTRA: A Real Time Knowledge-Based Alarm System American National Society Meeting -"A.I. and other innovative Computer Applications in the Nuclear Industry, 1987.
, Détection d'incohérences dans les bases de connaissances: SACCO" Thèse d'état, 1987.
, De la cohérence dans les bases de connaissances Actes des journées nationales du PRC-GRECO 14 et 15 MarsOff-line coherence checking for Knowledged Based Systems, Protocols for Consistency Checking in Expert System Knowledge Bases" Proc. of ECAI-88, 1988.
, La cohérence dans les bases de connaissances" CEPADUES-EDITIONS, Collection Intelligence Artificielle, Détection d'anomalies dans les bases de connaissances" Actes du Colloque Intelligence Artificielle sur la Méta- Connaissance, 1990.
, Contrôler la cohérence d'une base de connaissances, Proc. Les systèmes experts et leurs applications, 1988.
, JASMIN: Construction et Contrôle d'une base de connaissances, Thèse de doctorat de l'université Paris, 1989.
, KADS: Structured Knowledge Acquisition for Expert Systems, Proc. Les systèmes experts et leurs applications, 1985.
, An attempt to improve the knowledge-based systems validation: the VALID project" ?? rapport projet ESPRIT II ?Etude et réalisation d'un langage objet : LORE" Thèse de doctorat de l'université d'Orsay, CHARLES90] E. CHARLES "Méthodes logiques pour la détection d'incohérences et autres anomalies dans les bases de connaissances, 1987.
, MELODÍA : Logical Methods For Checking Knowledge Base" EC AI Workshop on Validation, Verification and Test of KBSs Stockhom, 1990.
, Système de surveillance des sources électriques d'une centrale nucléaire. 3SE : présentation des aspects Intelligence Artificielle, Tenth International Conference "Expert Systems and their Applications, 1990.
, Intégration dans un AGL des mécanismes de gestion des contraintes d'intégrité" Mémoire d'ingénieur C, 1991.
, Compilation de Bases de Règles par Systèmes ExpertsProgrammation en Logique Trivaluée" Publication n° 115 -IT, Proc. Les systèmes experts et leurs applications, 1987.
, Notice du langage et guide d'utilisation de S2.Boojum" Note EDF-DER, HI, 1986.
, Notice complémentaire du langage S2.Boojum" Note EDF-DER, HI, 1986.
, Résolution qualitative: complétude, interprétation physique et contrôle Mise en oeuvre dans un langage à base de règles: Boojum, Thèse de l'université Paris VI, Décembre 1987 [DORMOY88] J.L.DORMOY "Amélioration de l'efficacité du pattern matching dans le langage à base de règles BOOJUM", Convention IA 89, 1989.
, Représentation et utilisation des connaissances (1) : contraintes sémantiques sur une base de faits SHALConnaissances pour compiler des connaissances: le système SHAL Juin 1991 également à paraître dans "La revue de l'Intelligence Artificielle", numéro spécial sur la compilation de règles, Note EDF-DER HI, vol.71857450, issue.6, 1990.
, Eléments pour la constitution d'une base de connaissances pour l'automatique" Note EDF-DER, HI 21, 1988.
, Sémantique des systèmes experts: théorie et applications" Convention IA-89, pp.23-27
, Une maquette système expert pour la modélisation de la connaissance de conduite de centrale classique Mars 1989 [FALIN091 ] CM. FALINOWER "SACSO, une maquette d'un système expert d'aide à la conduite de centrales classiques, Note EDF-DER HI Note EDF-DER HI, vol.2164467149, issue.5, 1986.
, Un système interactif pour le maintien de la cohérence d'une base de règles, Proc. Les systèmes experts et leurs applications, 1988.
, Verification & Validation of Expert Systems, AI EXPERT, vol.5, issue.2, pp.26-33, 1990.
, Vérification and Validation of Expert Systems Workshop on knowledge-based system verification, Logique et Langages Formels (l ère partie)" Note EDF-DER, HI 21-6384, 1987.
, Convergence commutative d'une base de connaissances: les logiciels LRC appliqués à une maquette d'aide à la conduite d'une centrale nucléaire, 1985.
, Cohérence d'une base de connaissances : La Convergence Commutative en langage LRC" Note EDF-DER, HI 5080-02 FévrierOn the terminology of VVT" Proceedings of EUROVAV-91Modèles Logiques et Systèmes d'Intelligence Artificielle" Traité des nouvelles technologies -Série Intelligence Artificielle, éditions HERMESInconsistency of production systems, Data & Knowledge Engineering, vol.3, issue.89, pp.245-260, 1985.
, Analyse de la cohérence d'une base de règles d'ordre zéro plus à l'aide d'une base de règles d'ordre un, 1987.
, Cohérence et complétude de bases de règles d'ordre Zéro Plus: aspect théorique" LOT N°l du Projet de recherche, 1989.
, Cohérence de bases de règles d'ordre Zéro Plus: Dossier Technique" LOT N°3 du Projet de recherche, 1990.
, Cohérence et Complétude des bases de connaissances Actes de laJournée Thématique sur l'Adaptation des Techniques d'Intelligence Artificielle aux Systèmes Militaires, pp.24-91
, A Descriptive Model of Predicates for Verifying Production Systems Proceedings of the ECAI Workshop on "Validation, Verification and Test of Knowledge-Based Systems, 1990.
, A Descriptive Model of Predicates for Verifying Production Systems" in "Validation, Verification and Test of Knowledge-based Systems, pp.149-162, 1991.
, Présentation de la chaîne d'exploitation MELOMIDIA, Intelligence Artificielle Paris VÍ Septembre, 1991.
, Logique et Informatique, 1986.
, Logique, Réduction, Résolution" Collection etudes et recherches en informatique, 1990.
, TIBRE: un système expert qui teste les incohérences dans les bases de règlesLa détection d'incohérences dans les systèmes d'ordre un" Thèse de l'université Paris VI, mars 1989, Proc. Les systèmes experts et leurs applicationsLALEUF91] J.CLALEUF "Logiques et Modèles. Première partie: définitions générales et propriétés élémentaires de logique mathématique, pp.63-84, 1988.
, Intelligence Artificielle: résolutions de problèmes par l'homme et la machine, 1987.
, La description et la détection des incohérences dans les bases de règlesValidation, acquisition et mise au point interactive des bases de connaissances: le système COCO-X fondé sur la cohérence, Proc. Les systèmes experts et leurs applications Thèse de doctorat, 1989.
, Knowledge Based Systems Validation: A State of the Art, AI Communications, vol.3, issue.2, pp.58-72, 1990.
, Vérification de la cohérence d'une base de faits Rapport de stage pour, 1991.
, Génération automatique de programmes par règles et compilation de bases de règles. Application à un système expert de diagnostic de signaux courants de Foucault, Thèse de doctorat, 1989.
, Réflexions sur la validation des systèmes à base de connaissances, RUCKERT "Checking Consistency in Expert Systems" Proc. of "Les systèmes experts et leur application, pp.90-92, 0198.
, Test et validation de logiciel: Panorama des techniques et des outils, BIGRE, vol.60, 1989.
, Alouette: une environnement logiciel pour l'utilisation de bases de connaissances, Note EDF/DER HI, pp.5302-5304
, Checking an expert system knowledge base for consistency and completeness, Proc. of IJCAI, vol.85, 1985.
, Knowledge base verificationVerifying consistency of production systems, Proc. of the 3rd IEEE Conference on Artificial Intelligence Applications, 1987.
, Validating Expert System Performance, IEEE Expert Winter, 1987.
, Introduction à ia Logique Intuitionniste" dans "Modèles Logiques et Systèmes d'Intelligence Artificielle, p.89
, INDE: un système de détection d'inconsistances et d'incomplétudes dans les bases de connaissances Thèse de doctorat de 3 èmc cycle Université Paris-sud, DécembreDétection d'inconsistances et d'incomplétudes dans les bases de règles: le sytème INDE, Proc. Les systèmes experts et leurs applicationsPITRAT90] Jacques PITRAT "METACONNAISSANCE, futur de l'intelligence artificielleLinguistique générale: Théorie et Description" Collection Initiation à la linguistique Editions KLINCKSIECK, 1985.
, Sur la cohérence et la validation des bases de connaissances: le système COVADIS" Thèse de doctorat d'état, 1988.
, On the consistency of knowledge Bases: the COVADIS system, Proc. of ECAI-88, 1983.
, An approach to Verfying Completeness and Consistency in a Rule-Based Expert System" The AI-Magazine, pp.16-21, 1982.
, SACKOOL : un système de détection des incohérences pour une validation des bases de connaissances Acte 7ème congrès "Reconnaissances des Formes et Intelligence Artificielle, RFIA), 1989.
, REGLE 'E2LLY001EC_5040' SI E2LLY001EC = '1' ALORS E2llY001TU_O
, REGLE 'E2LGA0Û5EC_504Q' SI E2LGA005EC = '1' ALORS E2LGA0Q1VG_M := 'IP Déclenchement de la règle : REGLE 'E21LYÛ05EC_504Q> SI E2LLY005EC = '1' ALORS E2LLY001JA_P
, REGLE 'E2LHA009ECJ040' SI E2LHA009EC = '1' ALORS E2LHA001JA_P
, REGLE 'E2llYÛ04EC_505û' SI E2LLY004EC = '0' ALORS E2LLYQQ1TU_E
, PR' La valeur du fait E2LLY_T a change Par la regle E2LLY001TU_511 il avait la valeur : 'AB' Elle devient par la regle E2LLY_80
, 114 a) Introduction-Synthèse, p.114
, 120 cl) La Base de Règles, p.120
, 126 a) Les faits, p.126
, 140 a) Introduction, p.140