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

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

Аннотация

ЖУРНАЛ:


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

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


МОДЕЛИРУЮЩИЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ, MODELLING INFORMATIONAL SYSTEMS, ЭКТЕНСИОНАЛЬНЫЕ ПРЕДИКАТЫ, EXTENSIONAL PREDICATES, ИНТЕНСИОНАЛЬНЫЕ ПРЕДИКАТЫ, INTENSIONAL PREDICATES, ИНТЕРПРЕТАЦИЯ, INTERPRETATION, ТОЧКИ СООТНЕСЕНИЯ, ОПРЕДЕЛЕННЫЕ ДЕСКРИПЦИИ, КОНЦЕПТУАЛЬНАЯ МОДЕЛЬ, CONCEPTUAL MODEL, ASSIGMENT POINTS, DEFINITE DESCRIPTION

АННОТАЦИЯ:

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