本標準規定了用來對不同的計算機系統間的數據和信息進行表示和交換的邏輯語言族。
下列特征對本標準的設計至關重要:
———族內的語言具有公開的語義,無需借助于解釋器來執行語言中的表達式就可以理解這些表達式的含義;
———族內的語言在邏輯上是全面的,能為任意的一階邏輯語句規定表達式;
———在異構計算機系統間交換信息。
下列內容屬于本標準的范圍:
———本體和知識庫中的信息表示;
———推理引擎輸入或輸出表達式的規范;
———語言中符號的形式化解釋。
下列內容超出本標準的范圍:
———證明論和推理規則的規范;
———各異構計算機系統符號間翻譯器的規范;
———提供邏輯“論域”的符號與“現實世界”的個體間關系的基于計算機的操作方法。
本標準給出了通用邏輯的語法和語義。
本標準定義了通用邏輯的抽象語法并為一階邏輯的特定擴展定義了與之關聯的模型理論化的語義。其目的是使用一階邏輯的任何系統的內容都能夠以本標準表達,從而促進系統間基于一階邏輯的信息的交換。
本標準不考慮計算能力相關的問題(如效率、優化等)。