A Knowledge Based Tool for Checking Large Knowledge Bases
Rym Nouira, Jean-Marc Fouet · Industrial and Engineering Applications of Artificial Intelligence and Expert Systems · 2022
We present a tool for detecting conflicts and redundancies among large knowledge bases. First it allows the reduction of the combinatory by selecting among all the rules only those liable to generate conflicts; it does this using properties of the rules and heuristics. Then some attributes linking chunks of knowledge constitute access paths allowing to reduce the search duration for a particular information. They allow also to keep trace of the results of previously accomplished treatments that will be useful in future process, in order to avoid needlessly repeating treatments. Finally as the knowledge used to accomplish these treatments and checks is itself expressed in inference rule formalism, the system may be applied to itself.