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

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

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

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