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

  Завантажити