国产精品久久久在线观看_亚洲免费观看视频网站_国产盗摄视频一区二区三区_久久久国产一级 - 日本在线观看一区

歡迎來到寰標網！ 客服QQ：772084082 加入會員

信息技術 通用邏輯（CL）：基于邏輯的語言族框架 現行

Information technology—Common Logic(CL):a framework for a family of logic-based languages

標準號：GB/T 30880-2014

獲取原文 如何獲取原文？問客服 獲取原文，即可享受本標準狀態變更提醒服務！
基本信息

標準號：GB/T 30880-2014
發布時間：2014-09-03
實施時間：2015-02-01
首發日期：
出版單位：中國標準出版社查看詳情>
起草人：孫廣芝、邢立強、劉彥東、婁曉琳、劉定
出版機構：中國標準出版社
標準分類： 數據元表示方法
ICS分類：信息技術用語言
提出單位：全國信息技術標準化技術委員會(SAC/TC28)
起草單位：中國標準化研究院、北京科迪智標信息技術有限公司,環境保護部信息中心
歸口單位：全國信息技術標準化技術委員會(SAC/TC28)
發布部門：中華人民共和國國家質量監督檢驗檢疫總局 中國國家標準化管理委員會
主管部門：國家標準化管理委員會

標準簡介

本標準規定了用來對不同的計算機系統間的數據和信息進行表示和交換的邏輯語言族。下列特征對本標準的設計至關重要:———族內的語言具有公開的語義,無需借助于解釋器來執行語言中的表達式就可以理解這些表達式的含義;———族內的語言在邏輯上是全面的,能為任意的一階邏輯語句規定表達式;———在異構計算機系統間交換信息。下列內容屬于本標準的范圍:———本體和知識庫中的信息表示;———推理引擎輸入或輸出表達式的規范;———語言中符號的形式化解釋。下列內容超出本標準的范圍:———證明論和推理規則的規范;———各異構計算機系統符號間翻譯器的規范;———提供邏輯“論域”的符號與“現實世界”的個體間關系的基于計算機的操作方法。本標準給出了通用邏輯的語法和語義。本標準定義了通用邏輯的抽象語法并為一階邏輯的特定擴展定義了與之關聯的模型理論化的語義。其目的是使用一階邏輯的任何系統的內容都能夠以本標準表達,從而促進系統間基于一階邏輯的信息的交換。本標準不考慮計算能力相關的問題(如效率、優化等)。

標準摘要

本標準按照 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

替代情況

會員注冊/登錄后查看詳情

引用標準

會員注冊/登錄后查看詳情

本標準相關公告

會員注冊/登錄后查看詳情

采標情況

會員注冊/登錄后查看詳情

推薦檢測機構
申請入駐

暫未檢測到相關機構，邀您申請入駐~

推薦認證機構
申請入駐

暫未檢測到相關機構，邀您申請入駐~

推薦培訓機構
申請入駐

暫未檢測到相關機構，邀您申請入駐~