GB/T 30880-2014 信息技术通用逻辑（CL）：基于逻辑的语言族框架_标准下载

当前位置：标准网国家标准

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

Information technology—Common Logic (CL): a framework for a family of logic-based languages

GB/T 30880-2014

国家标准推荐性

收藏报错

标准GB/T 30880-2014标准状态

发布于：2014-09-03
实施于：2015-02-01
废止

标准详情

标准名称：信息技术通用逻辑（CL）：基于逻辑的语言族框架
标准号：GB/T 30880-2014
中国标准分类号：L72
发布日期：2014-09-03
国际标准分类号：35.060
实施日期：2015-02-01
技术归口：全国信息技术标准化技术委员会
代替标准：
主管部门：国家标准化管理委员会
标准分类：信息技术、办公机械信息技术用语言

内容简介

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

起草单位

中国标准化研究院、环境保护部信息中心、北京科迪智标信息技术有限公司、

起草人

孙广芝、邢立强、刘定、刘彦东、娄晓琳、

相近标准

JR/T 0107.5-2014 统计数据和元数据交换（SDMX）第5部分：注册表规范逻辑功能和逻辑接口
GB/T 15471-2013 逻辑分析仪通用规范
GB/T 17645.20-2002 工业自动化系统与集成零件库第20部分:逻辑资源:表达式的逻辑模型
GB/T 17645.24-2003 工业自动化系统与集成零件库第24部分: 逻辑资源: 供应商库的逻辑模型
SJ/T 10148.5-1991 电气简图的编制方法逻辑图
GB/T 33781-2017 可编程逻辑器件软件开发通用要求
20230258-T-469 网络关键设备安全技术要求可编程逻辑控制器（PLC）
CB/T 3447-1992 船用气动逻辑元件
GB/T 17645.25-2008 工业自动化系统与集成零件库第25部分：逻辑资源：带聚合值和显式内容的供应商库逻辑模型
SY/T 6329-1997 气田开发数据库逻辑结构

* 特别声明：资源收集自网络或用户上传，版权归原作者所有，如侵犯您的权益，请联系我们处理。

标准质量：

下载说明

① 欢迎分享本站未收录或质量优于本站的标准，期待。
② 标准出现数据错误、过期或其它问题请点击下方「在线纠错」通知我们，感谢！
③ 本站资源均来源于互联网，仅供网友学习交流，若侵犯了您的权益，请联系我们予以删除。

在线纠错

标准过期下载问题模糊有误其它问题