1. Science
  2. Publications
  3. Systems of Arms and Military Equipment
  4. 4(32)'2012
  5. Method of verification of knowledge bases automatic control systems based on matrix operations

Method of verification of knowledge bases automatic control systems based on matrix operations

D.M. Obidin
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