GB/T 30880-2014 信息技术 通用逻辑(CL):基于逻辑的语言族框架
GB/T 30880-2014
国家标准推荐性标准GB/T 30880-2014标准状态
- 发布于:2014-09-03
- 实施于: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 气田开发数据库逻辑结构
* 特别声明:资源收集自网络或用户上传,版权归原作者所有,如侵犯您的权益,请联系我们处理。
- 标准质量:
- ① 欢迎分享本站未收录或质量优于本站的标准,期待。
② 标准出现数据错误、过期或其它问题请点击下方「在线纠错」通知我们,感谢!
③ 本站资源均来源于互联网,仅供网友学习交流,若侵犯了您的权益,请联系我们予以删除。
下载说明
「相关推荐」
- 1 GB/T 16264.8-2005 信息技术 开放系统互连 目录 第8部分:公钥和属
- 2 GB/T 18714.1-2002 信息技术 开放分布式处理 参考模型 第1部分:概
- 3 GB/T 33137-2016 基于传感器的产品监测软件集成接口规范
- 4 GB/T 29829-2013 信息安全技术 可信计算密码支撑平台功能与接口规
- 5 GB/T 29240-2012 信息安全技术 终端计算机通用安全技术要求与测试
- 6 GB/T 8566-2007 信息技术 软件生存周期过程
- 7 GB/T 21053-2007 信息安全技术 公钥基础设施 PKI系统安全等级保护
- 8 GB/T 32395-2015 信息技术 中文Linux操作系统应用编程接口(API)扩
- 9 GB/T 17962-2000 信息技术 信息资源词典系统(IRDS)服务接口
- 10 GB/T 29828-2013 信息安全技术 可信计算规范 可信连接架构
- 11 GB/T 28038-2011 信息技术 通用多八位编码字符集 蒙古文 通用键盘
- 12 GB/T 26229-2010 信息技术 系统间远程通信和信息交换 无线高速率