Geodesic
A formalization of document models with semantic modelling
The Bulletin of Irkutsk State University. Series Mathematics, Tome 27 (2019), pp. 36-54
Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

In this paper, we formalize the general concept of a document model in terms of the Semantic Modelling (SM) paradigm. We argue that the idea of using documents as a basic metaphor for modelling appears to be very useful, since it provides a balance between the logical tools for knowledge processing and cognitive aspects for a much wider audience than the community of professional mathematicians. A subject domain can be arbitrarily complex by its nature, but humans tend to choose those primitives, which are convenient for cognition. The notion of a document is an example of such a primitive, which has been employed for centuries and clearly remains topical in the era of information systems. The significant outcome of constructing the semantics of document models within the SM paradigm is that Semantic Modelling makes document models executable. Executable models can be directly used as practical information systems, and this feature makes the programming stage unnecessary. Replacing programming with modelling has a great impact on the efficiency of IT systems development and maintenance, and makes these systems friendly for the Artificial Intelligence tools.
Keywords: semantic modelling, document model. 
@article{IIGUM_2019_27_a3,
     author = {A. V. Mantsivoda and D. K. Ponomaryov},
     title = {A formalization of document models with semantic modelling},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {36--54},
     year = {2019},
     volume = {27},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2019_27_a3/}
}
TY  - JOUR
AU  - A. V. Mantsivoda
AU  - D. K. Ponomaryov
TI  - A formalization of document models with semantic modelling
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2019
SP  - 36
EP  - 54
VL  - 27
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2019_27_a3/
LA  - en
ID  - IIGUM_2019_27_a3
ER  - 
%0 Journal Article
%A A. V. Mantsivoda
%A D. K. Ponomaryov
%T A formalization of document models with semantic modelling
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2019
%P 36-54
%V 27
%U http://geodesic.mathdoc.fr/item/IIGUM_2019_27_a3/
%G en
%F IIGUM_2019_27_a3
A. V. Mantsivoda; D. K. Ponomaryov. A formalization of document models with semantic modelling. The Bulletin of Irkutsk State University. Series Mathematics, Tome 27 (2019), pp. 36-54. http://geodesic.mathdoc.fr/item/IIGUM_2019_27_a3/

[1] Ershov Yu. L., Goncharov S. S., Sviridenko D. I., “Semantic Programming”, Information processing 86, Proc. IFIP 10th World Comput. Congress, IFIP Congr. Ser., 10, Elsevier Sci., Dublin, 1986, 1093–1100 | MR

[2] Ershov Yu.L., Goncharov S. S., Sviridenko D. I., “Semantic Foundations of Programming”, Proc. Intern. Conf. FCT 87 (Kazan), Fundamentals of Computation Theory, Lect. Notes Comp. Sci., 278, 1987, 116–12 | DOI | MR

[3] Goncharov S. S., Sviridenko D. I., “$\Sigma$-programming”, Transl. II Amer. Math. Soc., 142 (1989), 101–121 | Zbl

[4] Goncharov S. S., Sviridenko D. I., “$\Sigma$-programming and its Semantics”, Vychisl. Systemy, 1987, no. 120, 24–51 (in Russian) | MR | Zbl

[5] Goncharov S. S., Sviridenko D. I., “Theoretical Aspects of $\Sigma$-programming”, Lect. Notes Comp. Sci., 215, 1986, 169–179 | DOI | MR

[6] Goncharov S. S., “Conditional Terms in Semantic Programming”, Siberian Mathematical Journal, 58:5 (2017), 794–800 | DOI | MR | Zbl

[7] Kazakov I. A., Kustova I. A., Lazebnikova E. N., Mantsivoda A. V., “Building locally simple models: theory and practice”, The Bulletin of Irkutsk State University. Series Mathematics, 21 (2017), 71–89 (in Russian) | DOI | Zbl

[8] Malykh A. A., Mantsivoda A. V., “Document Modelling”, The Bulletin of Irkutsk State University. Series Mathematics, 21 (2017), 89–107 (in Russian) | DOI | Zbl

[9] Ospichev S., Ponomarev D., “On the Complexity of Formulas in Semantic Programming”, Siberian Electronic Mathematical Reports, 15 (2018), 987–995 | MR | Zbl

[10] Pirri F., Reiter R., “Some Contributions to the Metatheory of the Situation Calculus”, J. ACM, 46:3 (1999), 325–364 | DOI | MR

[11] Reiter R., Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems, MIT Press, 2001 | DOI

[12] E. Vityev, “Semantic Probablistic Inference of Predictions.”, The Bulletin of Irkutsk State University. Series Mathematics, 21 (2017), 33–50 (in Russian) | MR | Zbl