science-review.ru
Предлагаются формализованные средства специализации концептуальных моделей (КМ) для предметных областей (ПО), предполагающих построение и исследование интенсиональных сущностей. В качестве основного средства специализации предлагаются пропозициональные концепты интенсионального вида. Концепты включаются в синтактико-семантическую систему, обеспечивающую выделение индивидов и их классификацию на возможные, действительные и виртуальные индивиды. Выделяются специализированные термы, значениями которых могут быть индивиды – определённые дескрипции, задаётся их интерпретация и изучаются её свойства. Для уточнения статуса действительных индивидов используется формализм точек соотнесения, между которыми, в свою очередь, могут устанавливаться отношения более высокого порядка. Выполняется исследование различных конструкций, используемых при моделировании, в том числе экстенсиональных и интенсиональных предикатов. Проводится классификация определенных дескрипций по степени определенности, включающая определение частичного порядка на интерпретациях дескрипций.
232 KB
Библиографическая ссылка
Исмаилова Л.Ю., Косиков С.В. СПЕЦИАЛИЗАЦИЯ КОНЦЕПТУАЛЬНЫХ МОДЕЛЕЙ НА ОСНОВЕ ОПРЕДЕЛЕННЫХ ДЕСКРИПЦИЙ // Научное обозрение. Технические науки. 2014. № 1. С. 176-176;URL: https://science-engineering.ru/ru/article/view?id=258 (дата обращения: 01.07.2025).