MODELS AND ALGORITHMS FOR CONSTRUCTING A FORMALIZED DESCRIPTION OF PRODUCTION TECHNOLOGIES
DOI:
https://doi.org/10.17770/etr2019vol2.4063Keywords:
algorithmic procedure, formalization, relation, technological actionAbstract
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
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)
