Abstract

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.

Original languageEnglish
Title of host publicationSIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages987-990
Number of pages4
ISBN (Electronic)9781728144016
DOIs
Publication statusPublished - Oct 2019
Event2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019 - Novosibirsk, Russian Federation
Duration: 21 Oct 201927 Oct 2019

Publication series

NameSIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings

Conference

Conference2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019
CountryRussian Federation
CityNovosibirsk
Period21.10.201927.10.2019

Keywords

  • computability
  • computer modeling
  • hybrid models
  • oracles
  • semantic modeling
  • task approach

Fingerprint Dive into the research topics of 'Semantic Modeling and Hybrid Models'. Together they form a unique fingerprint.

Cite this