Abstract FR:

Le systeme melodia est un ensemble de methodes logiques pour la detection d'incoherences et autres anomalies dans les bases de connaissances. Nous nous placons dans le cadre des systemes ou la connaissance est exprimee de maniere declarative par un ensemble de regles de production, dit base de regles et eventuellement d'un ensemble de contraintes semantiques. Les methodes de controle proposees par melodia consistent essentiellement a convertir la base de connaissances en un ensemble de clauses dont les variables booleennes correspondent aux expressions elementaires des regles: puis a appliquer des methodes de resolution que nous avons adaptees, pour mettre en evidence les anomalies existant dans la base de connaissances. Ces methodes permettent de detecter des redondances et des theoremes caches dans les regles, et surtout d'etudier la coherence de la base, un controle necessaire pour sa validation formelle. Ces differents controles ont ete appliques a des bases de connaissances industrielles. Les resultats obtenus montrent a quel point cette etude est indispensable. De plus, son cout relativement peu eleve pour des bases importantes (jusqu'a 10. 000 regles) montre l'utilite d'un tel outil pour le developpement et la maintenance des bases de connaissances