Page 73 - Міністерство освіти і науки України

За результатами експериментального
визначення метрологічних характеристик прийнято
рішення про придатність ВК до використання.

3.4 Обґрунтування вибору програмної оболонки при розробці
методу контролю технічного стану доліт

Програмне забезпечення пристрою контролю
технічного стану доліт повинно бути управляючою
програмою, в якій за допомогою операторів керуючої мови
вказується послідовність виконання функціональних
процедур. Дана програма повинна формалізувати
експертні знання і представити їх у формі, зручній для
подальшої обробки.
Вважається [66], що предметне знання в
декларативній формі більш ефективно
використовується системою і легко розуміється
користувачем.
До мов представлення знань (МПЗ)
пред’являють наступні основні вимоги:
- виразна сила (чи може експерт або інженер по
знаннях ефективно передати своє знання
системі?);
- зрозумілість (чи може експерт або інженер по
знаннях зрозуміти, що система знає?);
- доступність (чи може система використати
інформацію, яка була їй передана?).
Досвід [66] показує, що зараз ні одна з мов
представлення знань не задовольняє всім цим
вимогам, хоча в даний час для багатьох з них
створене розвинуте обчислювальне середовище.
Розглянемо і проаналізуємо деякі з МПЗ.
До табличних мов відносяться табличні мови
Кода. В табличних реляційних мовах всі знання
записуються у вигляді таблиць, зручних для
використання. Недоліком їх є жорсткість форматів
опису і неуніверсальність. В табличних реляційних

73