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

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

Д. М. Обідін
УДК 681.5
Мова статті: українська
Анотації на мовах:

У статті висвітлюється метод верифікації баз знань на основі операцій з матрицями, що дозволяє відшукувати усі відомі аномалії у базах правил, такі як дублювання, часткове включення, зациклювання, надлишкове правило, неузгодженість, розривність та надмірність.
Ключові слова: база знань, система автоматичного управління повітряним судном, верифікація
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Обідін Д. М. Метод верифікації баз знань систем автоматичного управління на основі матричних операцій / Д. М. Обідін  // Системи озброєння і військова техніка. — 2012. — № 4. — С. 131-135.