Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
Semantic Modeling and Hybrid Models. / Goncharov, Sergey; Sviridenko, Dmitry.
SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., 2019. стр. 987-990 8958196 (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
}
TY - GEN
T1 - Semantic Modeling and Hybrid Models
AU - Goncharov, Sergey
AU - Sviridenko, Dmitry
N1 - Funding Information: The study was carried out by a grant from the Russian Science Foundation (project 17-11-01176)
PY - 2019/10
Y1 - 2019/10
N2 - The problem of solving complex and large-scale tasks using computers is discussed, where modeling is the main method of solving tasks. The advantages and disadvantages of classical programming considered as the main tools of computer modeling are analyzed. A model-Theoretic approach to solving the problem of computer-based solution of complex tasks, called semantic modeling, is described. The advantages of the proposed concept are analyzed from the perspective of the ability to solve complex large-scale tasks by constructing hybrid models combining various approaches and modeling methods using oracles, which are basic predicates of the original model. This feature allows you to integrate models of various nature, for example, digital and analog, continuous and discrete, logical-mathematical and probabilistic, mathematical and heuristic, etc. based on semantic modeling. The problem is to create a single semantic protocol that allows integration of models of different nature.
AB - The problem of solving complex and large-scale tasks using computers is discussed, where modeling is the main method of solving tasks. The advantages and disadvantages of classical programming considered as the main tools of computer modeling are analyzed. A model-Theoretic approach to solving the problem of computer-based solution of complex tasks, called semantic modeling, is described. The advantages of the proposed concept are analyzed from the perspective of the ability to solve complex large-scale tasks by constructing hybrid models combining various approaches and modeling methods using oracles, which are basic predicates of the original model. This feature allows you to integrate models of various nature, for example, digital and analog, continuous and discrete, logical-mathematical and probabilistic, mathematical and heuristic, etc. based on semantic modeling. The problem is to create a single semantic protocol that allows integration of models of different nature.
KW - computability
KW - computer modeling
KW - hybrid models
KW - oracles
KW - semantic modeling
KW - task approach
UR - http://www.scopus.com/inward/record.url?scp=85079066865&partnerID=8YFLogxK
UR - https://elibrary.ru/item.asp?id=43237618
U2 - 10.1109/SIBIRCON48586.2019.8958196
DO - 10.1109/SIBIRCON48586.2019.8958196
M3 - Conference contribution
AN - SCOPUS:85079066865
T3 - SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings
SP - 987
EP - 990
BT - SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019
Y2 - 21 October 2019 through 27 October 2019
ER -
ID: 26154241