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