出版社：Ivan Kozhedub Kharkiv National Air Force University
摘要：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.
其他摘要：У статті висвітлюється метод верифікації баз знань на основі операцій з матрицями,що дозволяє відшукувати усі відомі аномалії у базах правил,такі як дублювання,часткове включення,зациклювання,надлишкове правило,неузгодженість,розривність та надмірність.
关键词：knowledge base;aircraft control system;verification
其他关键词：база знань;система автоматичного управління повітряним судном;верифікація
