收藏到云盘
纠错反馈
GB/T 30880-2014 信息技术 通用逻辑（CL）：基于逻辑的语言族框架
Information technology—Common Logic (CL): a framework for a family of logic-based languages
基本信息
分类信息
-
ICS分类：
【
信息技术、办公机械（35）
信息技术用语言（35.060）
】
-
CCS分类：
【
电子元器件与信息技术（L）
信息处理技术（L70/84）
数据元表示方法（L72）
】
-
行标分类：
暂无
描述信息
-
前言：
本标准按照 GB/T1.1—2009给出的规则进行起草。
本标准使用翻译法等同采用ISO/IEC24707:2007《信息技术 通用逻辑:基于逻辑的语言族框架》(英文版)。
请注意本文件的某些内容可能涉及专利。本文件的发布机构不承担识别这些专利的责任。
本标准由全国信息技术标准化技术委员会(SAC/TC28)提出并归口。
本标准起草单位:中国标准化研究院、北京科迪智标信息技术有限公司,环境保护部信息中心。
本标准主要起草人:孙广芝、邢立强、刘彦东、娄晓琳、刘定。
-
适用范围：
暂无
-
引用标准：
本标准规定了用来对不同的计算机系统间的数据和信息进行表示和交换的逻辑语言族。
下列特征对本标准的设计至关重要:
———族内的语言具有公开的语义,无需借助于解释器来执行语言中的表达式就可以理解这些表达式的含义;
———族内的语言在逻辑上是全面的,能为任意的一阶逻辑语句规定表达式;
———在异构计算机系统间交换信息。
下列内容属于本标准的范围:
———本体和知识库中的信息表示;
———推理引擎输入或输出表达式的规范;
———语言中符号的形式化解释。
下列内容超出本标准的范围:
———证明论和推理规则的规范;
———各异构计算机系统符号间翻译器的规范;
———提供逻辑“论域”的符号与“现实世界”的个体间关系的基于计算机的操作方法。
本标准给出了通用逻辑的语法和语义。
本标准定义了通用逻辑的抽象语法并为一阶逻辑的特定扩展定义了与之关联的模型理论化的语义。其目的是使用一阶逻辑的任何系统的内容都能够以本标准表达,从而促进系统间基于一阶逻辑的信息的交换。
本标准不考虑计算能力相关的问题(如效率、优化等)。
相关标准
相关部门
相关人员
关联标准
-
DB32/T 4318.2-2022
江苏省电子政务外网 安全大数据和运维保障平台接入规范 第2部分：运维保障平台
-
GB/T 30997-2014
编程语言 C 支持嵌入式处理器的扩展
-
DB37/T 983-2007
山东省特种设备安全监察与检验数据规范
-
GB/T 4092.12-1992
程序设计语言COBOL 程序间通信模块
-
GB/T 32392.9-2018
信息技术 互操作性元模型框架(MFI) 第9部分：按需模型选择
-
DB63/T1730-2019
青海省标准地址信息规范
-
DB44/T 2189.4-2019
广东省移动终端信息安全 第4部分：敏感信息安全检测方法
-
GB/T 38962-2020
个人健康信息码 数据格式
-
GB/T 32392.4-2015
信息技术 互操作性元模型框架（MFI） 第4部分：模型映射元模型
-
GB/T 32392.3-2015
信息技术 互操作性元模型框架（MFI） 第3部分：本体注册元模型
-
DB32/T 4318.1-2022
江苏省电子政务外网 安全大数据和运维保障平台接入规范 第1部分：安全大数据平台
-
DB44/T 2189.1-2019
广东省移动终端信息安全 第1部分：敏感信息安全检测技术要求
-
DB2201/T 16-2022
长春市城市智能体数据治理技术规范
-
GB/T 4144-1984
程序设计语言 最小 BASIC
-
GB/T 18349-2001
集成电路/计算机硬件描述语言Verilog
-
DB11/T 368-2006
北京市网上审批信息交换技术规范
-
GB/T 36441-2018
硬件产品与操作系统兼容性规范
-
DB37/T 3523.2-2019
山东省公共数据开放 第2部分：数据脱敏指南
-
DB50/T 1014.4-2020
重庆市科技信息资源数据采集与处理规范 第4部分：个人信息
-
GB/T 28826.1-2012
信息技术 公用生物特征识别交换格式框架 第1部分：数据元素规范
打开设置，点击
执行注册
