信息技术 通用逻辑（CL）：基于逻辑的语言族框架
Information technology—Common Logic (CL): a framework for a family of logic-based languages
标准状态
发布于：2014-09-03
实施于：2015-02-01
废止
基本信息
GB/T 30880-2014
现行
2014-09-03
2015-02-01
国家标准委
中华人民共和国国家质量监督检验检疫总局、中国国家标准化管理委员会
国家标准委
中国标准化研究院、环境保护部信息中心、北京科迪智标信息技术有限公司
孙广芝、邢立强、刘定、刘彦东、娄晓琳
标准简介
本标准规定了用来对不同的计算机系统间的数据和信息进行表示和交换的逻辑语言族。 下列特征对本标准的设计至关重要:——族内的语言具有公开的语义,无需借助于解释器来执行语言中的表达式就可以理解这些表达式的含义;——族内的语言在逻辑上是全面的,能为任意的一阶逻辑语句规定表达式;——在异构计算机系统间交换信息。 下列内容属于本标准的范围:——本体和知识库中的信息表示;——推理引擎输入或输出表达式的规范;——语言中符号的形式化解释。 下列内容超出本标准的范围:——证明论和推理规则的规范;——各异构计算机系统符号间翻译
内容预览
