Яловець А. Л. Логіко-обчислювальна семантична мережа як модель подання знань

English version

Дисертація на здобуття ступеня доктора наук

Державний реєстраційний номер

0508U000153

Облікова картка дисертації

0508U000153.pdf

Здобувач

Спеціальність

  • 01.05.02 - Математичне моделювання та обчислювальні методи

28-02-2008

Спеціалізована вчена рада

Д 26.185.01

Анотація

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

Читати повністю

Файли

Dissertation_Yalovets.doc

autoreferat_Yalovets.doc

supplement_Yalovets.doc

Схожі дисертації

0423U100159

Сеник Юлія Андріївна

Моделювання та дослідження розмірних ефектів у електропровідних тілах

0523U100127

Кашпур Олена Федорівна

Iнтерполяцiя операторiв в гiльбертових та евклiдових просторах

0423U100110

Кураш Сергій Юрійович

Математичне моделювання реакції будівель та споруд на вибухові впливи

0523U100103

Шевченко Сергій Станіславович

Математичні моделі процесів в системах герметизації відцентрових машин

0523U100042

Мельник Андрій Миколайович

Знання-орієнтовані програмні системи для інтервального аналізу та моделювання складних об’єктів