Уперше запропоновано модель подання знань про ієрархічний зв'язок компонент проектованої системи та структуру проекту певної системи (інформаційної, програмної, цифрової) у вигляді графової продукції. Удосконалено трикомпонентну модель подання знань, складовими частинами якої є граматика, числення предикатів та продукційна система, що узгоджує різні моделі знань. Удосконалення полягає у заміні граматики на синтаксично кероване визначення, що дозволяє більш ефективно проводити семантичний аналіз мовних конструкцій. Розвинуто метод виведення у компонентах використовуваної моделі знань, а саме: запропоновано виведення у синтаксично керованому визначенні проводити без глухих кутів під керуванням характеристичного скінченного автомату. Дістав подальшого розвитку процес логічного виведення. Завдяки структуризації, що базується на лексичному перетворенні імен предикатів логічної бази знань, досягнуто скорочення часу виконання логічного виведення у численні предикатів з використанням функцій як термінів.

 Автореферати дисертацій 

---

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"