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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Datum:2024
Hauptverfasser: Lupenko, Serhii A., Volianyk, Oleksandr V.
Format: Artikel
Sprache:English
Veröffentlicht: Kyiv National University of Construction and Architecture 2024
Schlagworte:
Online Zugang:https://es-journal.in.ua/article/view/321298
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Environmental safety and natural resources

Institution

Environmental safety and natural resources
Beschreibung
Zusammenfassung: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.