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

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

Д. М. Обідін
Системи обробки інформації. — 2012. — № 3(101). — С. 85-89.
УДК 681.5
Мова статті: українська
Анотації на мовах:

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