ГОСТ Р 59791-2021

ФЕДЕРАЛЬНОЕ АГЕНТСТВО

                                 ПО ТЕХНИЧЕСКОМУ РЕГУЛИРОВАНИЮ И МЕТРОЛОГИИ




                                                   НАЦИОНАЛЬНЫЙ                                      ГОСТР
                                                             СТАНДАРТ
                                                                                                     59791  -

                                                        РОССИЙСКОЙ
                                                          ФЕДЕРАЦИИ                                  2021




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

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

                         Основы семейства языков, основанных на логике
                                          (ISO/IEC 24707:2018, NEQ)




                                                 Издание официальное




                                                                М о с кв а
                                         Р о с с и й с ки й и н с ти ту т с та н д а р ти за ц и и
                                                                  2021




срок сертификата истек

ГОСТ Р 59791— 2021


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

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

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

      4 Н астоящ ий стандарт разработан с учетом основны х норм ативны х положений м еж дународного
стандарта И С О /М Э К 24707:2018 «И нф орм ационны е технологии. О бщ ая логика (CL). О сновы семейства
язы ков, основанны х на логике» (ISO /IEC 24707:2018 «Inform ation technology — C om m on Logic (CL) —
A fram e w o rk fo r a fam ily o f logic-based languages», NEQ)

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




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




                                                                    © О ф орм ление. ФГБУ «РОТ», 2021

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

ГОСТ Р 59791— 2021


                                                                                   Содержание
1 О бласть п р и м е н е н и я ........................................................................................................................................................... 1
2 Н орм ативны е с с ы л ки ........................................................................................................................................................... 1
3 Термины и о п р е д е л е н и я ....................................................................................................................................................2
4 О бозначения и с о к р а щ е н и я ............................................................................................................................................ 4
    4.1 О бозначения                    ............................................................................................................................................................... 4
    4.2 С окращ ения ..................................................................................................................................................................4
5 Требования и обзор структуры                                   ..................................................................................................................................... 4
    5.1 Т р е б о в а н и я .................................................................................................................................................................... 4
    5.2 С ем ейство я з ы к о в ...................................................................................................................................................... 5
6 А бстрактны й синтаксис и семантика общ ей л о г и к и ................................................................................................. 5
    6.1 А бстрактны й синтаксис общ ей л о г и к и ................................................................................................................ 5
    6.2 С ем антика общ ей логики                              ......................................................................................................................................16
    6.3 Типы д а н н ы х ................................................................................................................................................................18
    6.4 Удовлетворенность, действительность                                               илогическое с л е д с т в и е ........................................................... 19
    6.5 М аркеры последовательности, рекурсия исписки аргум ентов: о б с у ж д е н и е ...................................... 20
    6.6 О собы е случаи и переводы меж ду диалектам и ........................................................................................... 20
7 С о в м е с т и м о с т ь ..................................................................................................................................................................21
    7.1 С овм естим ость диалектов                               ................................................................................................................................... 21
    7.2 С овм естим ость п р и л о ж е н и я .................................................................................................................................23
    7.3 С овм естим ость сетей                          ............................................................................................................................................ 23
П рилож ение А (обязательное) Ф ормат обмена                                                  общ ей логикой ( C L IF ) ........................................................... 24
П рилож ение Б (обязательное) Ф орм ат обмена концептуальны м и граф ами ( C G IF ) ................................. 33
П рилож ение В (обязательное) Расш иряемы й язы к разметки e x te n d e d C om m on Logic M arkup
               Language (XC L) ......................................................................................................................................50
П рилож ение Г (справочное) Перевод меж ду д и а л е к т а м и ....................................................................................59
Б и б л и о гр а ф и я ........................................................................................................................................................................ 60

ГОСТ Р 59791— 2021


                                            Введение
      О бщ ая логика (CL) — это логическая структура, предназначенная для обмена и передачи инф ор­
мации. С труктура позволяет использовать множество различны х синтаксических ф орм (диалектов), ко­
торы е с сохранением семантики можно перевести в общ ий синтаксис на основе XM L.
      У CL есть несколько новых ф ункций, главными из которых являю тся синтаксис, допускаю щ ий
конструкции «более вы сокого порядка», наприм ер использование квантора по классам или отнош ени­
ям при условии сохранения теории модели первого порядка, и сем антика, которая позволяет теориям
описы вать интенциональны е сущ ности, наприм ер классы или свойства. Кроме того, в CL предусм отре­
ны инструм енты для обработки типов д анны х и им енования, импорта и передачи содерж им ого через
Интернет с помощ ью XM L.




IV