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

Personal portfolio

CОNCEPTUAL MODEL SPEСIALIZATION BY DEFINITE DESCRIPTIONS USING

Ismailova L.Y. 1 Kosikov S.V. 2
1 Institute «Jurinfor-MGU»
2 NRNU MEPhI
The paper offers formal means of specialization of conceptual models for problem domains involving the construction and study of intensional entities. The primary means of specialization include propositional concepts of an 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. Specialized terms are proposed, the values of which can be individuals – definite descriptions given by their interpretation, and study its properties. To clarify the status of the actual individuals the system uses the formalism of assignment points, between which, in turn, can be set relations of a higher order. Research was performed on the various structures used in the simulation, including the extensional and intensional predicates. A classification of definite descriptions was made by the degree of certainty, including the definition of a partial order on descriptions interpretations.