ГОСТ Р 59791-2021 Информационные технологии (ИТ). Общая логика (CL). Основы семейства языков, основанных на логике

     3 Термины и определения

В настоящем стандарте применены следующие термины с соответствующими определениями.

С целью использования в своих стандартах международные организации ИСО и МЭК поддерживают терминологические базы данных:

- платформа ИСО для онлайн-просмотра: доступна по адресу: http://www.iso.org/obp;

- платформа МЭК Электропедия (IEC Electropedia): доступна по адресу: http://www.electropedia.org/.

3.1 аксиома (axiom): Любое высказывание (3.15), утверждение или текст, которые считают истинными, из которых происходят другие высказывания, утверждения или тексты, либо которые сами вытекают из таких высказываний, утверждений или текстов.

Примечание - В вычислительной среде аксиома - это высказывание, которое никогда не требуется доказывать и которое само используют для доказательства других высказываний.

3.2 концептуальный граф; CG (conceptual graph; CG): Графическое или текстовое отображение символов, упорядоченных в соответствии со стилем теории концептуальных графов (3.3).

3.3 теория концептуальных графов (conceptual graph theory): Форма логики первого порядка, которая представляет собой квантор существования и конъюнкцию посредством утверждения логических конструктов, называемых понятиями и отношениями, которые организованы в абстрактный или визуально отображенный граф.

3.4 CLIF (CLIF): Текстовый формализм первого порядка с использованием основанной на LISP списочной записи.

Примечания

1 Это один из конкретных синтаксисов CL (описан в приложении А).

2 CLIF - это синтаксис на основе языка KIF, который применен в настоящем стандарте в иллюстративных целях. KIF (формат обмена знаниями), представленный Майклом Генесеретом [1], возник в рамках инициативы по обмену знаниями, спонсируемой Управлением перспективных исследовательских проектов Министерства обороны США. Название "KIF" не относится к этому синтаксису, чтобы отличить его от обычно используемых диалектов KIF. В настоящем стандарте отсутствуют какие-либо допущения относительно семантики KIF; в частности, не предполагается тождественность между CLIF и KIF.

3 Исторически аббревиатура CLIF означала Common Logic Interchange Format (Общий формат обмена данными логики). Тем не менее CLIF не имеет привилегированного положения среди диалектов CL (3.7), как может показаться из полного названия. Кроме того, рекомендуемым форматом обмена в сети Интернет является XCL.