收藏到云盘
纠错反馈

GB/T 30880-2014 信息技术 通用逻辑（CL）：基于逻辑的语言族框架

Information technology—Common Logic (CL): a framework for a family of logic-based languages
基本信息
  • 标准号：
    GB/T 30880-2014
  • 名称：
    信息技术 通用逻辑（CL）：基于逻辑的语言族框架
  • 英文名称：
    Information technology—Common Logic (CL): a framework for a family of logic-based languages
  • 状态：
    现行
  • 类型：
    国家标准
  • 性质：
    推荐性
  • 发布日期：
    2014-09-03
  • 实施日期：
    2015-02-01
  • 废止日期：
    暂无
  • 相关公告：
    实施公告【关于批准发布《化学试剂 六次甲基四胺》等 259项国家标准的公告】
分类信息
描述信息
  • 前言：
    本标准按照 GB/T1.1—2009给出的规则进行起草。
    本标准使用翻译法等同采用ISO/IEC24707:2007《信息技术 通用逻辑:基于逻辑的语言族框架》(英文版)。
    请注意本文件的某些内容可能涉及专利。本文件的发布机构不承担识别这些专利的责任。
    本标准由全国信息技术标准化技术委员会(SAC/TC28)提出并归口。
    本标准起草单位:中国标准化研究院、北京科迪智标信息技术有限公司,环境保护部信息中心。
    本标准主要起草人:孙广芝、邢立强、刘彦东、娄晓琳、刘定。
  • 适用范围：
    暂无
  • 引用标准：
    本标准规定了用来对不同的计算机系统间的数据和信息进行表示和交换的逻辑语言族。
    下列特征对本标准的设计至关重要:
    ———族内的语言具有公开的语义,无需借助于解释器来执行语言中的表达式就可以理解这些表达式的含义;
    ———族内的语言在逻辑上是全面的,能为任意的一阶逻辑语句规定表达式;
    ———在异构计算机系统间交换信息。
    下列内容属于本标准的范围:
    ———本体和知识库中的信息表示;
    ———推理引擎输入或输出表达式的规范;
    ———语言中符号的形式化解释。
    下列内容超出本标准的范围:
    ———证明论和推理规则的规范;
    ———各异构计算机系统符号间翻译器的规范;
    ———提供逻辑“论域”的符号与“现实世界”的个体间关系的基于计算机的操作方法。
    本标准给出了通用逻辑的语法和语义。
    本标准定义了通用逻辑的抽象语法并为一阶逻辑的特定扩展定义了与之关联的模型理论化的语义。其目的是使用一阶逻辑的任何系统的内容都能够以本标准表达,从而促进系统间基于一阶逻辑的信息的交换。
    本标准不考虑计算能力相关的问题(如效率、优化等)。
相关标准
  • 引用标准：
    GB/T 5271.15-2008 GB 13000-2010 ISO/IEC 14977:1996
  • 采用标准：
    ISO/IEC 24707:2007 信息技术 通用逻辑：基于逻辑的语言族框架 （等同采用 IDT）
相关部门
  • 归口单位：
    全国信息技术标准化技术委员会(SAC/TC 28)
  • 起草单位：
    中国标准化研究院 北京科迪智标信息技术有限公司 环境保护部信息中心
  • 主管部门：
    国家标准化管理委员会
相关人员
暂无
关联标准