标准解读
GB/T 30880-2014《信息技术 通用逻辑(CL):基于逻辑的语言族框架》是一项国家标准,它定义了一个用于描述和实现基于逻辑编程语言的框架。该标准旨在为开发者提供一套统一的方法来理解和使用不同类型的逻辑编程语言,通过建立一个共同的基础,使得跨语言的工作变得更加容易。
标准中引入了“通用逻辑”(Common Logic, CL)的概念,这是一种形式化逻辑体系,能够支持多种逻辑表达方式,包括但不限于一阶逻辑。CL的设计目标是成为一种既强大又灵活的形式化表示方法,适用于知识表示、语义网以及人工智能等多个领域。通过这种方式,CL允许不同系统之间以一种标准化的方式共享信息,促进了互操作性。
在具体结构上,GB/T 30880-2014详细规定了CL语言的基本元素及其语法规范,比如原子公式、量词、连接词等,并且明确了如何使用这些基本构建块来形成复杂的逻辑陈述。此外,还讨论了与现有其他逻辑系统(如RDF)之间的映射关系,进一步增强了其实用价值。
对于实际应用而言,本标准不仅适用于直接开发新的逻辑编程语言或改进已有语言,也对那些希望利用逻辑技术解决复杂问题的信息科学家和技术人员具有重要指导意义。通过遵循此标准提供的指南,可以确保所创建或使用的逻辑系统具备良好的一致性和可扩展性,从而更好地服务于日益增长的数据处理需求。
如需获取更多详尽信息,请直接参考下方经官方授权发布的权威标准文档。
....
查看全部
- 现行
- 正在执行有效
- 2014-09-03 颁布
- 2015-02-01 实施





文档简介
ICS35060
L72.
中华人民共和国国家标准
GB/T30880—2014/ISO/IEC247072007
:
信息技术通用逻辑CL基于逻辑的
():
语言族框架
Informationtechnolo—CommonLoicCL
gyg():
aframeworkforafamilyoflogic-basedlanguages
(ISO/IEC24707:2007,IDT)
2014-09-03发布2015-02-01实施
中华人民共和国国家质量监督检验检疫总局发布
中国国家标准化管理委员会
GB/T30880—2014/ISO/IEC247072007
:
目次
前言
…………………………Ⅰ
引言
…………………………Ⅱ
范围
1………………………1
规范性引用文件
2…………………………1
术语和定义
3………………1
符号和缩略语
4……………4
要求和设计概览
5…………………………5
通用逻辑抽象语法与语义
6………………6
符合性
7……………………16
附录规范性附录通用逻辑交换格式
A()(CLIF)……………………19
概述
A.1………………19
语法
A.2CLIF…………………………20
语义
A.3CLIF…………………………26
符合性
A.4CLIF………………………27
附录规范性附录概念图交换格式
B()(CGIF)………29
引言
B.1…………………29
概念图核心语法和语义
B.2……………35
扩展的语法
B.3CGIF…………………39
符合性
B.4CGIF………………………45
附录规范性附录可扩展通用逻辑置标语言
C()(XCL)………………49
引言
C.1…………………49
语法
C.2XCL…………………………49
语义
C.3XCL…………………………66
符合性
C.4XCL………………………66
参考文献
……………………67
GB/T30880—2014/ISO/IEC247072007
:
前言
本标准按照给出的规则进行起草
GB/T1.1—2009。
本标准使用翻译法等同采用信息技术通用逻辑基于逻辑的语言族框架
ISO/IEC24707:2007《:》
英文版
()。
请注意本文件的某些内容可能涉及专利本文件的发布机构不承担识别这些专利的责任
。。
本标准由全国信息技术标准化技术委员会提出并归口
(SAC/TC28)。
本标准起草单位中国标准化研究院北京科迪智标信息技术有限公司环境保护部信息中心
:、,。
本标准主要起草人孙广芝邢立强刘彦东娄晓琳刘定
:、、、、。
Ⅰ
GB/T30880—2014/ISO/IEC247072007
:
引言
通用逻辑是一个用于信息交换和传输的逻辑框架本框架可采用多种不同语法形式称为方言
。,。
方言在以为基础的通用语法下具有逻辑表达能力且具有共同的语义
XML,。
通用逻辑具备一些新的特征首要特征在于其语法和语义其语法无需签名且允许更高阶的构
,。,“”
造例如在保持一阶模型理论的同时对类或关系进行量化其语义认可对类或属性等内涵实体进行描述
,;
的理论通用逻辑还固定了一些广泛使用的惯例的含义例如用数字表示整数用引号表示字符串等
。,,,
还对数据类型的使用以及采用在万维网上命名导入和传输内容都做出了相应的规定
XML、。
Ⅱ
GB/T30880—2014/ISO/IEC247072007
:
信息技术通用逻辑CL基于逻辑的
():
语言族框架
1范围
本标准规定了用来对不同的计算机系统间的数据和信息进行表示和交换的逻辑语言族
。
下列特征对本标准的设计至关重要
:
族内的语言具有公开的语义无需借助于解释器来执行语言中的表达式就可以理解这些表达
———,
式的含义
;
族内的语言在逻辑上是全面的能为任意的一阶逻辑语句规定表达式
———,;
在异构计算机系统间交换信息
———。
下列内容属于本标准的范围
:
本体和知识库中的信息表示
———;
推理引擎输入或输出表达式的规范
———;
语言中符号的形式化解释
———。
下列内容超出本标准的范围
:
证明论和推理规则的规范
———;
各异构计算机系统符号间翻译器的规范
———;
提供逻辑论域的符号与现实世界的个体间关系的基于计算机的操作方法
———“”“”。
本标准给出了通用逻辑的语法和语义
。
本标准定义了通用逻辑的抽象语法并为一阶逻辑的特定扩展定义了与之关联的模型理论化的语
义其目的是使用一阶逻辑的任何系统的内容都能够以本标准表达从而促进系统间基于一阶逻辑的
。,
信息的交换
。
本标准不考虑计算能力相关的问题如效率优化等
(、)。
2规范性引用文件
下列文件对于本文件的应用是必不可少的凡是注日期的引用文件仅注日期的版本适用于本文
。,
件凡是不注日期的引用文件其最新版本包括所有的修改单适用于本文件
。
温馨提示
- 1. 本站所提供的标准文本仅供个人学习、研究之用,未经授权,严禁复制、发行、汇编、翻译或网络传播等,侵权必究。
- 2. 本站所提供的标准均为PDF格式电子版文本(可阅读打印),因数字商品的特殊性,一经售出,不提供退换货服务。
- 3. 标准文档要求电子版与印刷版保持一致,所以下载的文档中可能包含空白页,非文档质量问题。
最新文档
- 2025版绿色建材研发中心地板砖施工劳务分包协议
- 2025版房地产抵押担保债务重组合同范本
- 2025年度护理机构护工服务岗位合同范本
- 二零二五版电子产品借用及维护管理合同范本
- 二零二五年度地暖安装施工环保技术改造项目合同
- 二零二五年度担保业务风险管理合同模板
- 2025版跨境电商合伙经营协议模板
- 二零二五年度纯电动汽车租赁与绿色出行市场拓展合同
- 二零二五年度知识产权授权担保人连带责任合同
- 二零二五年灯光照明设备销售与安装维护合同
- 澳门文化遗产旅游发展问题及策略分析,旅游管理论文
- WB/T 1092-2018钢铁物流包装、标识规范
- GB/T 9112-2010钢制管法兰类型与参数
- 孔雷同志事迹材料
- GB/T 18109-2011冻鱼
- 个人自愿赔偿协议书
- 江西省市各县区乡镇行政村行政区划村庄村名明细下载
- 冷却塔保养记录
- 形式发票模板
- 腹膜透析患者的管理教育及随访课件
- 《数据科学与大数据技术导论》完整版课件(全)
评论
0/150
提交评论