У дисертації наведені теоретичні узагальнення і нове вирішення наукової задачі, що виявляється в: - удосконаленні комплексної трикомпонентної моделі подання знань, шляхом введення більш досконалої граматичної компоненти у вигляді синтаксично керованого визначення; - подальшому розвитку процесу логічного виведення з використанням функцій у якості термів предикатів; - введенні графових продукцій для подання знань про ієрархію і структуру проекту; - розробці засобів адаптації експертної системи до використання у сфері проектування цифрових пристроїв. Розроблені прикладні інтелектуальні системи використовуються в багатьох застосуваннях. Існує значна кількість експертних систем, що у різних областях: медицина, математика, геологія, військова галузь і т.д. Не втрачає своєї актуальності задача генерації програмного коду, виходячи з високорівневого подання проекту. При цьому автоматична генерація коду використовується не тільки для програмних систем, але і для інших інженерних проектів (наприклад, цифрових пристроїв), де за високорівневим поданням проекту на мові проектувальника генерується програмна модель для тотального тестування проектованої системи. Використання для автоматичної генерації коду CАSE-засобів, побудованих на традиційних обчислювальних підходах не дало бажаних результатів, тому що різні аспекти системи автоматичної генерації коду потребують застосування інтелектуальних здібностей. Тому виникає потреба дослідження можливості побудови і реалізації експертної системи, що генерує код у заданій мові програмування, виходячи з високоуровневого подання проекту на мові проектувальника. Побудовано основні засоби реалізації ЕС, показана можливість побудови експертної системи, що автоматично генерує код за описанням проекту, на основі трикомпонентної моделі знань (граматика, числення предикатів, продукційна система). Застосування трикомпонентної моделі знань дозволяє гнучко й адекватно описувати знання різної природи і добре структурувати програмну реалізацію експертної системи: граматика описує синтаксично і семантично мову проектування, числення предикатів – правила прийняття рішень при формуванні програмного компонента і його інтерфейсів, продукційна система трансформує семантичні відношення мови проектувальника у формули числення предикатів для одержання коду як результату логічного висновку. Удосконалено трикомпонентну модель представлення знань шляхом використання синтаксично керованого висновку замість граматики. Використання граматики вимагає застосування схем трансляції, які при розробці граматики зобов'язують розроблювача створювати деталі реалізації такої граматики, що приведе до додаткових трудозатратат і помилок. СКВ, будучи високорівневими специфікаціями правил обробки лінгвістичної інформації (лінгвістичних знань), ховає множину деталей реалізації і звільняє розроблювача від явної вказівки цих деталей. Застосування СКВ в трикомпонентній моделі знань значно полегшує побудова лінгвістичної бази знань та її реалізацію у вигляді програмного продукту. Одержало подальший розвиток удосконалення процесу виведення у формальних системах, відображаючих базу знань та обробку знань. Досліджено задачі виведення в СКВ і логічній базі знань: для висновку в СКВ запропоновано використовувати безтупиковий висновок, керований характеристичним кінцевим автоматом, що будується методом анотування; висновок у логічній базі знань, керований стратегією, заданою таблицями рішень, доповнений керуванням, що визначається структуризацією і лексичними перетвореннями імен предикатів. Реалізація систем, що виводять, програмними компонентами дозволяє їхнє безпосереднє використання в структурі експертної системи. Побудовано форму для представлення знань (фактів і ступеня вкладеності ієрархічних рівнів проекту) про проект у виді графової продукції. Графова продукція дозволяє уніфікацію мовного представлення проекту для різних предметних областей і, будучи структурованою, дозволяє швидкий доступ до різних своїх частин. Крім того, графова продукція може бути використана як правило в системі висновку, результатом роботи якої можуть бути різні властивості проекту. При реалізації експертної системи графова продукція обробляється уніфікованим програмним блоком загальним для всіх областей застосування. Побудовано комплекс алгоритмів, що здійснюють обробку знань у СКВ, а так же саме синтаксично кероване визначення для графової продукції. Вираховано характеристичний автомат для безтупикового аналізу графової продукції. Створено правила для логічної бази знань у вигляді хорнівських диз’юнктів, що здійснюють генерацію програмного коду в процесі логічного висновку. Зазначено спосіб придбання знань для бази знань, у якій присутні такі правила. Правила універсальні для різних областей застосування. Побудовані СКВ, фрагменти логічних баз знань, алгоритми, що генерують код, для моделювання мовою VHDL комбінаційної і послідовної логіки при проектуванні цифрових пристроїв, що демонструє життєвість запропонованих у роботі рішень. Зроблено оцінку ресурсних характеристик алгоритмів, що підтверджує їхню ефективність. | 