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的语法，从而促进异构计算机系统之间的信息交换。以下内容属于本文件的范围:-本体和知识库中的信息表示；-作为推理引擎的输入或输出的表达式的规范；-对语言中符号的正式解释。以下内容超出了本文档的范围:-证明理论或推理规则的说明；-异构计算机系统的符号之间的转换器的规范；-提供逻辑“话语宇宙”中的符号与“现实世界”中的个体之间关系的基于计算机的操作方法。本文档描述了公共逻辑的语法和语义。本文档为一阶逻辑的特定扩展定义了抽象语法和相关的模型理论语义。目的是任何系统的内容首先使用-订单逻辑可以在本文档中表示。目的是促进系统之间基于一阶逻辑的信息的交换。与使用本文档的可计算性相关的问题（包括效率、优化等。）没有被解决。

ISO/IEC 24707:2018 This document specifies a family of logic languages designed for use in the representation and interchange of information and data among disparate computer systems.
The following features are essential to the design of this document.
— Languages in the family have declarative semantics. It is possible to understand the meaning of expressions in these languages without appeal to an interpreter for manipulating those expressions.
— Languages in the family are logically comprehensive?at its most general, they provide for the expression of arbitrary first-order logical sentences.
— Languages in the family are translatable by a semantics-preserving transformation to a common XML-based syntax, facilitating interchange of information among heterogeneous computer systems.
The following are within the scope of this document:
— representation of information in ontologies and knowledge bases;
— specification of expressions that are the input or output of inference engines;
— formal interpretations of the symbols in the language.
The following are outside the scope of this document:
— specification of proof theory or inference rules;
— specification of translators between the notations of heterogeneous computer systems;
— computer-based operational methods of providing relationships between symbols in the logical "universe of discourse" and individuals in the "real world".
This document describes Common Logic's syntax and semantics.
This document defines an abstract syntax and an associated model-theoretic semantics for a specific extension of first-order logic. The intent is that the content of any system using first-order logic can be represented in this document. The purpose is to facilitate interchange of first-order logic-based information between systems.
Issues relating to computability using this document (including efficiency, optimization, etc.) are not addressed.

标准预览图