Вперше розроблено модель подання знань - логіко-обчислювальну семантичну (ЛОС) мережу, що має нову сукупність функціональних можливостей, одночасно не притаманних аналогічним моделям. Розроблено метод прямого логічного виводу на базі формування множин вершин ЛОС-мережі, специфічною особливістю якого є можливість безпосереднього виведення з кожної з них деякої раніше не виведеної вершини. Вперше створено метод побудови початкового стану процесу прямого логічного виводу, що дозволяє виключити можливість завдання суперечних, неповних або надлишкових вхідних даних для опису ситуації для розв'язання проблемних задач на ЛОС-мережі. Розроблено методи статичної верифікації знань, поданих у ЛОС-мережі. Запропоновано теретико-графовий підхід для вирішення проблеми виявлення й усунення суперечностей у структурі ЛОС-мережі. Розроблено метод генерації множини тестових випадків для ЛОС-мережі. На базі розроблених моделі подання знань і методів їх обробки реалізовано програмно-інструментальне середовище подання й обробки знань (СЛМ-технологію). Показано можливості використання нової СЛМ-технології для підтримки процесів подання й обробки чітких і нечітких процедурно-декларативних знань і забезпечення їх несуперечності.

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

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Яловець Андрій Леонідович (технічні науки)

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