Geodesic
Locally simple models construction: methodology and practice
The Bulletin of Irkutsk State University. Series Mathematics, Tome 22 (2017), pp. 71-89 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

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.
Keywords: locally simple modeling, document model, semantic programming, business process. 
@article{IIGUM_2017_22_a5,
     author = {I. A. Kazakov and I. A. Kustova and E. N. Lazebnikova and A. V. Mantsivoda},
     title = {Locally simple models construction: methodology and practice},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {71--89},
     year = {2017},
     volume = {22},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2017_22_a5/}
}
TY  - JOUR
AU  - I. A. Kazakov
AU  - I. A. Kustova
AU  - E. N. Lazebnikova
AU  - A. V. Mantsivoda
TI  - Locally simple models construction: methodology and practice
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2017
SP  - 71
EP  - 89
VL  - 22
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2017_22_a5/
LA  - ru
ID  - IIGUM_2017_22_a5
ER  - 
%0 Journal Article
%A I. A. Kazakov
%A I. A. Kustova
%A E. N. Lazebnikova
%A A. V. Mantsivoda
%T Locally simple models construction: methodology and practice
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2017
%P 71-89
%V 22
%U http://geodesic.mathdoc.fr/item/IIGUM_2017_22_a5/
%G ru
%F IIGUM_2017_22_a5
I. A. Kazakov; I. A. Kustova; E. N. Lazebnikova; A. V. Mantsivoda. Locally simple models construction: methodology and practice. The Bulletin of Irkutsk State University. Series Mathematics, Tome 22 (2017), pp. 71-89. http://geodesic.mathdoc.fr/item/IIGUM_2017_22_a5/

[1] Vityev E., “Semantic Probablistic Inference of Predictions”, Izv. Irkutsk. Gos. Univ. Ser. Mat., 21 (2017), 33–50 (in Russian) | DOI | Zbl

[2] Malykh A., Mantsivoda A., “Document modeling”, Izv. Irkutsk. Gos. Univ. Ser. Mat., 21 (2017), 89–107 (in Russian) | DOI

[3] Malykh A., Mantsivoda A., “Object Theories over List Superstructures”, Izv. Irkutsk. Gos. Univ. Ser. Mat., 4 (2012), 27–44 (in Russian)

[4] Malykh A., Mantsivoda A., “Libretto System: Web Resources Development Based On a Holistic Data and Knowledge Model”, Proceedings of The 6th All-Russian Conference on Control Problems (Gelendzhik, September, 2013), 2013, 73–75

[5] Malykh A., Mantsivoda A., Ontobox: Smart Contracts as Document models

[6] Schwab K., The Fourth Industrial Revolution, World Economic Forum, 2015, 120 pp.

[7] Programming Language Libretto

[8] A. Antonopoulos, G. Wood, Mastering Ethereum: Building Smart Contracts and Dapps, O'Reilly Media, 2017, 220 pp.

[9] Baader F., Calvanese D., McGuinness D. L., Nardi D., Patel-Schneider P. F. (eds.), The Description Logic Handbook: Theory, Implementation, and Applications, Cambridge University Press, 2003 | MR | Zbl

[10] T. Berners-Lee, J. Hendler, O. Lassila, “The Semantic Web”, Scientific American, 2001, May | DOI

[11] Semantic Web activity, https://www.w3.org/standards/semanticweb/

[12] S. S. Goncharov, “Conditional terms in semantic programming”, Siberian Mathematical Journal, 58:5 (2017), 794–800 | DOI

[13] S. S. Goncharov, Yu. L. Ershov, D. I. Sviridenko, “Semantic foundations of programming”, Lecture Notes in Computer Science, 278, 1987, 116–122 | DOI | MR | Zbl

[14] S. S. Goncharov, Yu. L. Ershov, D. I. Sviridenko, “Semantic programming”, Information processing, Proc. IFIP 10-th World Comput. Congress (Dublin, 1986), IFIP Congress Series, 10, 1093–1100

[15] I. Horrocks, P. Patel-Schneider, F. Van Harmelen, “From SHIQ and RDF to OWL: The making of a Web Ontology Language”, Journal of Web Semantics, 1:1 (2003), 7–26 | DOI

[16] I. Horrocks, U. Sattler, U. Tobies, “Practical reasoning for expressive description logics”, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning, LPAR'99, Lecture Notes in Artificial Intelligence, 1705, eds. H. Ganzinger, D. McAllester, A. Voronkov, Springer-Verlag, 1999, 161–180 | DOI | MR | Zbl

[17] B. Kovalerchuk, E. Vityaev, Data Mining in finance: Advances in Relational and Hybrid Methods, Kluwer Academic Publishers, 2000, 456 pp. | Zbl

[18] A. Malykh, A. Mantsivoda, “A Query Language for Logic Architectures”, Lecture Notes in Computer Science, 5947, Springer-Verlag, Berlin–Heidelberg, 2010, 294–305 | DOI | Zbl

[19] Schumpeter J., , The Economist. The new political divide, July 31, 2016 https://www.economist.com/news/business/21702758-time-being-least-human-judgment-still-better-bet-cold-hearted

[20] M. Swan, Blockchain: Blueprint for a New Economy, O'Reilly Media, 2015, 127 pp.

[21] R. Wattenhofer, The Science of the Blockchain, Inverted Forest Publishing, 2016, 320 pp.