| Обозначение | ГОСТ Р 59791-2021 |
| Полное обозначение | ГОСТ Р 59791-2021 |
| Заглавие на русском языке | Информационные технологии. Общая логика (CL). Основы семейства языков, основанных на логике |
| Заглавие на английском языке | Information technology. Common Logic (CL). Aframework for a family of logic-based languages |
| Дата введения в действие | 30.04.2022 |
| Дата огр. срока действия | |
| ОКС | 35.060;01.040.35 |
| Код ОКП | |
| Код КГС | |
| Код ОКСТУ | |
| Индекс рубрикатора ГРНТИ | |
| Аннотация (область применения) | В настоящем стандарте описано семейство логических языков, разработанных для представления информации и данных и обмена ими между разнородными компьютерными системами.
Следующие особенности имеют особую важность для построения настоящего стандарта:
- языки в семье имеют декларативную семантику. Благодаря этому можно понять значение выражений на этих языках, не используя интерпретатор для обработки таких выражений;
- языки в семье логически всесторонни — в самом общем виде они обеспечивают выражение произвольных логических высказываний первого порядка;
- языки можно перевести с сохранением семантики в общий синтаксис на основе XML, что облегчает обмен информацией между разнородными компьютерными системами.
В область применения настоящего стандарта входят следующие вопросы:
- представление информации в онтологиях и базах знаний;
- описание выражений, которые вводят в машины логического вывода или выводят из них;
- формальные интерпретации символов, выраженных с помощью языка.
Нижеследующее выходит за рамки настоящего стандарта:
- описание теории доказательств или правил вывода;
- описание переводчиков между обозначениями разнородных компьютерных систем;
- компьютерные операционные методы формирования отношений между символами в логической «вселенной дискурса» и людьми в «реальном мире».
В настоящем стандарте описаны синтаксис и семантика CL.
В настоящем стандарте также приведено определение абстрактного синтаксиса и связанной с ним теоретико-модельной семантики для специфичного расширения логики первого порядка. Цель состоит в том, чтобы представить содержимое любой системы, использующей логику первого порядка. Назначение настоящего стандарта — упростить обмен логической информацией первого порядка между системами.
Вопросы, касающиеся вычислимости, не рассматриваются в настоящем стандарте (включая эффективность, оптимизацию и т. д.) |
| Ключевые слова | общая логика CL, семантика общей логики, абстрактный синтаксис |
| Термины и определения | Раздел стандарта |
| Наличие терминов РОСТЕРМ | |
| Вид стандарта | Стандарты на процессы |
| Вид требований | |
| Дескрипторы (английский язык) | |
| Обозначение заменяемого(ых) | |
| Обозначение заменяющего | |
| Обозначение заменяемого в части | |
| Обозначение заменяющего в части | |
| Гармонизирован с: | |
| Аутентичный текст с ISO | |
| Аутентичный текст с IEC | |
| Аутентичный текст с ГОСТ | |
| Аутентичный текст с прочими | |
| Содержит требования: ISO | |
| Содержит требования: IEC | |
| Содержит требования: СЭВ | |
| Содержит требования: ГОСТ | |
| Содержит требования: прочими | |
| Нормативные ссылки на: ISO | |
| Нормативные ссылки на: IEC | |
| Нормативные ссылки на: ГОСТ | ГОСТ 33707-2016 |
| Документ внесен организацией СНГ | |
| Нормативные ссылки на: Прочие | |
| Документ принят организацией СНГ | |
| Номер протокола | |
| Дата принятия в МГС | |
| Присоединившиеся страны | |
| Управление Ростехрегулирования | 1 - Управление технического регулирования и стандартизации |
| Технический комитет России | 22 - Информационные технологии |
| Разработчик МНД | |
| Межгосударственный ТК | |
| Дата последнего издания | 30.11.2021 |
| Номер(а) изменении(й) | |
| Количество страниц (оригинала) | 66 |
| Организация - Разработчик | Общество с ограниченной ответственностью «Информационно-аналитический вычислительный центр» (ООО ИАВЦ) |
| Статус | Действует |
| Код цены | 5 |
| На территории РФ пользоваться | |
| Отменен в части | |
| Номер ТК за которым закреплен документ | 022 |
| Номер приказа о закреплении документа за ТК | 151 |
| Дата приказа о закреплении документа за ТК | 26.01.2023 |
 |