ФОРМАЛЬНА ВЕРИФІКАЦІЯ МОДЕЛЕЙ ПОДАННЯ ДАНИХ У СИСТЕМАХ НА БАЗІ ШТУЧНОГО ІНТЕЛЕКТУ
Date
2026
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Кваліфікаційна робота присвячена дослідженню методів формальної верифікації моделей подання даних у системах на базі штучного інтелекту. У роботі проаналізовано сучасні підходи до подання знань, побудовано онтологію предметної області, реалізовано RDF-граф знань та виконано формальну перевірку моделі за допомогою SHACL. Результати роботи дозволяють автоматично виявляти логічні суперечності та підвищувати надійність ШІ-систем / The qualification work is devoted to the study of formal verification methods for data representation models in artificial intelligence systems. The paper analyzes modern approaches to knowledge representation, develops a domain ontology, implements an RDF knowledge graph, and performs formal model verification using SHACL. The obtained results allow automatic detection of logical inconsistencies and improve the reliability of AI systems.
Description
Петухов В. М. Формальна верифікація моделей подання даних у системах на базі штучного інтелекту = Formal verification of data representation models in artificial intelligence-based systems : кваліфікаційна робота на здобуття ступеня вищої освіти «бакалавр» / В. М. Петухова; наук. к. доктор філософії (PhD), доц. М. Ю. Полторацький; Міністерство освіти і науки України ; Херсонський держ. ун-т, ф-т комп’ютерних наук, фізики та математики, кафедра комп’ютерних наук та програмної інженерії. – Івано-Франківськ : ХДУ, 2026. – 42 с.
Keywords
штучний інтелект, RDF, SHACL, онтологія, граф знань, формальна верифікація / artificial intelligence, ontology, knowledge graph, formal verification.