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...
Gespeichert in:
| Datum: | 2024 |
|---|---|
| Hauptverfasser: | , |
| 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| 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. |
|---|