标准编号：GB/T 30880-2014
标准名称：信息技术 通用逻辑（CL）：基于逻辑的语言族框架
英文名称：Information technology—Common Logic(CL):a framework for a family of logic-based languages
发布部门：国家质量监督检验检疫总局、国家标准化管理委员会
起草单位：中国标准化研究院、北京科迪智标信息技术有限公司、环境保护部信息中心
标准状态：现行
发布日期：2014-09-03
实施日期：2015-02-01
标准格式：PDF
内容简介
本标准规定了用来对不同的计算机系统间的数据和信息进行表示和交换的逻辑语言族。
下列特征对本标准的设计至关重要:
——族内的语言具有公开的语义,无需借助于解释器来执行语言中的表达式就可以理解这些表达式的含义;
——族内的语言在逻辑上是全面的,能为任意的一阶逻辑语句规定表达式;
——在异构计算机系统间交换信息。
下列内容属于本标准的范围:
——本体和知识库中的信息表示;
——推理引擎输入或输出表达式的规范;
——语言中符号的形式化解释。
下列内容超出本标准的范围:
——证明论和推理规则的规范;
——各异构计算机系统符号间翻译器的规范;
——提供逻辑“论域”的符号与“现实世界”的个体间关系的基于计算机的操作方法。
本标准给出了通用逻辑的语法和语义。
本标准定义了通用逻辑的抽象语法并为一阶逻辑的特定扩展定义了与之关联的模型理论化的语义。其目的是使用一阶逻辑的任何系统的内容都能够以本标准表达,从而促进系统间基于一阶逻辑的信息的交换。
本标准不考虑计算能力相关的问题(如效率、优化等)。
下列特征对本标准的设计至关重要:
——族内的语言具有公开的语义,无需借助于解释器来执行语言中的表达式就可以理解这些表达式的含义;
——族内的语言在逻辑上是全面的,能为任意的一阶逻辑语句规定表达式;
——在异构计算机系统间交换信息。
下列内容属于本标准的范围:
——本体和知识库中的信息表示;
——推理引擎输入或输出表达式的规范;
——语言中符号的形式化解释。
下列内容超出本标准的范围:
——证明论和推理规则的规范;
——各异构计算机系统符号间翻译器的规范;
——提供逻辑“论域”的符号与“现实世界”的个体间关系的基于计算机的操作方法。
本标准给出了通用逻辑的语法和语义。
本标准定义了通用逻辑的抽象语法并为一阶逻辑的特定扩展定义了与之关联的模型理论化的语义。其目的是使用一阶逻辑的任何系统的内容都能够以本标准表达,从而促进系统间基于一阶逻辑的信息的交换。
本标准不考虑计算能力相关的问题(如效率、优化等)。
下载地址