GB/T 30880-2014信息技術(shù)通用邏輯(CL)：基于邏輯的語言族框架

ICS35060

L72.

中華人民共和國國家標(biāo)準(zhǔn)

GB/T30880—2014/ISO/IEC247072007

:

信息技術(shù)通用邏輯CL基于邏輯的

():

語言族框架

Informationtechnolo—CommonLoicCL

gyg():

aframeworkforafamilyoflogic-basedlanguages

(ISO/IEC24707:2007,IDT)

2014-09-03發(fā)布2015-02-01實施

中華人民共和國國家質(zhì)量監(jiān)督檢驗檢疫總局發(fā)布

中國國家標(biāo)準(zhǔn)化管理委員會

GB/T30880—2014/ISO/IEC247072007

:

目次

前言

…………………………Ⅰ

引言

…………………………Ⅱ

范圍

1………………………1

規(guī)范性引用文件

2…………………………1

術(shù)語和定義

3………………1

符號和縮略語

4……………4

要求和設(shè)計概覽

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ī)范性附錄可擴展通用邏輯置標(biāo)語言

C()(XCL)………………49

引言

C.1…………………49

語法

C.2XCL…………………………49

語義

C.3XCL…………………………66

符合性

C.4XCL………………………66

參考文獻

……………………67

GB/T30880—2014/ISO/IEC247072007

:

前言

本標(biāo)準(zhǔn)按照給出的規(guī)則進行起草

GB/T1.1—2009。

本標(biāo)準(zhǔn)使用翻譯法等同采用信息技術(shù)通用邏輯基于邏輯的語言族框架

ISO/IEC24707:2007《:》

英文版

()。

請注意本文件的某些內(nèi)容可能涉及專利本文件的發(fā)布機構(gòu)不承擔(dān)識別這些專利的責(zé)任

。。

本標(biāo)準(zhǔn)由全國信息技術(shù)標(biāo)準(zhǔn)化技術(shù)委員會提出并歸口

(SAC/TC28)。

本標(biāo)準(zhǔn)起草單位中國標(biāo)準(zhǔn)化研究院北京科迪智標(biāo)信息技術(shù)有限公司環(huán)境保護部信息中心

:、,。

本標(biāo)準(zhǔn)主要起草人孫廣芝邢立強劉彥東婁曉琳劉定

:、、、、。

Ⅰ

GB/T30880—2014/ISO/IEC247072007

:

引言

通用邏輯是一個用于信息交換和傳輸?shù)倪壿嬁蚣鼙究蚣芸刹捎枚喾N不同語法形式稱為方言

。,。

方言在以為基礎(chǔ)的通用語法下具有邏輯表達能力且具有共同的語義

XML,。

通用邏輯具備一些新的特征首要特征在于其語法和語義其語法無需簽名且允許更高階的構(gòu)

,。,“”

造例如在保持一階模型理論的同時對類或關(guān)系進行量化其語義認(rèn)可對類或?qū)傩缘葍?nèi)涵實體進行描述

,;

的理論通用邏輯還固定了一些廣泛使用的慣例的含義例如用數(shù)字表示整數(shù)用引號表示字符串等

。,,,

還對數(shù)據(jù)類型的使用以及采用在萬維網(wǎng)上命名導(dǎo)入和傳輸內(nèi)容都做出了相應(yīng)的規(guī)定

XML、。

Ⅱ

GB/T30880—2014/ISO/IEC247072007

:

信息技術(shù)通用邏輯CL基于邏輯的

():

語言族框架

1范圍

本標(biāo)準(zhǔn)規(guī)定了用來對不同的計算機系統(tǒng)間的數(shù)據(jù)和信息進行表示和交換的邏輯語言族

。

下列特征對本標(biāo)準(zhǔn)的設(shè)計至關(guān)重要

:

族內(nèi)的語言具有公開的語義無需借助于解釋器來執(zhí)行語言中的表達式就可以理解這些表達

———,

式的含義

;

族內(nèi)的語言在邏輯上是全面的能為任意的一階邏輯語句規(guī)定表達式

———,;

在異構(gòu)計算機系統(tǒng)間交換信息

———。

下列內(nèi)容屬于本標(biāo)準(zhǔn)的范圍

:

本體和知識庫中的信息表示

———;

推理引擎輸入或輸出表達式的規(guī)范

———;

語言中符號的形式化解釋

———。

下列內(nèi)容超出本標(biāo)準(zhǔn)的范圍

:

證明論和推理規(guī)則的規(guī)范

———;

各異構(gòu)計算機系統(tǒng)符號間翻譯器的規(guī)范

———;

提供邏輯論域的符號與現(xiàn)實世界的個體間關(guān)系的基于計算機的操作方法

———“”“”。

本標(biāo)準(zhǔn)給出了通用邏輯的語法和語義

。

本標(biāo)準(zhǔn)定義了通用邏輯的抽象語法并為一階邏輯的特定擴展定義了與之關(guān)聯(lián)的模型理論化的語

義其目的是使用一階邏輯的任何系統(tǒng)的內(nèi)容都能夠以本標(biāo)準(zhǔn)表達從而促進系統(tǒng)間基于一階邏輯的

。,

信息的交換

。

本標(biāo)準(zhǔn)不考慮計算能力相關(guān)的問題如效率優(yōu)化等

(、)。

2規(guī)范性引用文件

下列文件對于本文件的應(yīng)用是必不可少的凡是注日期的引用文件僅注日期的版本適用于本文

。,

件凡是不注日期的引用文件其最新版本包括所有的修改單適用于本文件

。