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

ICS35060

L72.

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

GB/T30880—2014/ISO/IEC247072007

:

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

():

語(yǔ)言族框架

Informationtechnolo—CommonLoicCL

gyg():

aframeworkforafamilyoflogic-basedlanguages

(ISO/IEC24707:2007,IDT)

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

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

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

GB/T30880—2014/ISO/IEC247072007

:

目次

前言

…………………………Ⅰ

引言

…………………………Ⅱ

范圍

1………………………1

規(guī)范性引用文件

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

術(shù)語(yǔ)和定義

3………………1

符號(hào)和縮略語(yǔ)

4……………4

要求和設(shè)計(jì)概覽

5…………………………5

通用邏輯抽象語(yǔ)法與語(yǔ)義

6………………6

符合性

7……………………16

附錄規(guī)范性附錄通用邏輯交換格式

A()(CLIF)……………………19

概述

A.1………………19

語(yǔ)法

A.2CLIF…………………………20

語(yǔ)義

A.3CLIF…………………………26

符合性

A.4CLIF………………………27

附錄規(guī)范性附錄概念圖交換格式

B()(CGIF)………29

引言

B.1…………………29

概念圖核心語(yǔ)法和語(yǔ)義

B.2……………35

擴(kuò)展的語(yǔ)法

B.3CGIF…………………39

符合性

B.4CGIF………………………45

附錄規(guī)范性附錄可擴(kuò)展通用邏輯置標(biāo)語(yǔ)言

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

引言

C.1…………………49

語(yǔ)法

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

語(yǔ)義

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

符合性

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

參考文獻(xiàn)

……………………67

GB/T30880—2014/ISO/IEC247072007

:

前言

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

GB/T1.1—2009。

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

ISO/IEC24707:2007《:》

英文版

()。

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

。。

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

(SAC/TC28)。

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

:、,。

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

:、、、、。

Ⅰ

GB/T30880—2014/ISO/IEC247072007

:

引言

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

。,。

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

XML,。

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

,。,“”

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

,;

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

。,,,

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

XML、。

Ⅱ

GB/T30880—2014/ISO/IEC247072007

:

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

():

語(yǔ)言族框架

1范圍

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

。

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

:

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

———,

式的含義

;

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

———,;

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

———。

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

:

本體和知識(shí)庫(kù)中的信息表示

———;

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

———;

語(yǔ)言中符號(hào)的形式化解釋

———。

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

:

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

———;

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

———;

提供邏輯論域的符號(hào)與現(xiàn)實(shí)世界的個(gè)體間關(guān)系的基于計(jì)算機(jī)的操作方法

———“”“”。

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

。

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

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

。,

信息的交換

。

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

(、)。

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

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

。,

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

。