信息技术 通用逻辑（CL）：基于逻辑的语言族框架 |
 |
| 标准编号：GB/T 30880-2014 |
标准状态：现行 |
|
| 标准价格：90.0 元 |
客户评分：  |
|
|
立即购买工即可享受本标准状态变更提醒服务！ |
|
|
|
|
|
本标准规定了用来对不同的计算机系统间的数据和信息进行表示和交换的逻辑语言族。
下列特征对本标准的设计至关重要:
———族内的语言具有公开的语义,无需借助于解释器来执行语言中的表达式就可以理解这些表达式的含义;
———族内的语言在逻辑上是全面的,能为任意的一阶逻辑语句规定表达式;
———在异构计算机系统间交换信息。
下列内容属于本标准的范围:
———本体和知识库中的信息表示;
———推理引擎输入或输出表达式的规范;
———语言中符号的形式化解释。
下列内容超出本标准的范围:
———证明论和推理规则的规范;
———各异构计算机系统符号间翻译器的规范;
———提供逻辑“论域”的符号与“现实世界”的个体间关系的基于计算机的操作方法。
本标准给出了通用逻辑的语法和语义。
本标准定义了通用逻辑的抽象语法并为一阶逻辑的特定扩展定义了与之关联的模型理论化的语义。其目的是使用一阶逻辑的任何系统的内容都能够以本标准表达,从而促进系统间基于一阶逻辑的信息的交换。
本标准不考虑计算能力相关的问题(如效率、优化等)。 |
|
|
|
| 英文名称： |
Information technology—Common Logic(CL):a framework for a family of logic-based languages |
 中标分类： |
电子元器件与信息技术>>信息处理技术>>L72数据元表示方法 |
| ICS分类： |
信息技术、办公机械设备>>35.060信息技术用语言 |
| 采标情况： |
ISO/IEC 24707:2007 |
| 发布部门： |
中华人民共和国国家质量监督检验检疫总局 中国国家标准化管理委员会 |
| 发布日期： |
2014-09-03 |
| 实施日期： |
2015-02-01
|
| 提出单位： |
全国信息技术标准化技术委员会(SAC/TC28) |
| 归口单位： |
全国信息技术标准化技术委员会(SAC/TC28) |
| 起草单位： |
中国标准化研究院、北京科迪智标信息技术有限公司,环境保护部信息中心 |
| 起草人： |
孙广芝、邢立强、刘彦东、娄晓琳、刘定 |
| 页数： |
72页【胶订-大印张】 |
| 出版社： |
中国标准出版社 |
| 出版日期： |
2015-02-01 |
|
|
|
本标准按照 GB/T1.1—2009给出的规则进行起草。
本标准使用翻译法等同采用ISO/IEC24707:2007《信息技术 通用逻辑:基于逻辑的语言族框架》(英文版)。
请注意本文件的某些内容可能涉及专利。本文件的发布机构不承担识别这些专利的责任。
本标准由全国信息技术标准化技术委员会(SAC/TC28)提出并归口。
本标准起草单位:中国标准化研究院、北京科迪智标信息技术有限公司,环境保护部信息中心。
本标准主要起草人:孙广芝、邢立强、刘彦东、娄晓琳、刘定。 |
|
|
引言 Ⅱ
1 范围 1
2 规范性引用文件 1
3 术语和定义 1
4 符号和缩略语 4
5 要求和设计概览 5
6 通用逻辑抽象语法与语义 6
7 符合性 16
附录 A (规范性附录) 通用逻辑交换格式(CLIF) 19
A.1 概述 19
A.2 CLIF语法 20
A.3 CLIF语义 26
A.4 CLIF符合性 27
附录 B (规范性附录) 概念图交换格式(CGIF) 29
B.1 引言 29
B.2 概念图核心语法和语义 35
B.3 扩展的 CGIF语法 39
B.4 CGIF符合性 45
附录 C (规范性附录) 可扩展通用逻辑置标语言(XCL) 49
C.1 引言 49
C.2 XCL语法 49
C.3 XCL语义 66
C.4 XCL符合性 66
参考文献 67 |
|
|
本标准规定了用来对不同的计算机系统间的数据和信息进行表示和交换的逻辑语言族。
下列特征对本标准的设计至关重要:
———族内的语言具有公开的语义,无需借助于解释器来执行语言中的表达式就可以理解这些表达式的含义;
———族内的语言在逻辑上是全面的,能为任意的一阶逻辑语句规定表达式;
———在异构计算机系统间交换信息。
下列内容属于本标准的范围:
———本体和知识库中的信息表示;
———推理引擎输入或输出表达式的规范;
———语言中符号的形式化解释。
下列内容超出本标准的范围:
———证明论和推理规则的规范;
———各异构计算机系统符号间翻译器的规范;
———提供逻辑“论域”的符号与“现实世界”的个体间关系的基于计算机的操作方法。
本标准给出了通用逻辑的语法和语义。
本标准定义了通用逻辑的抽象语法并为一阶逻辑的特定扩展定义了与之关联的模型理论化的语义。其目的是使用一阶逻辑的任何系统的内容都能够以本标准表达,从而促进系统间基于一阶逻辑的信息的交换。
本标准不考虑计算能力相关的问题(如效率、优化等)。 |
|
|
|
| |