This standard describes a family of logical languages designed to represent and exchange information and data between disparate computer systems. The following features are of particular importance for the construction of this standard:
——languages in the family have declarative semantics. Thanks to this, it is possible to understand the meaning of expressions in these languages without using an interpreter to process such expressions;
——languages in the family are logically comprehensive - in the most general form, they provide the expression of arbitrary logical statements of the first order;
——languages can be translated, preserving semantics, into a common XML-based syntax, which facilitates the exchange of information between disparate computer systems. The scope of this standard includes the following issues:
——representation of information in ontologies and knowledge bases;
——description of expressions that are input to or output from inference machines;
——formal interpretations of symbols expressed through language. The following are beyond the scope of this standard:
——a description of the theory of evidence or rules of inference;
——description of translators between the designations of dissimilar computer systems;
——computer operational methods for forming relationships between symbols in the logical “universe of discourse” and people in the “real world”. This standard describes the syntax and semantics of CL. This standard also provides a definition of abstract syntax and associated model-theoretic semantics for a specific extension of first-order logic. The goal is to represent the content of any system using first-order logic. The purpose of this standard is to facilitate the exchange of first-order logical information between systems. Issues related to computability are not covered in this standard (including efficiency, optimization, etc.)
GOST R 59791-2021 history
2021GOST R 59791-2021 Information technology. Common Logic (CL). Aframework for a family of logic-based languages