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《:》

英文版

()。

請注意本文件的某些內容可能涉及專利本文件的發(fā)布機構不承擔識別這些專利的責任

。。

本標準由全國信息技術標準化技術委員會提出并歸口

(SAC/TC28)。

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

:、,。

本標準主要起草人孫廣芝邢立強劉彥東婁曉琳劉定

:、、、、。

Ⅰ

GB/T30880—2014/ISO/IEC247072007

:

引言

通用邏輯是一個用于信息交換和傳輸的邏輯框架本框架可采用多種不同語法形式稱為方言

。,。

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

XML,。

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

,。,“”

造例如在保持一階模型理論的同時對類或關系進行量化其語義認可對類或屬性等內涵實體進行描述

,;

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

。,,,

還對數據類型的使用以及采用在萬維網上命名導入和傳輸內容都做出了相應的規(guī)定

XML、。

Ⅱ

GB/T30880—2014/ISO/IEC247072007

:

信息技術通用邏輯CL基于邏輯的

():

語言族框架

1范圍

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

。

下列特征對本標準的設計至關重要

:

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

———,

式的含義

;

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

———,;

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

———。

下列內容屬于本標準的范圍

:

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

———;

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

———;

語言中符號的形式化解釋

———。

下列內容超出本標準的范圍

:

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

———;

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

———;

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

———“”“”。

本標準給出了通用邏輯的語法和語義

。

本標準定義了通用邏輯的抽象語法并為一階邏輯的特定擴展定義了與之關聯的模型理論化的語

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

。,

信息的交換

。

本標準不考慮計算能力相關的問題如效率優(yōu)化等

(、)。

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

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

。,

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

。