MODELS AND ALGORITHMS FOR CONSTRUCTING A FORMALIZED DESCRIPTION OF PRODUCTION TECHNOLOGIES

Authors

  • Dmitry Andreev Faculty of Computer Science and Electrical Power Engineering, Pskov State University
  • Sergey Lyokhin Faculty of Computer Science and Electrical Power Engineering, Pskov State University
  • Sergey Verteshev Faculty of Computer Science and Electrical Power Engineering, Pskov State University
  • Lilia Motaylenko Faculty of Computer Science and Electrical Power Engineering, Pskov State University

DOI:

https://doi.org/10.17770/etr2019vol2.4063

Keywords:

algorithmic procedure, formalization, relation, technological action

Abstract

The problem of technological knowledge formalization is being considered. Discussed features of systems in the scope of ontological engineering of processes, applied to solving the problems of the structural representation of technologies associated with the organization of their analysis. Proposed a model of the concept of technological action, which identifies technological actions as holistic conceptual formations. Constructed the model of formalized description of technologies, which provides unambiguous transition from verbal descriptions of technologies to their ontological representations. Described algorithms for constructing a formalized description of technologies, which implement the logical procedures for automated and automatic construction of ontological representations of technologies. Concluded in the development of a new method of formalized description of technologies, the fundamental principles of which constitute the distinctive features of the proposed models and constructed algorithms.

Downloads

Download data is not yet available.

Author Biography

  • Dmitry Andreev, Faculty of Computer Science and Electrical Power Engineering, Pskov State University
    DMITRY A. ANDREEV. Pskov, Russia. Associate Professor of the Department "Information Systems and Technologies" of Pskov State University. Lecture courses: information technology, programming technology, geographic information systems. Research interests: formalization of technological knowledge. E-mail: dandreev60@mail.ru.

References

R. Koller and N. Kastrup, Prinziplösungen zur konstruktion technischer produkte. Berlin: Springer, 1994.

R. J. Van Wyk, "Technology: a fundamental structure," Knowledge, Technology, and Policy, vol. 15 (3), pp. 14–35, 2002.

V. V. Sadovsky, M. V. Samoilov, and N. P. Kokhno, Production technologies. Minsk: BSEU, 2008. (in Russian)

D. A. Makhotin, "Technological knowledge in modern education," Bulletin of Moscow state regional University, Pedagogics, No. 2, pp. 116-121, 2010. (in Russian)

D. A. Andreev, "Methods of formalized description of technologies: an attempt to overview," Proceedings of Pskov Polytechnic Institute, Mechanical engineering. Electrical engineering, No. 15.3, pp. 291-297, 2011. (in Russian)

S. Staab and R. Studer, Handbook on ontologies. Berlin: Springer, 2004.

A. V. Palagin and N. G. Petrenko, "System-ontological analysis of the subject area," Control systems and machines, No. 4, pp. 3-14, 2009. (in Russian)

I. V. Antonov and M. V. Voronov, "Methods of data analysis in the automation tasks of domain ontology," Distance and virtual training, No. 8, pp. 19–35, 2011. (in Russian)

G. B. Evgenev, "The ontological methodology for creating intelligent systems in mechanical engineering," Proceedings of higher educational institutions, Mechanical engineering, vol. 6 (651), pp. 39–47, 2014. (in Russian)

V. B. Artemenko and A. A. Ivlev, "The ontology of military technologies based on conceptual maps," Investigated in Russia, vol. 14, pp. 285–294, 2011. (in Russian)

R. A. Calvo and J. Villalon, "Concept maps as cognitive visualizations of writing assignments," Educational technology and society, vol. 14 (3), pp. 16–27, 2011.

R. Carnap, "Empiricism, Semantics, and Ontology," Revue Internationale de Philosophie, vol. 4, pp. 20–40, 1950.

V. F. Turchin, "The cybernetic ontology of actions," Kybernetes, vol. 22 (2), pp. 10–30, 1993.

D. A. Andreev, "Model of conceptual elements of activity in the formalized descriptions of production technologies," in proceedings of the XXXV International scientific and practical conference on prospects of development of information technologies, Novosibirsk, 2017, pp. 6-13. (in Russian)

D. A. Andreev, "Decomposition representation of knowledge as the basis of ontological engineering of technological processes," in proceedings of the second international scientific and technical conference on computer science and technology, Belgorod, 2011, pp. 140-144. (in Russian)

T. R. Gruber, "A translation approach to portable ontology specifications," Knowledge acquisition, vol. 5 (2), pp. 199–220, 1993.

S. V. Maltseva, "Application of ontological models for solving identification problems and domain monitoring," Business Informatics, No. 3, pp. 18-24, 2008. (in Russian)

B. V. Dobrov and N. V. Lukashevich, "Transitive non-taxonomic relations in ontological modeling," in proceedings of the symposium on ontological modeling, Zvenigorod, 2008, pp. 229-259. (in Russian)

D. A. Andreev and M. V. Voronov, "Model of unified constructions of technology description in their ontological representations," in proceedings of the XXVI international scientific conference on mathematical methods in engineering and technologies, Nizhny Novgorod, 2013, vol. 8, pp. 138-140. (in Russian)

D. A. Andreev, "Axiomatics of the model of formalized description of arbitrary technology," in proceedings of the XXVIII international scientific conference on mathematical methods in engineering and technologies, Saratov, 2015, vol. 4, pp. 77-80. (in Russian)

D. A. Andreev and M. V. Voronov, "Procedural mechanism for constructing ontological representations of the decomposition structures of technologies," in proceedings of the XV all-Russian joint conference on the Internet and Modern Society, Saint-Petersburg, 2012, pp. 37-40. (in Russian)

Downloads

Published

2019-06-20

How to Cite

[1]
D. Andreev, S. Lyokhin, S. Verteshev, and L. Motaylenko, “MODELS AND ALGORITHMS FOR CONSTRUCTING A FORMALIZED DESCRIPTION OF PRODUCTION TECHNOLOGIES”, ETR, vol. 2, pp. 21–27, Jun. 2019, doi: 10.17770/etr2019vol2.4063.