Improved ontological model of the knowledge base of the expert system for decision support in the field of digital processing and computer simulation of cyclic signals

The work is devoted to the improvement of the conceptual and formal-logical model of the ontology of the subject area "Modeling and Processing of Cyclic Signals". Namely, the work developed a formal-logical model of the sub-ontology of tasks, a formal-logical model of the sub-ontology of p...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2024
Автори: Lupenko, Serhii A., Volianyk, Oleksandr V.
Формат: Стаття
Мова:English
Опубліковано: Kyiv National University of Construction and Architecture 2024
Теми:
Онлайн доступ:https://es-journal.in.ua/article/view/321298
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Environmental safety and natural resources

Репозитарії

Environmental safety and natural resources
Опис
Резюме:The work is devoted to the improvement of the conceptual and formal-logical model of the ontology of the subject area "Modeling and Processing of Cyclic Signals". Namely, the work developed a formal-logical model of the sub-ontology of tasks, a formal-logical model of the sub-ontology of problem-solving methods in the field of modeling and processing of cyclic signals, a formal-logical model of the sub-ontology of hardware and software tools, and a formal-logical model of the sub-ontology of the results of applying mathematical models, methods and means of processing and computer simulation of cyclic signals. The improved ontology model and its implemented prototype are the main knowledge base of the onto-oriented expert decision-making support system when solving the tasks of justified selection of mathematical models and methods for evaluating characteristics, spectral analysis and computer simulation of cyclic signals within the framework of the theory of cyclic functional relations. Examples of ontology fragments developed in the Protégé environment are given. The non-contradiction of the developed ontology was confirmed by means of Protégé's automated formal and logical reasoning. The expediency of API-based integration of the developed computer ontology with a large linguistic model, namely, with ChatGPT, is substantiated.