ГОСТ Р 59791-2021

НАЦИОНАЛЬНЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ

Информационные технологии

ОБЩАЯ ЛОГИКА (CL)

Основы семейства языков, основанных на логике

Information technology. Common Logic (CL). A framework for a family of logic-based languages

ОКС 35.060,

01.040.35

Дата введения 2022-04-30

Предисловие

1 РАЗРАБОТАН Обществом с ограниченной ответственностью "Информационно-аналитический вычислительный центр" (ООО ИАВЦ)

2 ВНЕСЕН Техническим комитетом по стандартизации ТК 22 "Информационные технологии"

3 УТВЕРЖДЕН И ВВЕДЕН В ДЕЙСТВИЕ Приказом Федерального агентства по техническому регулированию и метрологии от 25 октября 2021 г. N 1283-ст

4 Настоящий стандарт разработан с учетом основных нормативных положений международного стандарта ИСО/МЭК 24707:2018* "Информационные технологии. Общая логика (CL). Основы семейства языков, основанных на логике" (ISO/IEC 24707:2018 "Information technology - Common Logic (CL) - A framework for a family of logic-based languages", NEQ)

________________

* Доступ к международным и зарубежным документам, упомянутым в тексте, можно получить, обратившись в Службу поддержки пользователей. - Примечание изготовителя базы данных.     

5 ВВЕДЕН ВПЕРВЫЕ

Правила применения настоящего стандарта установлены в статье 26 Федерального закона от 29 июня 2015 г. N 162-ФЗ "О стандартизации в Российской Федерации". Информация об изменениях к настоящему стандарту публикуется в ежегодном (по состоянию на 1 января текущего года) информационном указателе "Национальные стандарты", а официальный текст изменений и поправок - в ежемесячном информационном указателе "Национальные стандарты". В случае пересмотра (замены) или отмены настоящего стандарта соответствующее уведомление будет опубликовано в ближайшем выпуске ежемесячного информационного указателя "Национальные стандарты". Соответствующая информация, уведомление и тексты размещаются также в информационной системе общего пользования - на официальном сайте Федерального агентства по техническому регулированию и метрологии в сети Интернет (www.rst.gov.ru)

Введение

Общая логика (CL) - это логическая структура, предназначенная для обмена и передачи информации. Структура позволяет использовать множество различных синтаксических форм (диалектов), которые с сохранением семантики можно перевести в общий синтаксис на основе XML.

У CL есть несколько новых функций, главными из которых являются синтаксис, допускающий конструкции "более высокого порядка", например использование квантора по классам или отношениям при условии сохранения теории модели первого порядка, и семантика, которая позволяет теориям описывать интенциональные сущности, например классы или свойства. Кроме того, в CL предусмотрены инструменты для обработки типов данных и именования, импорта и передачи содержимого через Интернет с помощью XML.

     1 Область применения

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

Следующие особенности имеют особую важность для построения настоящего стандарта:

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

- языки в семье логически всесторонни - в самом общем виде они обеспечивают выражение произвольных логических высказываний первого порядка;

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

В область применения настоящего стандарта входят следующие вопросы:

- представление информации в онтологиях и базах знаний;

- описание выражений, которые вводят в машины логического вывода или выводят из них;

- формальные интерпретации символов, выраженных с помощью языка.

Нижеследующее выходит за рамки настоящего стандарта:

- описание теории доказательств или правил вывода;

- описание переводчиков между обозначениями разнородных компьютерных систем;

- компьютерные операционные методы формирования отношений между символами в логической "вселенной дискурса" и людьми в "реальном мире".

В настоящем стандарте описаны синтаксис и семантика CL.

В настоящем стандарте также приведено определение абстрактного синтаксиса и связанной с ним теоретико-модельной семантики для специфичного расширения логики первого порядка. Цель состоит в том, чтобы представить содержимое любой системы, использующей логику первого порядка. Назначение настоящего стандарта - упростить обмен логической информацией первого порядка между системами.

Вопросы, касающиеся вычислимости, не рассматриваются в настоящем стандарте (включая эффективность, оптимизацию и т.д.).

     2 Нормативные ссылки

В настоящем стандарте использована нормативная ссылка на следующий стандарт:

ГОСТ 33707-2016 (ISO/IEC 2382:2015) Информационные технологии. Словарь

Примечание - При пользовании настоящим стандартом целесообразно проверить действие ссылочных стандартов в информационной системе общего пользования - на официальном сайте Федерального агентства по техническому регулированию и метрологии в сети Интернет или по ежегодному информационному указателю "Национальные стандарты", который опубликован по состоянию на 1 января текущего года, и по выпускам ежемесячного информационного указателя "Национальные стандарты" за текущий год.Если заменен ссылочный стандарт, на который дана недатированная ссылка, то рекомендуется использовать версию этого стандарта с учетом всех внесенных в данную версию изменений. Если заменен ссылочный стандарт, на который дана датированная ссылка, то рекомендуется использовать версию этого стандарта с указанным выше годом утверждения (принятия). Если после утверждения настоящего стандарта в ссылочный стандарт, на который дана датированная ссылка, внесено изменение, затрагивающее положение, на которое дана ссылка, то это положение рекомендуется применять без учета данного изменения. Если ссылочный стандарт отменен без замены, то положение, в котором дана ссылка на него, рекомендуется применять в части, не затрагивающей эту ссылку.

     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.

3.5 формат обмена концептуальными графами (conceptual graph interchange format): Текстовая версия концептуальных графов (3.2).

Примечание - Иногда этот термин может иметь отношение к примеру символьной строки, соответствующей приложению Б и предназначенной для передачи точно такой же структуры и семантики, что и эквивалентный концептуальный граф.

3.6 денотат (denotation): Связь между именем или выражением и предметом, к которому оно относится.

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

3.7 диалект общей логики (CL dialect): Определенный экземпляр синтаксиса CL, который использует единую семантику CL или ее часть.

Примечание - Диалект может быть текстовым, графическим или иметь другую форму. По определению диалект также является совместимым языком (подробнее см. п.7.1).

3.8 расширяемый язык разметки eXtensible Common Logic Markup Language; XCL (eXtensible Common Logic Markup Language; XCL): Синтаксис XML для CL.

3.9 единица (individual): <Интерпретации> одного элемента вселенной дискурса (3.17) интерпретации (3.12).

Примечание - Вселенная дискурса интерпретации - это совокупность всех его единиц.

3.10 интернационализированный идентификатор ресурса; IRI (internationalized resource identifier; IRI): Строка символов Unicode, предназначенная для использования в качестве синтаксиса идентификатора сети Интернет, способного поддерживать широкий спектр международных форм символов.

3.11 надпись (inscription): Линейная или графическая структура символов.

3.12 интерпретация (interpretation): Формальное описание значений имен в словаре диалекта CL (3.7) в терминах эталонной вселенной (3.18).

Примечания

1 Интерпретация CL, в свою очередь, определяет семантические значения всех сложных выражений диалекта, в частности значения истинности его высказываний (3.15), утверждений и текстов.

2 Более точное описание интерпретации приведено в 6.2.

3.13 оператор (operator): Выделенная синтаксическая роль, которую играет указанный компонент в пределах функционального термина (3.16).

Примечание - Денотат (3.6) функционального термина в интерпретации (3.12) определяется функциональным расширением денотата оператора вместе с денотатами аргументов.

3.14 предикат (predicate): Синтаксическая роль <Common Logic>, которую играет ровно один компонент в простом высказывании (3.15).

Примечание - Истинность простого высказывания в интерпретации (3.12) определяется относительным расширением денотата (3.6) сказуемого с денотатами аргументов.

3.15 высказывание (sentence): Выражение <Common Logic> в синтаксической форме традиционной логической формулы первого порядка.

Пример - Простое высказывание (см. 6.1.1.15), логическое высказывание (см. 6.1.1.14) или квантор (см. 6.1.1.13).

3.16 термин (term): Выражение <Common Logic>, обозначающее единицу (3.9), состоящее либо из имени, либо, рекурсивно, функционального термина, который относится к последовательности аргументов, которые сами по себе являются терминами.

Примечание - Языки традиционной логики первого порядка специально исключают кванторы предиката (3.14) и использование одного и того же имени в качестве предиката и аргумента в простых высказываниях (3.15), оба из которых разрешены (хотя и не требуются) в CL. Языки традиционной логики первого порядка подпадают под категорию пресуппозиционного диалекта CL с дискурсивной пресуппозицией "недискурса" для всех имен, используемых в качестве функциональных операторов (3.13) или предикатов, и "дискурса" для всех имен, используемых в качестве аргументов функциональных терминов и простых высказываний, а также для обязательных условий.

3.17 вселенная дискурса, область дискурса (universe of discource): Множество всех единиц (3.9) в интерпретации (3.12), то есть множество, по которому ранжируются кванторы.

Примечание - Должна быть подмножеством исходной вселенной (3.18) и может быть идентичной ему.