標(biāo)準(zhǔn)號：ISO/IEC 24707-2007
中文標(biāo)準(zhǔn)名稱：信息技術(shù).通用邏輯(CL):基于邏輯的語言族的構(gòu)架
英文標(biāo)準(zhǔn)名稱：Information technology - Common Logic (CL): a framework for a family of logic-based languages
標(biāo)準(zhǔn)類型：L74
發(fā)布日期：1999/12/31 12:00:00
實(shí)施日期：1999/12/31 12:00:00
中國標(biāo)準(zhǔn)分類號：L74
國際標(biāo)準(zhǔn)分類號：35.060
適用范圍：This International Standard specifies a family of logic languages designed for use in the representation andinterchange 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 ofexpressions in these languages without appeal to an interpreter for manipulating thoseexpressions.? Languages in the family are logically comprehensive — at its most general, they provide for theexpression 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 firstorderlogic. The intent is that the content of any system using first-order logic can be represented in thisInternational Standard. The purpose is to facilitate interchange of first-order logic-based information betweensystems.Issues relating to computability using this International Standard (efficiency, optimization, etc.) are notaddressed.