1. Наука
  2. Видання
  3. Системи озброєння і військова техніка
  4. 4(32)'2012
  5. Метод верификации баз знаний систем автоматического управления на основе матричных операций

Метод верификации баз знаний систем автоматического управления на основе матричных операций

Д.Н. Обидин
Аннотации на языках:

В статье рассмотрен метод верификации баз знаний на основе операций с матрицами, который позволяет находить все известные аномалии в базах правил, такие как дублирование, частичное включение, зацикливания, избыточное правило, несогласованность, разрывность и избыточность.
Ключевые слова: база знаний, система автоматического управления воздушным судном, верификация