Locally Simple Models Construction: Methodology and Practice
One of the most notable trends associated with the Fourth industrial revolution is a significant strengthening of the role played by semantic methods. They are engaged in artificial intelligence means, knowledge mining in huge flows of big data, robotization, and in the internet of things. Smart con...
Uložené v:
| Vydané v: | Izvestiâ Irkutskogo gosudarstvennogo universiteta. Seriâ "Matematika" (Online) Ročník 22; číslo 1; s. 71 - 89 |
|---|---|
| Hlavní autori: | , , , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
Irkutsk State University
01.01.2017
|
| Predmet: | |
| ISSN: | 1997-7670, 2541-8785 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | One of the most notable trends associated with the Fourth industrial revolution is a significant strengthening of the role played by semantic methods. They are engaged in artificial intelligence means, knowledge mining in huge flows of big data, robotization, and in the internet of things. Smart contracts also can be mentioned here, although the ’intelligence’ of smart contracts still needs to be seriously elaborated. These trends should inevitably lead to an increased role of logical methods working with semantics, and significantly expand the scope of their application in practice. However, there are a number of problems that hinder this process. We are developing an approach, which makes the application of logical modeling efficient in some important areas. The approach is based on the concept of locally simple models and is primarily focused on solving tasks in the management of enterprises, organizations, governing bodies. The most important feature of locally simple models is their ability to replace software systems. Replacement of programming by modeling gives huge advantages, for instance, it dramatically reduces development and support costs. Modeling, unlike programming, preserves the explicit semantics of models allowing integration with artificial intelligence and robots. In addition, models are much more understandable to general people than programs. In this paper we propose the implementation of the concept of locally simple modeling on the basis of so-called document models, which has been developed by us earlier. It is shown that locally simple modeling is realized through document models with finite submodel coverages. In the second part of the paper an example of using document models for solving a management problem of real complexity is demonstrated. |
|---|---|
| AbstractList | One of the most notable trends associated with the Fourth industrial revolution is a significant strengthening of the role played by semantic methods. They are engaged in artificial intelligence means, knowledge mining in huge flows of big data, robotization, and in the internet of things. Smart contracts also can be mentioned here, although the ’intelligence’ of smart contracts still needs to be seriously elaborated. These trends should inevitably lead to an increased role of logical methods working with semantics, and significantly expand the scope of their application in practice. However, there are a number of problems that hinder this process. We are developing an approach, which makes the application of logical modeling efficient in some important areas. The approach is based on the concept of locally simple models and is primarily focused on solving tasks in the management of enterprises, organizations, governing bodies. The most important feature of locally simple models is their ability to replace software systems. Replacement of programming by modeling gives huge advantages, for instance, it dramatically reduces development and support costs. Modeling, unlike programming, preserves the explicit semantics of models allowing integration with artificial intelligence and robots. In addition, models are much more understandable to general people than programs. In this paper we propose the implementation of the concept of locally simple modeling on the basis of so-called document models, which has been developed by us earlier. It is shown that locally simple modeling is realized through document models with finite submodel coverages. In the second part of the paper an example of using document models for solving a management problem of real complexity is demonstrated. |
| Author | Mantsivoda, A. V. Kustova, I. A. Lazebnikova, E. N. Kazakov, I. A. |
| Author_xml | – sequence: 1 givenname: I. A. surname: Kazakov fullname: Kazakov, I. A. – sequence: 2 givenname: I. A. surname: Kustova fullname: Kustova, I. A. – sequence: 3 givenname: E. N. surname: Lazebnikova fullname: Lazebnikova, E. N. – sequence: 4 givenname: A. V. surname: Mantsivoda fullname: Mantsivoda, A. V. |
| BookMark | eNo9kNtKw0AQhhepYK19BCEvkLqzyZ7EGykeCi0K6vWyxxpJs2U3XvTtTVrp1TDzDx8z3zWadLHzCN0CXhBGgd2BlLzkjA89Br4gZMHhAk0JraEUXNAJmp5XrtA858bgGgBLjskUPayj1W17KD6a3b71xSY63-ZiGbvcp1_bN7G7Lza-_44utnF7KHTnivekh8T6G3QZdJv9_L_O0Nfz0-fytVy_vayWj-vSkrruS1MZQR0QK5jTTAYtPA0OhNeBVxSMg1ABD8IJaQBIqGFIwvCdoRQkq6oZWp24LuoftU_NTqeDirpRx0FMW6XTcFDrlZXE1D5QhkHW2hNNMQhmqPGDAxtGFj2xbIo5Jx_OPMDqaFSNutSoS41GFSGKQ_UH4qxqtg |
| ContentType | Journal Article |
| CorporateAuthor | Irkutsk State University Sobolev Institute of Mathematics |
| CorporateAuthor_xml | – name: Irkutsk State University – name: Sobolev Institute of Mathematics |
| DBID | AAYXX CITATION DOA |
| DOI | 10.26516/1997-7670.2017.22.71 |
| DatabaseName | CrossRef DOAJ Directory of Open Access Journals |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: DOA name: DOAJ Directory of Open Access Journals url: https://www.doaj.org/ sourceTypes: Open Website |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Mathematics |
| EISSN | 2541-8785 |
| EndPage | 89 |
| ExternalDocumentID | oai_doaj_org_article_c92b4ef560194ae2a50186b5be997cf3 10_26516_1997_7670_2017_22_71 |
| GroupedDBID | AAYXX ALMA_UNASSIGNED_HOLDINGS CITATION GROUPED_DOAJ |
| ID | FETCH-LOGICAL-c244t-b3b85d12c86da69fa8e5fd18eaf7351bd1f317f8d89b112f41eaff265b5519633 |
| IEDL.DBID | DOA |
| ISICitedReferencesCount | 3 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000476650400006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1997-7670 |
| IngestDate | Fri Oct 03 12:51:20 EDT 2025 Sat Nov 29 04:12:54 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1 |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c244t-b3b85d12c86da69fa8e5fd18eaf7351bd1f317f8d89b112f41eaff265b5519633 |
| OpenAccessLink | https://doaj.org/article/c92b4ef560194ae2a50186b5be997cf3 |
| PageCount | 19 |
| ParticipantIDs | doaj_primary_oai_doaj_org_article_c92b4ef560194ae2a50186b5be997cf3 crossref_primary_10_26516_1997_7670_2017_22_71 |
| PublicationCentury | 2000 |
| PublicationDate | 2017-01-01 |
| PublicationDateYYYYMMDD | 2017-01-01 |
| PublicationDate_xml | – month: 01 year: 2017 text: 2017-01-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationTitle | Izvestiâ Irkutskogo gosudarstvennogo universiteta. Seriâ "Matematika" (Online) |
| PublicationYear | 2017 |
| Publisher | Irkutsk State University |
| Publisher_xml | – name: Irkutsk State University |
| SSID | ssib041109702 ssib018914380 ssib036252662 ssib036252664 ssib015894118 ssib036252663 ssj0002876634 ssib044742495 |
| Score | 1.9964529 |
| Snippet | One of the most notable trends associated with the Fourth industrial revolution is a significant strengthening of the role played by semantic methods. They are... |
| SourceID | doaj crossref |
| SourceType | Open Website Index Database |
| StartPage | 71 |
| SubjectTerms | business process document model locally simple modeling semantic programming |
| Title | Locally Simple Models Construction: Methodology and Practice |
| URI | https://doaj.org/article/c92b4ef560194ae2a50186b5be997cf3 |
| Volume | 22 |
| WOSCitedRecordID | wos000476650400006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAON databaseName: DOAJ Directory of Open Access Journals customDbUrl: eissn: 2541-8785 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0002876634 issn: 1997-7670 databaseCode: DOA dateStart: 20070101 isFulltext: true titleUrlDefault: https://www.doaj.org/ providerName: Directory of Open Access Journals – providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources customDbUrl: eissn: 2541-8785 dateEnd: 99991231 omitProxy: false ssIdentifier: ssib044742495 issn: 1997-7670 databaseCode: M~E dateStart: 20070101 isFulltext: true titleUrlDefault: https://road.issn.org providerName: ISSN International Centre |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV07T8MwELYQYoAB8RRveWBNWztObCMWQCCGtqrEQ2yWHdtSESqIVkj8e-6cNBQWFoYMdh5yPn3x3Tm-7wg5TZLn3vJMyCAyAZzIVBFCVvkYRVXBkfLWHvtyOFRPT3q0UOoL94TV8sA1cN1KcydCxMBBCxu4RQW60hUuaC2rmHQ-e1IvBFPAJFYoLdj3rMuUxjLfLTNh1i7AMvFf7fxXu2WqQF1O-S2UJQRElKLJaH1OS1QSbq9_YWuZyVL26nQhXhas7LaduJdMdjjvSPbDEC7UC0iG7WaDrDceKb2okdgkS2GyRdYGrZzrdJuc99HivXzSuzGKCVMsoPYypVjscy4_e0YHqRZ1WqWnduLpqMm_2iEPN9f3V7dZU3Yhq8DWzzKXO1V4xitVelvqaFUoomcq2CjzgjnPIjgdUXmlHXhrUTA4E-FFHXhf8D3nu2R58joJe4Ra7bm3eSy9RKm_XCtmhcuxob1lbp905hiYt1pdw0BUkkAzCJpB0AyCZjg3ku2TS0SqvRjFsVMHUMY0lDF_UebgPx5ySFZxWPVqzBFZBrjDMVmpPmbj6ftJYuMXUEzTcQ |
| linkProvider | Directory of Open Access Journals |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Locally+Simple+Models+Construction%3A+Methodology+and+Practice&rft.jtitle=Izvesti%C3%A2+Irkutskogo+gosudarstvennogo+universiteta.+Seri%C3%A2+%22Matematika%22+%28Online%29&rft.au=Kazakov%2C+I.+A.&rft.au=Kustova%2C+I.+A.&rft.au=Lazebnikova%2C+E.+N.&rft.au=Mantsivoda%2C+A.+V.&rft.date=2017-01-01&rft.issn=1997-7670&rft.eissn=2541-8785&rft.volume=22&rft.spage=71&rft.epage=89&rft_id=info:doi/10.26516%2F1997-7670.2017.22.71&rft.externalDBID=n%2Fa&rft.externalDocID=10_26516_1997_7670_2017_22_71 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1997-7670&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1997-7670&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1997-7670&client=summon |