ИНТЕНСИОНАЛЬНЫЕ ОПЕРАТОРЫ ДЛЯ СПЕЦИАЛИЗАЦИИ МОДЕЛЕЙ ИМИТАЦИОННЫХ СИМУЛЯТОРОВ

ЖУРНАЛ:


СОВРЕМЕННЫЕ ПРОБЛЕМЫ НАУКИ И ОБРАЗОВАНИЯ
Издательство: Издательский Дом "Академия Естествознания" (Пенза)
ISSN: 1817-6321

КЛЮЧЕВЫЕ СЛОВА:


ИНТЕРПРЕТАЦИИ, ИНТЕНСИОНАЛЬНЫЕ И ЭКСТЕНСИОНАЛЬНЫЕ ПРЕДИКАТЫ, INTENSIONAL AND EХTENSIONAL PREDICATES, СЕМАНТИЧЕСКИЕ ДОМЕНЫ, SEMANTIC DOMAINS, ИНТЕНСИОНАЛЬНЫЕ ОПЕРАТОРЫ, INTENSIONAL OPERATORS, СПЕЦИАЛИЗАЦИЯ КОНЦЕПТУАЛЬНЫХ МОДЕЛЕЙ, SPECIALIZATION OF CONCEPTUAL MODELS, ИНФОРМАЦИОННЫЕ СИСТЕМЫ ПОДДЕРЖКИ ПРАВОПРИМЕНИТЕЛЬНОЙ ДЕЯТЕЛЬНОСТИ, INFORMATION SYSTEMS FOR SUPPORTING LAW-ENFORCEMENT ACTIVITY, INTERPRETATIONS

АННОТАЦИЯ:

Изучаются средства специализации концептуальных моделей, ориентированных на построение имитационных симуляторов (ИС). Специализация необходима для введения в модель специфических средств для отображения особенностей предметной области (ПО). Предлагаются формализованные средства специализации на основе построения и исследования интенсиональных сущностей. В качестве основного средства специализации предлагаются пропозициональные концепты интенсионального вида. Концепты включаются в синтактико-семантическую систему, обеспечивающую выделение индивидов и их классификацию на возможные, действительные и виртуальные индивиды. Для уточнения статуса действительных индивидов используется формализм точек соотнесения, между которыми, в свою очередь, могут устанавливаться отношения более высокого порядка. Выполняется исследование различных конструкций, используемых при моделировании, в том числе экстенсиональных и интенсиональных предикатов. Вводятся и изучаются различные виды интенсиональных операторов.