标准详情
信息技术 通用逻辑（CL）：基于逻辑的语言族框架
Information technology—Common Logic (CL): a framework for a family of logic-based languages
GB/T 30880-2014现行国家标准
下载标准电子版
PDF · 72 页 · 4.99MB
登录后可查看已购记录，会员和金币权益与电子标准网共用。
基础信息
标准号
GB/T 30880-2014
标准状态
现行
发布日期
2014-09-03
实施日期
2015-02-01
中国标准分类号
L72
国际标准分类号
35.060
主管部门
国家标准委
发布部门
中华人民共和国国家质量监督检验检疫总局、中国国家标准化管理委员会
技术归口
国家标准委
标准简介
本标准规定了用来对不同的计算机系统间的数据和信息进行表示和交换的逻辑语言族。 下列特征对本标准的设计至关重要:——族内的语言具有公开的语义,无需借助于解释器来执行语言中的表达式就可以理解这些表达式的含义;——族内的语言在逻辑上是全面的,能为任意的一阶逻辑语句规定表达式;——在异构计算机系统间交换信息。 下列内容属于本标准的范围:——本体和知识库中的信息表示;——推理引擎输入或输出表达式的规范;——语言中符号的形式化解释。 下列内容超出本标准的范围:——证明论和推理规则的规范;——各异构计算机系统符号间翻译
内容预览
相关标准
| 标准号 | 标准名称 | 状态 | 发布日期 | 实施日期 |
|---|---|---|---|---|
| JJF（冀）5016-2026 | 白内障超声乳化仪校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）269-2026 | 模拟量输入输出通道模板校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）268-2026 | 工频高压试验装置校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJG（冀）275-2026 | 车用甲醇燃料加注机检定规程 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）272-2026 | 橡胶平板硫化机温度、压力参数校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）273-2026 | 直接检眼镜校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）271-2026 | 橡胶可塑性试验机校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）270-2026 | 汽车内饰材料燃烧试验机校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）274-2026 | 转子式定量给料机校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）5014-2026 | 脉搏血氧计校准规范 | 现行 | 2026-10-12 | 2026-10-12 |