ISO/IEC 24707:2007 信息技术 公用逻辑（CL）：逻辑型语言类的框架

标准编号：ISO/IEC 24707:2007

中文名称：信息技术 公用逻辑（CL）：逻辑型语言类的框架

英文名称：Information technology — Common Logic (CL): a framework for a family of logic-based languages

发布日期：2007-10

标准范围

ISO/IEC 24707:2007定义了公共逻辑:一种用于信息交换和传输的一阶逻辑框架。该框架的核心是通用逻辑的完整抽象语法和抽象语义，它为许多不同的具体句法形式（称为方言）提供了基础，这些形式符合语法和语义。Common Logic有一些新颖的特征，其中最主要的是一种无签名的语法，它允许“高阶”构造，如类或关系上的量化，同时保留一阶模型理论，以及一种允许理论描述类或属性等内涵实体的语义。它还修复了一些广泛使用的约定的含义，例如数字表示整数，引号表示字符串，并规定使用数据类型以及在万维网上命名、导入和传输内容。ISO/IEC 24707:2007定义了抽象的语法和语义，附件中定义了三种具体的方言。指定的三种兼容方言是通用逻辑交换格式（CLIF）、概念图交换格式（CGIF）和通用逻辑XML（XCL）。

标准预览图