Специализация КМ [1] для отображения особенностей сложно устроенных предметных областей (ПО) предполагает использование неклассических логических систем, в том числе интенсиональных логик [3]. Характеристика сложно устроенных ПО приведена в [2, 4]. В работе предлагается формализация базисной системы интенсиональной логики, содержащая операторы определённых дескрипций. Дескрипции используются для определения объектов ПО по заданным свойствам, что позволяет расширить возможности языков прикладных компьютерных информационных систем.
Возможности использования дескрипций для описания специализированных индивидов ПО исследуются достаточно давно, начиная с Б. Рассела и А. Уайтхеда. Существенной чертой большинства предлагавшихся систем является возможность элиминации дескрипций, обеспечивающей переход к описанию в формулах базовой логической системы. Представляется, однако, что элиминируемость играет меньшую роль, чем возможность определения точной семантики дескрипций, обеспечивающей их включение в однородную вычислительную модель.
Подход к реализации системы предполагается выполнить на основе представления аппарата дескрипций в аппликативном виде [1], обеспечивающем выполнение некоторых видов функциональной абстракции. При этом подходе ламбда-выражение, полученное в результате абстракции, оказывается представленным в виде специальной дескрипции высшего порядка [1]. Дескрипции, таким образом, оказываются одним из «мостов» между логическими и аппликативными методами описания ПО, что может быть положено в основу трансформационной семантики языка прикладных систем.
1. Язык
Алфавит используемого языка включает следующие символы:
(1) предметные константы a1, a2, ..., an, ... Константы также будут обозначаться буквами b, c, ..., возможно, с индексами;
(2) предметные переменные x1, x2, ..., xn, ... Переменные также будут обозначаться буквами y, z, ..., возможно, с индексами;
(3) предикатные константы P11, P12, ..., Pmn , ... Предикатные константы также будут обозначаться буквами Q, R, ..., возможно, с индексами. Нижние индексы служат для нумерации соответствующих элементов (констант, переменных и т.д.). Верхние индексы предикатных констант показывают число аргументных мест соответствующей константы.
(4) логические символы ¬ , ∧, ∨ , ⇒, ⇔ , ∀ , ∃ , I, =;
(5) скобки `(´, `)´ и запятая `,´;
Будем использовать также некоторые символы, значение которых в рамках рассматриваемой семантики может быть определено. Среди таких «производных» символов будем выделять «ограниченные» кванторы `∀ .´, `∃ .´ и оператор дескрипции `I.´. Характер этого ограничения будет подробнее описан ниже.
Термы и формулы языка определяются в виде индуктивных классов. Поскольку возможны случаи как включения терма в формулу, так и обратного включения, классы термов и формул должны определяться одновременно. С учётом этого замечания классы термов и формул строятся обычным образом, причём в определение терма добавляется пункт: если Φ - формула, то Ix . Φ (x) - терм. Примем также обычное соглашение о скобках, позволяющее опускать избыточные пары скобок.
2. Семантические домены
В работе будем использовать семантический метод [1, 2]. Будем строить интерпретацию конструкций языка в виде отображения в элементы некоторого набора сущностей, находящихся вне рассматриваемого языка. Такие сущности также должны быть определены в рамках выбранной заранее формальной системы (ФС). Будем говорить, что выбранная ФС используется для построения семантики языка, а сущности определяемого набора соответственно называть семантическими.
В качестве базисной примем теоретико-множественную модель, согласно которой семантические сущности рассматриваются как множества. При этом дополнительная структура, которой наделяются рассматриваемые множества, каждый раз задаётся явным образом. Интерпретация, рассматриваемая как семантическое отображение, может отображать различные классы языковых выражений в различные выделенные множества. Возможно также рассмотрение «дополнительных» множеств, которые не служат сами в качестве областей интерпретации, но используются для построения таких областей. В дальнейшем множества, служащие для построения интерпретации, будем называть семантическими доменами (СД).
Возможно рассмотрение альтернативных моделей, в которых СД изначально наделяются определённой дополнительной структурой (например, структурой булевых алгебр) или, наоборот, рассматриваются как конструктивы формальной теории, независимой от теоретико-множественной парадигмы (такой, как теория категорий). В этом смысле термин «семантический домен» является нейтральным, так как не ведёт к принятию ограничительных теоретико-модельных предположений.
При построении предлагаемой интерпретации будем использовать следующие семантические домены: D - множество возможных индивидов; V - множество виртуальных индивидов; Asg - множество точек соотнесения; 2 - множество значений истинности. Использование доменов при построении интерпретации далее будут подробно обсуждаться при задании семантических отображений.
3. Цель исследования
Определение возможных средств специализации КМ и поддержки реализации соответствующих механизмов позволяет сформулировать требования к формальным средствам поддержки специализации: (1) определение языковых средств описания КМ; (2) введение в язык средств описания индивидов с заданными свойствами в виде определённых дескрипций; (3) обеспечение механизма вычисления означиваний конструкций языка. Далее в работе излагается вариант подхода к обеспечению этих требований.
В качестве дополнительного требования к средствам специализации может выдвигаться необходимость обеспечения функционального характера процедуры означивания. Функциональный подход позволяет обеспечить реализацию в рамках аппликативных вычислительных систем, что, как показывает практика [2, 4], обеспечивает возможность получения средств с настраиваемой семантикой.
4. Индивиды
Предполагаем, что индивид - исходное, неопределяемое понятие. Множество индивидов будем обозначать D. Принципиальной особенностью предлагаемой семантики считается то, что множество индивидов D дано заранее. Это требование накладывается, так как в случае, когда множество индивидов D расширяется в ходе исследования (т.е. производится переход от D к некоторому D', такому, что D ⊆ D'), возможно получение парадоксальных результатов. В частности, затрудняется применение классической логики в метаязыке. На самом деле принятие такого предположения не ограничивает общности, так как вводимая семантика будет содержать описанные ниже специальные средства описания изменения области интерпретации.
При рассмотрении индивидов будем различать действительные, возможные и виртуальные индивиды, причём область D будем считать областью возможных индивидов. Будем также рассматривать область виртуальных индивидов V, которые будем понимать как некоторые идеальные объекты, вводимые для того, чтобы увеличить закономерность в рассматриваемом языке.
В некоторых случаях виртуальные объекты могут быть элиминированы (т.е. каждому выражению, содержащему виртуальный объект, может быть сопоставлено эквивалентное выражение, не содержащее такого объекта). Однако такая элиминация в общей интенсиональной логике может порождать проблемы, так как при наличии нескольких вхождений такого объекта в выражение он может в различных контекстах вести себя по-разному. Элиминация в этом случае может искажать семантику, что неоднократно отмечалось, в частности, при попытках построения реляционных операторов над частично определёнными данными. Для обеспечения аккуратного исследования возникающих семантических возможностей не будем заранее предполагать возможность элиминации объектов; наоборот, будем считать выражения для виртуальных объектов, действительно именующими абстрактные объекты.
В итоге в модели различаются действительные, возможные и виртуальные индивиды. Обозначим область действительных индивидов через A. Для учёта зависимости множества действительных индивидов от точки соотнесения A должно быть заменено семейством областей Ak. Тогда Ak ⊆ D ⊆ V. Множество действительных индивидов в точке соотнесения kn будем обозначать An вместо Akn.
5. Точки соотнесения
Для выражения зависимости означивания конструкций модели от параметра будем использовать индексные выражения. Возьмём фиксированное множество индексов, которые будем далее называть точками соотнесения [3], так как для определения значения выражения необходимо «соотнести» его с точкой. Множество точек соотнесения будем обозначать Asg, отдельные точки соотнесения будем обозначать k ∈ Asg. Прежде всего, отметим индексами систему действительных индивидов, положив возможно различные, Ak ⊆ D для каждого k ∈ Asg. Не предполагается одно-однозначного соответствия между Ak и k, так как элементы множества Asg могут обладать структурой, не полностью отражающейся в отличиях одного Ak от другого.
Для учёта зависимости значений выражений от индексов вводятся выражения языка, в которых делается неопределённая ссылка на индекс. В функциональных системах программирования это соответствует формированию замыкания. В качестве примера рассмотрим выражение с квантификацией. Пусть имеется квантор ∀ , связывающий переменную x, пробегающую по области D. Теперь введём квантор по «действительным» индивидам ∀ ., где точка обозначает указание на неопределённый индекс. Таким образом, даже если известно значение предиката P, невозможно сказать, является ли значение ∀ .x P(x) истинным или ложным. Однако если выделить некоторое k ∈ Asg, то относительно этого индекса предложение имеет определённое истинностное значение; а именно, оно истинно, если P(a) истинно для всех a ∈ Ak. Но пока не будет указано на некоторое k ∈ Asg, область значения квантифицированной переменной остаётся неизвестной.
6. Интерпретация
Определим интерпретацию термов τ и формул Φ в точке соотнесения k. Интерпретацию формулы Φ в точке соотнесения k будем обозначать ||Φ|| k = v. Далее будем рассматривать интерпретации различных языковых конструкций и вводить семантические домены, необходимые для построения интерпретаций.
Примем обозначения истинностных значений: будем писать 1 для обозначения истины и 0 для обозначения лжи. Далее, утверждению Φ сопоставим функцию ||Φ||, определённую на Asg, со значениями из множества 2. Иначе говоря, будем писать ||Φ|| k = 1, когда Φ истинно относительно k. Множество функций, определённых на A, со значениями из B, будет обозначаться A → B. Тогда ||Φ|| ∈ Asg → 2, если ||Φ|| k ∈ 2, где k ∈ Asg.
Для объяснения значения пропозициональных связок дадим обычные определения:
(¬ ) || ¬ Φ || k = 1 т. и т.т., к. || Φ || k = 0; (∧) || Φ ∧ Ψ|| k = 1 & т. и т.т., к. || Φ || k = 1 и || Ψ || k = 1;
(∨ ) || Φ ∨ Ψ || k = 1 & т. и т.т., к. || Φ || k = 1 или || Ψ || k = 1
Отметим, что принятая интерпретация пропозициональных связок в данном случае экстенсиональна - в каждой точке соотнесения значение формулы, главным знаком которой является пропозициональная связка, является функций значений подформул этой формулы в той же точке соотнесения.
Введём в язык (для интерпретации кванторов и дескрипций) константы ā для всех a ∈ V. Обратим особое внимание на то, что константы вводятся для всех виртуальных индивидов (не только возможных). Предполагаем далее, что соответствие между a и ā является взаимно однозначным. Таким образом, (1) ā определено для всех a, т.е. ни один виртуальный объект не пропущен - все виртуальные объекты можем поименовать; (2) ā определено однозначно, т.е. каждый виртуальный объект получает уникальное имя - нет двух констант, которые соответствуют одному и тому же объекту.
Для задач проектирования информационных систем специального вида необходимо иметь в виду возможность принятия других предположений. Представляется, однако, что они могут быть формализованы на основе принятой выше модели.
При интерпретации кванторов вводим два квантора с разными свойствами.
(∀ ) || ∀ x Φ (x)|| k = 1 т. и т.т., к. || Φ (ā) || k = 1 для всех a ∈ D
(∀ .) || ∀ . x Φ (x)|| k = 1 т. и т.т., к. ||Φ (ā)|| k = 1 для всех a ∈ Ak и аналогично для (∃ ) и (∃ .).
7. Определённые дескрипции
Определённая дескрипция представляет собой терм (I x Φ (x)).
(I) || I x Φ (x)|| k = b т. и т.т., к. {b} = {a ∈ D : ||Φ (ā)|| k = 1}
Рассмотрим множество предикатов, задающих одну и ту же определённую дескрипцию, и изучим его структуру.
Предложение 1. Пусть Φ и Ψ таковы, что || I x Φ (x)|| = || I x Ψ (x)|| = t, где t : Asg → D - концепт, полностью определённый в каждой i ∈ Asg. Тогда
(1) || I x Φ (x) ∧ Ψ (x)|| = t; (2) || I x Φ (x) ∨ Ψ (x)|| = t.
Пусть теперь рассматриваемая дескрипция не определена в некоторых точках соотнесения. Рассмотрим подробнее одну из таких точек соотнесения (далее будем обозначать её k0 и считать фиксированной) и изучим поведение дескрипции в этой точке.
Пусть || I x Φ (x)|| k0 не определена. Это может произойти в двух случаях: (1) для всех a ∈ D имеем ||Φ (ā)|| k0 = 0. Будем говорить в этом случае, что формула Φ (x) (с выделенной свободной переменной x) недоопределяет дескрипцию I x Φ (x) в точке соотнесения k0; (2) существуют, по крайней мере, две различные константы a_1, a_2 ∈ D, для которых ||Φ (āi)|| k0 = 1, где i = 1, 2. Будем говорить в этом случае, что формула Φ (x) (с выделенной свободной переменной x) переопределяет дескрипцию I x Φ (x) в точке соотнесения k0.
В противном случае || I x Φ (x)|| k0 определена. Будем в этом случае говорить, что формула Φ (x) (с выделенной свободной переменной x) полностью определяет дескрипцию I x Φ (x) в точке соотнесения k0.
Рассмотрим две формулы Φ (x) и Ψ (x) (с выделенной свободной переменной x) такие, что: || I x Φ (x) || k0 = || I x Ψ (x)|| k0. Будем называть их эквивалентными относительно определения дескрипции в точке соотнесения k0, если в этой точке соотнесения Φ (x) недоопределяет (переопределяет, полностью определяет) дескрипцию I x Φ (x) тогда и только тогда, когда Ψ (x) недоопределяет (переопределяет, полностью определяет) дескрипцию I x Ψ (x).
Предложение 2. Если для всех a ∈ D || Φ(ā) || k0 = || Φ(ā) || k0, то формулы Φ (x) и Ψ (x) эквивалентны относительно определения дескрипции в точке соотнесения k0.
Для полностью определённых дескрипций это предложение допускает обращение.
Предложение 3. Если формулы Φ (x) и Ψ (x) эквивалентны относительно определения дескрипции в точке соотнесения i_0, и соответствующие дескрипции полностью определены, то для всех a ∈ D имеем || Φ(ā) || k0 = || Ψ(ā) || k0.
Для переопределённых дескрипций указанное обращение уже не имеет места. Таким образом, введённое отношение эквивалентности оказывается совместимым с отношением равенства формул, но слабее этого отношения.
Сформулируем теперь некоторые свойства введённых понятий.
Предложение 4. Пусть Φ (x) недоопределяет дескрипцию. Тогда Φ (x) ∧ Ψ (x) также недоопределяет дескрипцию.
Предложение 5. Пусть Φ (x) недоопределяет дескрипцию. Тогда формула Φ (x) ∨ Ψ (x) эквивалентна относительно определения дескрипции формуле Ψ (x).
Предложение 6. Пусть Φ (x) переопределяет дескрипцию. Тогда формула Φ (x) ∨ Ψ (x) также переопределяет дескрипцию.
Отметим, что если формула Φ (x) переопределяет дескрипцию, то формула Φ (x) ∧ Ψ (x) может недоопределять, полностью определять либо переопределять дескрипцию. Это обосновывает обычный путь построения объекта с заданными свойствами при помощи дескрипций, когда объект строится последовательным указанием его свойств до тех пор, пока их не станет достаточно для определения объекта.
Наряду с оператором `I´ вводится оператор `I.´ (дескрипция с точкой), который определяется следующим образом: (I.) || I. x Φ (x) || i = b т. и т.т., к. {b} = {a ∈ Ak : || Φ (ā)|| k = 1}, причём принимается, что значение этого терма неопределённо, если нет a, удовлетворяющего условию, заданному справа.
Заключение
В работе предложены формализованные средства специализации КМ, предполагающих построение и исследование интенсиональных сущностей. Акцент сделан на ПО, для которых существенно отношение именования. Средства специализации построены на основе использования пропозициональных концептов интенсионального вида. Выполнено исследование различных конструкций, используемых при концептуальном моделировании: (1) выделение совокупности индивидов с разделением их на действительные, возможные и виртуальные обеспечивает средства описания частично определённых объектов и описания процессов динамического доопределения; (2) использование точек соотнесения обеспечивает рассмотрение различных видов динамики ПО; (3) использование определённых дескрипций, включающих полностью определённые, недоопределённые и переопределённые дескрипции, развивает традиционную технику определения объектов и обеспечивает задание объектов с контролируемой степенью определённости как на уровне КМ, так и на уровне среды реализации.
Исследование показывает возможность построения среды с управляемой степенью интенсиональности за счёт согласованного использования экстенсиональных и интенсиональных конструкций. В частности, специализация концептуальных моделей может быть обеспечена за счёт использования определённых дескрипций для поддержки вычисления означиваний при реализации.
Работа выполнена в рамках гранта РФФИ 13-07-00716.
Рецензенты:
Загребаев Андрей Маркоянович, д-р физ.-мат. наук, профессор, зав. кафедрой, НИЯУ МИФИ, г. Москва.
Лебедев Георгий Станиславович, д-р техн. наук, заместитель директора, ЦНИИ ОИЗ, г. Москва.
Лубенцов Валерий Федорович, д-р техн. наук, профессор, зам. директора по научной работе, профессор кафедры «Информационные системы, электропривод и автоматика», Невинномысский технологический институт ГОУ ВПО «Северо-Кавказский государственный технический университет», г. Невинномысск.
Библиографическая ссылка
Исмаилова Л.Ю., Косиков С. В. СПЕЦИАЛИЗАЦИЯ КОНЦЕПТУАЛЬНЫХ МОДЕЛЕЙ НА ОСНОВЕ ОПРЕДЕЛЁННЫХ ДЕСКРИПЦИЙ // Современные проблемы науки и образования. – 2013. – № 3. ;URL: https://science-education.ru/ru/article/view?id=9387 (дата обращения: 03.11.2024).