承德市标准公共服务平台

登录注册

标准详细信息

GB/T 30880-2014　信息技术通用逻辑（CL）：基于逻辑的语言族框架现行

中国标准分类号：L72

国际标准分类号：35.060

英文名称：Information technology-Common Logic(CL): a framework for a family of logic-based languages
适用范围：本标准规定了用来对不同的计算机系统间的数据和信息进行表示和交换的逻辑语言族。下列特征对本标准的设计至关重要: 族内的语言具有公开的语义，无需借助于解释器来执行语言中的表达式就可以理解这些扁式的含义; -族内的语言在逻辑上是全面的，能为任意的一阶逻辑语句规定表达式; --在异构计算机系统间交换信息。下列内容属于本标准的范围: -本体和知识库中的信息表示; --推理引擎输人或输出表达式的规范; -语言中符号的形式化解释。

在线阅览

基本信息

发布机构：
发布日期：2014-09-03
实施日期：2015-02-01
全文语种：
全文页数：71