ISO/IEC 24707:2007
信息技术.通用逻辑(CL):基于逻辑的语言族的构架

Information technology - Common Logic (CL): a framework for a family of logic-based languages

被代替

非常抱歉，我们暂时无法提供预览，您可以试试： 免费下载 ISO/IEC 24707:2007 前三页，或者稍后再访问。

您也可以尝试购买此标准，
点击右侧 “立即购买” 按钮开始采购（由第三方提供）。

标准号

ISO/IEC 24707:2007

发布

2007年

中文版

GB/T 30880-2014 (等同采用的中文版本)

发布单位

国际标准化组织

替代标准

ISO/IEC 24707:2018

当前最新

ISO/IEC 24707:2018

 

 

适用范围

This International Standard 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 International Standard: • 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. • Interchange of information among heterogeneous computer systems. The following are within the scope of this International Standard: • 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 International Standard: • the 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 International Standard describes Common Logic’s syntax and semantics. It defines an abstract syntax and an associated model-theoretic semantics for a specific extension of firstorder logic. The intent is that the content of any system using first-order logic can be represented in this International Standard. The purpose is to facilitate interchange of first-order logic-based information between systems. Issues relating to computability using this International Standard (efficiency, optimization, etc.) are not addressed.

ISO/IEC 24707:2007相似标准

推荐