1. Science
  2. Publications
  3. Information Processing Systems
  4. 3(101)'2012
  5. The method for verification of knowledge base of aircraft control system of matrix operations

The method for verification of knowledge base of aircraft control system of matrix operations

D.М. Оbidin
Annotations languages:

The article highlights the method for knowledge base verification on the basis of matrix operations that allows to find all known anomalies in rule set such as duplication, subsumption, circular rule sets, inconcistency, missing lincs, auxiliary rule sets and redundancy.
Keywords: knowledge base, aircraft control system, verification