Изучаются средства специализации концептуальных моделей, ориентированных на построение имитационных симуляторов (ИС). Специализация необходима для введения в модель специфических средств для отображения особенностей предметной области (ПО). Предлагаются формализованные средства специализации на основе построения и исследования интенсиональных сущностей. В качестве основного средства специализации предлагаются пропозициональные концепты интенсионального вида. Концепты включаются в синтактико-семантическую систему, обеспечивающую выделение индивидов и их классификацию на возможные, действительные и виртуальные индивиды. Для уточнения статуса действительных индивидов используется формализм точек соотнесения, между которыми, в свою очередь, могут устанавливаться отношения более высокого порядка. Выполняется исследование различных конструкций, используемых при моделировании, в том числе экстенсиональных и интенсиональных предикатов. Вводятся и изучаются различные виды интенсиональных операторов.
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.
1. Вольфенгаген В. Э. Методы и средства вычислений с объектами. Аппликативные вычислительные системы. – М.: JurInfoR Ltd., АО "Центр ЮрИнфоР", 2004. – 787 с.
2. Вольфенгаген В. Э. , Исмаилова Л. Ю., Косиков С. В. Парадигма функционального программирования. – М.: АО "Центр ЮрИнфоР", 2012. – 96 с.
3. Исмаилова Л. Ю., Косиков С. В. Когнитивно-ориентированные подходы к разработке специализированных семантических средств Интернет // Компьютерная лингвистика и развитие семантического поиска в Интернете: труды XIII Всероссийской объединенной конференции «Интернет и современное общество». – Санкт-Петербург, 19 22 октября 2010 г. – СПб., 2010. – C. 42-45.
4. Семантика модальных и интенсиональных логик: пер с англ. / сост., общ. ред. и вступ. ст.: В. А. Смирнов ; пер. с англ.: А. А. Мучник, [и др.]. – М.: Прогресс, 1981. – 424 с.
5. Ismailova L. Y., Kosikov S. V., Zaytsev A. E. Applicative computational technologies for generating the families of simulating business games //Proceedings of the 11th international workshop on computer science and information technologies CSIT’2009. – Crete, Greece, UGATU, 2009. – Vol. 2. – P. 35-39.