Scientific journal
Scientific Review. Technical science
ISSN 2500-0799
ПИ №ФС77-57440

Personal portfolio

INTENSIONAL OPERATORS FOR SPECIALIZATION MODELS OF IMITATING SIMULATORS

Kosikov S.V. 1 Ismailova L.Y. 2
1 Institute «Jurinfor-MGU»
2 НИЯУ MEPhI
The paper presents means of specialization conceptual models aimed at building simulation systems. Specialization is necessary to introduce a model-specific tools to reflect the specificities of the problem domain. Formalized means of specialization are offered through the construction and study of intensional entities. The primary means of specialization include propositional concepts of the intensional view. Concepts are included in the syntactic-semantic system, providing a selection of individuals and their classification into the possible, the real and the virtual individuals. To clarify the status of the actual individuals the system uses the formalism of assignment points, between which, in turn, can set of a higher order. A research on the various structures used in the simulation includes the extensional and intensional predicates. We introduce and study different types of intensional operators.