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

标准编号：ISO/IEC 24707:2018

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

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

发布日期：2018-07

标准范围

ISO/IEC 24707:2018本文件规定了一系列逻辑语言，旨在用于不同计算机系统之间的信息和数据的表示和交换。以下功能对于本文档的设计至关重要。-家族中的语言具有声明性语义。理解这些语言中表达的含义是可能的，而无需求助于翻译来操纵这些表达。——家族中的语言在逻辑上是全面的？在最一般的情况下，它们提供了任意一阶逻辑句子的表达。-家族中的语言可通过保留语义的转换翻译成公共的基于XML的语法，从而促进异构计算机系统之间的信息交换。以下内容属于本文件的范围:-本体和知识库中的信息表示；-作为推理引擎的输入或输出的表达式的规范；-对语言中符号的正式解释。以下内容超出了本文档的范围:-证明理论或推理规则的说明；-异构计算机系统的符号之间的转换器的规范；-提供逻辑“话语宇宙”中的符号与“现实世界”中的个体之间关系的基于计算机的操作方法。本文档描述了公共逻辑的语法和语义。本文档为一阶逻辑的特定扩展定义了抽象语法和相关的模型理论语义。目的是任何系统的内容首先使用-订单逻辑可以在本文档中表示。目的是促进系统之间基于一阶逻辑的信息的交换。与使用本文档的可计算性相关的问题（包括效率、优化等。）没有被解决。

标准预览图