GB/T 30880-2014 in English

《GB/T 30880-2014信息技术 通用逻辑（CL）：基于逻辑的语言族框架》由TC28（全国信息技术标准化技术委员会）归口，TC28SC22（全国信息技术标准化技术委员会程序设计语言分会）执行，主管部门为国家标准化管理委员会。
本标准规定了用来对不同的计算机系统间的数据和信息进行表示和交换的逻辑语言族。
下列特征对本标准的设计至关重要:
―――族内的语言具有公开的语义,无需借助于解释器来执行语言中的表达式就可以理解这些表达式的含义;
―――族内的语言在逻辑上是全面的,能为任意的一阶逻辑语句规定表达式;
―――在异构计算机系统间交换信息。
下列内容属于本标准的范围:
―――本体和知识库中的信息表示;
―――推理引擎输入或输出表达式的规范;
―――语言中符号的形式化解释。
下列内容超出本标准的范围:
―――证明论和推理规则的规范;
―――各异构计算机系统符号间翻译器的规范;
―――提供逻辑“论域”的符号与“现实世界”的个体间关系的基于计算机的操作方法。
本标准给出了通用逻辑的语法和语义。
本标准定义了通用逻辑的抽象语法并为一阶逻辑的特定扩展定义了与之关联的模型理论化的语义。其目的是使用一阶逻辑的任何系统的内容都能够以本标准表达,从而促进系统间基于一阶逻辑的信息的交换。
本标准不考虑计算能力相关的问题(如效率、优化等)。

Scope

This standard specifies a logic language family used to represent and exchange data and information between different computer systems. The following features are crucial to the design of this standard: -- the language in the family has a public semantics, and the meaning of these expressions can be understood without the help of an interpreter to execute the expressions in the language; -- the language in the family is logically It is comprehensive, and can specify expressions for arbitrary first-order logic sentences; --Exchange information between heterogeneous computer systems. The following are within the scope of this standard: -- information representation in ontologies and knowledge bases; -- specification of input or output expressions for inference engines; -- formal interpretation of symbols in languages. The following contents are beyond the scope of this standard: -- specification of proof theory and inference rules; -- specification of translators between symbols of heterogeneous computer systems; Computer-based manipulation of relationships. This International Standard gives the syntax and semantics of general logic. This International Standard defines the abstract syntax of general logic and defines the semantics of the associated model theorization for specific extensions to first-order logic. Its purpose is that the content of any system using first-order logic can be expressed in this standard, thereby facilitating the exchange of information based on first-order logic between systems. This standard does not consider computing power related issues (such as efficiency, optimization, etc.).