|
-
Ключові слова:
інтелектуальні системи, интеллектуальные системы ; бази знань, (БЗ), базы знаний, (БЗ), knowledge bases ; верифікація програм, верификация программ ; діаграми, диаграммы ; онтологія, онтология ; програмне забезпечення, ПЗ, программное обеспечение, ПО, software, Software, logiciel ; семантичні моделі, семантические модели ; Object Query Language, OQL ; Constraint Satisfaction Problem, CSP ; Computation Independent Model, CIM
-
Анотація:
В диссертационной работе усовершенствована модель, формализующая семантику компьютерных программ, которая отличается от существующих учетом семантических аннотаций элементов таких моделей. Впервые предложен интеллектуальный метод синтеза семантических моделей программ. Получил дальнейшее развитие метод проверки выполнимости формальной модели программы. Усовершенствован метод семантико-синтаксического анализа формального языка на основе его многокомпонентной модели. Получил дальнейшее развитие метод машинного обучения с подкреплением. Разработанные методы и модели реализованы в виде модулей прототипа системы синтеза семантических моделей программ.
-
Теми документа
-
Праці співробітників ХНУРЕ // Лещинська Олена Леонідівна, Лещинская Елена Леонидовна
-
УДК // Прикладні системи штучного інтелекту. Інтелектуальні системи, основані на знаннях
-
УДК // Програмні семантики
|
