СПЕЦИАЛИЗАЦИЯ КОНЦЕПТУАЛЬНЫХ МОДЕЛЕЙ НА ОСНОВЕ ОПРЕДЕЛЁННЫХ ДЕСКРИПЦИЙ
14 сентября 2018
212
Предметная область | — |
Выходные данные | — |
Ключевые слова | — |
Вид публикации | Статья |
Контактные данные автора публикации | ИСМАИЛОВА Л.Ю.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
АННОТАЦИЯ:
Предлагаются формализованные средства специализации концептуальных моделей (КМ) для предметных областей (ПО), предполагающих построение и исследование интенсиональных сущностей. В качестве основного средства специализации предлагаются пропозициональные концепты интенсионального вида. Концепты включаются в синтактико-семантическую систему, обеспечивающую выделение индивидов и их классификацию на возможные, действительные и виртуальные индивиды. Выделяются специализированные термы, значениями которых могут быть индивиды – определённые дескрипции, задаётся их интерпретация и изучаются её свойства. Для уточнения статуса действительных индивидов используется формализм точек соотнесения, между которыми, в свою очередь, могут устанавливаться отношения более высокого порядка. Выполняется исследование различных конструкций, используемых при моделировании, в том числе экстенсиональных и интенсиональных предикатов. Проводится классификация определенных дескрипций по степени определенности, включающая определение частичного порядка на интерпретациях дескрипций.
ПодробнееСОВРЕМЕННЫЕ ПРОБЛЕМЫ НАУКИ И ОБРАЗОВАНИЯ
Издательство: Издательский Дом "Академия Естествознания" (Пенза)
ISSN: 1817-6321
КЛЮЧЕВЫЕ СЛОВА:
МОДЕЛИРУЮЩИЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ, MODELLING INFORMATIONAL SYSTEMS, ЭКТЕНСИОНАЛЬНЫЕ ПРЕДИКАТЫ, EXTENSIONAL PREDICATES, ИНТЕНСИОНАЛЬНЫЕ ПРЕДИКАТЫ, INTENSIONAL PREDICATES, ИНТЕРПРЕТАЦИЯ, INTERPRETATION, ТОЧКИ СООТНЕСЕНИЯ, ОПРЕДЕЛЕННЫЕ ДЕСКРИПЦИИ, КОНЦЕПТУАЛЬНАЯ МОДЕЛЬ, CONCEPTUAL MODEL, ASSIGMENT POINTS, DEFINITE DESCRIPTION
АННОТАЦИЯ:
Предлагаются формализованные средства специализации концептуальных моделей (КМ) для предметных областей (ПО), предполагающих построение и исследование интенсиональных сущностей. В качестве основного средства специализации предлагаются пропозициональные концепты интенсионального вида. Концепты включаются в синтактико-семантическую систему, обеспечивающую выделение индивидов и их классификацию на возможные, действительные и виртуальные индивиды. Выделяются специализированные термы, значениями которых могут быть индивиды – определённые дескрипции, задаётся их интерпретация и изучаются её свойства. Для уточнения статуса действительных индивидов используется формализм точек соотнесения, между которыми, в свою очередь, могут устанавливаться отношения более высокого порядка. Выполняется исследование различных конструкций, используемых при моделировании, в том числе экстенсиональных и интенсиональных предикатов. Проводится классификация определенных дескрипций по степени определенности, включающая определение частичного порядка на интерпретациях дескрипций.
Для того чтобы оставить комментарий необходимо авторизоваться.