本標準規(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)化等)。