# Создание конституент

Создание пустых конституент заданного типа производится с помощью панели РС-формы, либо программного меню.

Формальные выражения для производных понятий и сокращений могут быть получены полуавтоматически. В Экстеор 4 реализовано два различных механизма генерации формальных выражений термов: терм-функции и анализ типизации исходного терма (структуры).

#### Создание производных термов по типизации

Рис. 1. Порождение термов по структуре выбранного понятия.

Создание выражений производных термов по структуре базового понятия представлено на Рис. 1. К типизации базового понятия применяются операции взятия проекции и суммирования множества подмножеств до тех пор, пока типизация не станет типизацией базисного множества.

Описанная операция применима к термам и родовым отношениям, чья типизация не совпадает с типизацией базисного множества. Каждый узел в дереве всех возможных способов прийти к базисному множеству определяет некоторое производное понятие. Представленный на Рис. 1 диалог позволяет отбирать необходимые производные понятия и задавать их схемную интерпретацию.

#### Создание термов с помощью терм-функций

Порождение схожих по структуре формального выражения понятий производится с помощью терм-функций. Для того чтобы создать терм-функцию на основе существующего терма, необходимо выбрать терм в списке конституент и воспользоваться пунктом Терм -> ТФ контекстного меню.

Рис. 2. Порождение терм-функции по выражению терма.

Диалог создания терм-функции представлен на Рис. 2. После выбора исходного терма автоматически формируется список вхождений других конституент, которые могут быть заменены на параметры. После выбора параметров необходимо нажать на кнопку Генерировать и задать интерпретацию терм-функции и Добавить ТФ.

Для генерации выражений термов по терм-функции, необходимо выбрать терм-функцию в списке конституент и воспользоваться пунктом ТФ -> Терм контекстного меню. Далее для каждого параметра необходимо выбрать его значение из списка предлагаемых конституент, имеющих подходящую типизацию. При генерации выражения терма пользователь выбирает между генерацией полного выражения (подстановка в выражение терм-фукнции параметров) и сокращенного выражения, использующего имя терм-функции. Диалог создания выражения терма по терм-функции представлен на Рис. 3.

Рис. 3. Порождение терма по выражению терм-фукнции.