РАГС - РОССИЙСКИЙ АРХИВ ГОСУДАРСТВЕННЫХ СТАНДАРТОВ,
а также строительных норм и правил (СНиП)
и образцов юридических документов







ГОСТ Р 59791-2021

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

Обозначение:ГОСТ Р 59791-2021
Статус:действующий
Тип:ГОСТ Р
Название русское:Информационные технологии. Общая логика (CL). Основы семейства языков, основанных на логике
Название английское:Information technology. Common Logic (CL). Aframework for a family of logic-based languages
Дата актуализации текста:01.01.2023
Дата актуализации описания:01.01.2023
Дата регистрации:00.00.0000
Дата издания:30.11.2021
Дата введения в действие:30.04.2022
Область и условия применения:В настоящем стандарте описано семейство логических языков, разработанных для представления информации и данных и обмена ими между разнородными компьютерными системами. Следующие особенности имеют особую важность для построения настоящего стандарта: - языки в семье имеют декларативную семантику. Благодаря этому можно понять значение выражений на этих языках, не используя интерпретатор для обработки таких выражений; - языки в семье логически всесторонни — в самом общем виде они обеспечивают выражение произвольных логических высказываний первого порядка; - языки можно перевести с сохранением семантики в общий синтаксис на основе XML, что облегчает обмен информацией между разнородными компьютерными системами. В область применения настоящего стандарта входят следующие вопросы: - представление информации в онтологиях и базах знаний; - описание выражений, которые вводят в машины логического вывода или выводят из них; - формальные интерпретации символов, выраженных с помощью языка. Нижеследующее выходит за рамки настоящего стандарта: - описание теории доказательств или правил вывода; - описание переводчиков между обозначениями разнородных компьютерных систем; - компьютерные операционные методы формирования отношений между символами в логической «вселенной дискурса» и людьми в «реальном мире». В настоящем стандарте описаны синтаксис и семантика CL. В настоящем стандарте также приведено определение абстрактного синтаксиса и связанной с ним теоретико-модельной семантики для специфичного расширения логики первого порядка. Цель состоит в том, чтобы представить содержимое любой системы, использующей логику первого порядка. Назначение настоящего стандарта — упростить обмен логической информацией первого порядка между системами. Вопросы, касающиеся вычислимости, не рассматриваются в настоящем стандарте (включая эффективность, оптимизацию и т. д.)
Расположен в:
ГОСТ Р 59791-2021. Страница 1
ГОСТ Р 59791-2021. Страница 2
ГОСТ Р 59791-2021. Страница 3
ГОСТ Р 59791-2021. Страница 4
ГОСТ Р 59791-2021. Страница 5
ГОСТ Р 59791-2021. Страница 6
ГОСТ Р 59791-2021. Страница 7
ГОСТ Р 59791-2021. Страница 8
ГОСТ Р 59791-2021. Страница 9
ГОСТ Р 59791-2021. Страница 10
ГОСТ Р 59791-2021. Страница 11
ГОСТ Р 59791-2021. Страница 12
ГОСТ Р 59791-2021. Страница 13
ГОСТ Р 59791-2021. Страница 14
ГОСТ Р 59791-2021. Страница 15
ГОСТ Р 59791-2021. Страница 16
ГОСТ Р 59791-2021. Страница 17
ГОСТ Р 59791-2021. Страница 18
ГОСТ Р 59791-2021. Страница 19
ГОСТ Р 59791-2021. Страница 20
ГОСТ Р 59791-2021. Страница 21
ГОСТ Р 59791-2021. Страница 22
ГОСТ Р 59791-2021. Страница 23
ГОСТ Р 59791-2021. Страница 24
ГОСТ Р 59791-2021. Страница 25
ГОСТ Р 59791-2021. Страница 26
ГОСТ Р 59791-2021. Страница 27
ГОСТ Р 59791-2021. Страница 28
ГОСТ Р 59791-2021. Страница 29
ГОСТ Р 59791-2021. Страница 30
ГОСТ Р 59791-2021. Страница 31
ГОСТ Р 59791-2021. Страница 32
ГОСТ Р 59791-2021. Страница 33
ГОСТ Р 59791-2021. Страница 34
ГОСТ Р 59791-2021. Страница 35
ГОСТ Р 59791-2021. Страница 36
ГОСТ Р 59791-2021. Страница 37
ГОСТ Р 59791-2021. Страница 38
ГОСТ Р 59791-2021. Страница 39
ГОСТ Р 59791-2021. Страница 40
ГОСТ Р 59791-2021. Страница 41
ГОСТ Р 59791-2021. Страница 42
ГОСТ Р 59791-2021. Страница 43
ГОСТ Р 59791-2021. Страница 44
ГОСТ Р 59791-2021. Страница 45
ГОСТ Р 59791-2021. Страница 46
ГОСТ Р 59791-2021. Страница 47
ГОСТ Р 59791-2021. Страница 48
ГОСТ Р 59791-2021. Страница 49
ГОСТ Р 59791-2021. Страница 50
ГОСТ Р 59791-2021. Страница 51
ГОСТ Р 59791-2021. Страница 52
ГОСТ Р 59791-2021. Страница 53
ГОСТ Р 59791-2021. Страница 54
ГОСТ Р 59791-2021. Страница 55
ГОСТ Р 59791-2021. Страница 56
ГОСТ Р 59791-2021. Страница 57
ГОСТ Р 59791-2021. Страница 58
ГОСТ Р 59791-2021. Страница 59
ГОСТ Р 59791-2021. Страница 60
ГОСТ Р 59791-2021. Страница 61
ГОСТ Р 59791-2021. Страница 62
ГОСТ Р 59791-2021. Страница 63
ГОСТ Р 59791-2021. Страница 64
ГОСТ Р 59791-2021. Страница 65
ГОСТ Р 59791-2021. Страница 66

Вернуться в "Каталог государственных стандартов" (ГОСТ)