- 現(xiàn)行
- 正在執(zhí)行有效
- 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發(fā)布2015-02-01實施
中華人民共和國國家質量監(jiān)督檢驗檢疫總局發(fā)布
中國國家標準化管理委員會
GB/T30880—2014/ISO/IEC247072007
:
目次
前言
…………………………Ⅰ
引言
…………………………Ⅱ
范圍
1………………………1
規(guī)范性引用文件
2…………………………1
術語和定義
3………………1
符號和縮略語
4……………4
要求和設計概覽
5…………………………5
通用邏輯抽象語法與語義
6………………6
符合性
7……………………16
附錄規(guī)范性附錄通用邏輯交換格式
A()(CLIF)……………………19
概述
A.1………………19
語法
A.2CLIF…………………………20
語義
A.3CLIF…………………………26
符合性
A.4CLIF………………………27
附錄規(guī)范性附錄概念圖交換格式
B()(CGIF)………29
引言
B.1…………………29
概念圖核心語法和語義
B.2……………35
擴展的語法
B.3CGIF…………………39
符合性
B.4CGIF………………………45
附錄規(guī)范性附錄可擴展通用邏輯置標語言
C()(XCL)………………49
引言
C.1…………………49
語法
C.2XCL…………………………49
語義
C.3XCL…………………………66
符合性
C.4XCL………………………66
參考文獻
……………………67
GB/T30880—2014/ISO/IEC247072007
:
前言
本標準按照給出的規(guī)則進行起草
GB/T1.1—2009。
本標準使用翻譯法等同采用信息技術通用邏輯基于邏輯的語言族框架
ISO/IEC24707:2007《:》
英文版
()。
請注意本文件的某些內(nèi)容可能涉及專利本文件的發(fā)布機構不承擔識別這些專利的責任
。。
本標準由全國信息技術標準化技術委員會提出并歸口
(SAC/TC28)。
本標準起草單位中國標準化研究院北京科迪智標信息技術有限公司環(huán)境保護部信息中心
:、,。
本標準主要起草人孫廣芝邢立強劉彥東婁曉琳劉定
:、、、、。
Ⅰ
GB/T30880—2014/ISO/IEC247072007
:
引言
通用邏輯是一個用于信息交換和傳輸?shù)倪壿嬁蚣鼙究蚣芸刹捎枚喾N不同語法形式稱為方言
。,。
方言在以為基礎的通用語法下具有邏輯表達能力且具有共同的語義
XML,。
通用邏輯具備一些新的特征首要特征在于其語法和語義其語法無需簽名且允許更高階的構
,。,“”
造例如在保持一階模型理論的同時對類或關系進行量化其語義認可對類或屬性等內(nèi)涵實體進行描述
,;
的理論通用邏輯還固定了一些廣泛使用的慣例的含義例如用數(shù)字表示整數(shù)用引號表示字符串等
。,,,
還對數(shù)據(jù)類型的使用以及采用在萬維網(wǎng)上命名導入和傳輸內(nèi)容都做出了相應的規(guī)定
XML、。
Ⅱ
GB/T30880—2014/ISO/IEC247072007
:
信息技術通用邏輯CL基于邏輯的
():
語言族框架
1范圍
本標準規(guī)定了用來對不同的計算機系統(tǒng)間的數(shù)據(jù)和信息進行表示和交換的邏輯語言族
。
下列特征對本標準的設計至關重要
:
族內(nèi)的語言具有公開的語義無需借助于解釋器來執(zhí)行語言中的表達式就可以理解這些表達
———,
式的含義
;
族內(nèi)的語言在邏輯上是全面的能為任意的一階邏輯語句規(guī)定表達式
———,;
在異構計算機系統(tǒng)間交換信息
———。
下列內(nèi)容屬于本標準的范圍
:
本體和知識庫中的信息表示
———;
推理引擎輸入或輸出表達式的規(guī)范
———;
語言中符號的形式化解釋
———。
下列內(nèi)容超出本標準的范圍
:
證明論和推理規(guī)則的規(guī)范
———;
各異構計算機系統(tǒng)符號間翻譯器的規(guī)范
———;
提供邏輯論域的符號與現(xiàn)實世界的個體間關系的基于計算機的操作方法
———“”“”。
本標準給出了通用邏輯的語法和語義
。
本標準定義了通用邏輯的抽象語法并為一階邏輯的特定擴展定義了與之關聯(lián)的模型理論化的語
義其目的是使用一階邏輯的任何系統(tǒng)的內(nèi)容都能夠以本標準表達從而促進系統(tǒng)間基于一階邏輯的
。,
信息的交換
。
本標準不考慮計算能力相關的問題如效率優(yōu)化等
(、)。
2規(guī)范性引用文件
下列文件對于本文件的應用是必不可少的凡是注日期的引用文件僅注日期的版本適用于本文
。,
件凡是不注日期的引用文件其最新版本包括所有的修改單適用于本文件
。
溫馨提示
- 1. 本站所提供的標準文本僅供個人學習、研究之用,未經(jīng)授權,嚴禁復制、發(fā)行、匯編、翻譯或網(wǎng)絡傳播等,侵權必究。
- 2. 本站所提供的標準均為PDF格式電子版文本(可閱讀打?。?,因數(shù)字商品的特殊性,一經(jīng)售出,不提供退換貨服務。
- 3. 標準文檔要求電子版與印刷版保持一致,所以下載的文檔中可能包含空白頁,非文檔質量問題。
最新文檔
- 智慧林業(yè)綜合管理平臺解決方案
- 蘇教版初中八年級語文上冊單元教材分析與教學設計
- 蘇教版小五年級數(shù)學下冊教案 全冊
- 山東省德州市齊河縣2023-2024學年八年級下學期期末考試數(shù)學試卷(含答案)
- 2024-2025年秋季第一學期部編版語文六年級上冊教學計劃
- 師德師風學習計劃5
- 保育員培訓記錄-個人衛(wèi)生工作
- 高三上學期數(shù)學過關檢測(+二+)
- 第2章 元素與物質世界 測試題 高一上學期化學魯科版(2019)必修第一冊
- 第5課+家族の寫真+第3課時課件 初中日語人教版七年級第一冊
- 通信機房設備為什么要用-48V電壓的電源-
- 夏季奧運會比賽項目介紹課件
- 蘇教版三年級語文上冊三年級《書法練習指導》教案
- 農(nóng)業(yè)推廣的行為理論
- 抖音直播知識考試題庫200題(含答案)
- 2023年安徽民航機場集團有限公司人員招聘筆試題庫含答案解析
- 上瞼下垂ptosis課件
- XXX中學2023年推普周手抄報比賽活動方案
- 陸地水體及其相互關系課件
- XX醫(yī)院康復科建設方案
- 民族團結文藝匯演活動方案策劃
評論
0/150
提交評論