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

14 сентября 2018
166
Предметная область
Выходные данные
Ключевые слова
Вид публикации Статья
Контактные данные автора публикации КОСИКОВ С.В.1, ИСМАИЛОВА Л.2 1 Институт "ЮрИнфоР-МГУ" 2 НИЯУ МИФИ
Ссылка на публикацию в интернете elibrary.ru/item.asp?id=21285483

Аннотация

ЖУРНАЛ:


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

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


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

АННОТАЦИЯ:

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