标准号：GB/T 30880-2014
实施状态：现行
中文名称：信息技术 通用逻辑(CL):基于逻辑的语言族框架
英文名称：Information technology. Common Logic(CL):A framework for a family of logic-based languages
组织分类：GB
中标分类：L72
ICS分类：35.060
标准分类：CN
发布日期：2014-09-03
实施日期：2015-02-01
作废日期： - -
采用标准：ISO/IEC 24707-2007,IDT
归口单位：全国信息技术标准化技术委员会
起草单位：中国标准化研究院
范围：本标准规定了用来对不同的计算机系统间的数据和信息进行表示和交换的逻辑语言族。下列特征对本标准的设计至关重要:族内的语言具有公开的语义,无需借助于解释器来执行语言中的表达式就可以理解这些表达式的含义;族内的语言在逻辑上是全面的,能为任意的一阶逻辑语句规定表达式;在异构计算机系统间交换信息。下列内容属于本标准的范围:本体和知识库中的信息表示;推理引擎输入或输出表达式的规范;语言中符号的形式化解释。下列内容超出本标准的范围:证明论和推理规则的规范;各异构计算机系统符号间翻译器的规范;提供逻辑“论域”的符号与“现实世界”的个体间关系的基于计算机的操作方法。
文件格式：PDF
文件大小：6.36MB
文件页数：72
（以上信息更新时间为：2019-04-03）
标准全文下载：
GB_T 30880-2014 信息技术 通用逻辑(CL)_基于逻辑的语言族框架.pdf
(6.36 MB)
|
|
