Home Cart Quotation About-Us
www.ChineseStandard.net
SEARCH

GB/T 30880-2014 English PDF

Q: How long will the true-PDF of English version of GB/T 30880-2014 be delivered?

Upon your order, we will start to translate GB/T 30880-2014_English as soon as possible, and keep you informed of the progress. The lead time is typically 3 ~ 5 working days. The lengthier the document the longer the lead time.

Q: Can I share the purchased PDF of GB/T 30880-2014_English with my colleagues?

Yes. The purchased PDF of GB/T 30880-2014_English will be deemed to be sold to your employer/organization who actually pays for it, including your colleagues and your employer's intranet.

Q: Does the price include tax/VAT?

Yes. Our tax invoice, downloaded/delivered in 9 seconds, includes all tax/VAT and complies with 100+ countries' tax regulations (tax exempted in 100+ countries). Avoidance of Double Taxation Agreements (DTAs) between Singapore and 100+ Countries: https://www.iras.gov.sg/taxes/international-tax

Q: Do you accept my currency other than USD?

Yes. If you need your currency to be printed on the invoice, please write an email to Sales@ChineseStandard.net. In 2 working-hours, we will create a special link for you to pay in any currencies. Otherwise, follow the normal steps: Add to Cart -- Checkout -- Select your currency to pay.

US$1434.00 · In stock
Delivery: <= 5 days. True-PDF full-copy in English will be manually translated and delivered via email.
GB/T 30880-2014: Information technology -- Common Logic (CL): A framework for a family of logic-based languages
Status: Valid

Standard ID	USD	BUY PDF	Lead-Days	Standard Title (Description)	Status
GB/T 30880-2014	1434	Add to Cart	5 days	Information technology -- Common Logic (CL): A framework for a family of logic-based languages	Valid

Similar standards

GB/T 39105 GB/T 38555 GB/T 37036.2 GB/T 43707 GB/T 30523 GB/T 30881

Basic data

Standard ID: GB/T 30880-2014 (GB/T30880-2014)
Description (Translated English): Information technology -- Common Logic (CL): A framework for a family of logic-based languages
Sector / Industry: National Standard (Recommended)
Classification of Chinese Standard: L72
Classification of International Standard: 35.060
Word Count Estimation: 72,779
Date of Issue: 9/3/2014
Date of Implementation: 2/1/2015
Quoted Standard: GB/T 5271.15-2008; GB 13000-2010; ISO/IEC 14977-1996
Adopted Standard: ISO/IEC 24707-2007, IDT
Regulation (derived from): People's Republic of China Announcement of Newly Approved National Standards No. 21 of 2014
Issuing agency(ies): General Administration of Quality Supervision, Inspection and Quarantine of the People's Republic of China, Standardization Administration of the People's Republic of China
Summary: This Standard specifies the data and information used for different computer systems using a logical language ethnic representation and exchange. The following features critical to this standard design: language within the family has publicly semantics, w

GB/T 30880-2014: Information technology -- Common Logic (CL): A framework for a family of logic-based languages

---This is a DRAFT version for illustration, not a final translation. Full copy of true-PDF in English version (including equations, symbols, images, flow-chart, tables, and figures etc.) will be manually/carefully translated upon your order.
Information technology Common Logic (CL). A \u200b\u200bframework for a family of logic-based languages ICS 35.060 L72 National Standards of People's Republic of China General logic (CL). logic-based Language family framework Informationtechnology-CommonLogic (CL). (ISO /IEC 24707.2007, IDT) Issued on. 2014-09-03 2015-02-01 implementation Administration of Quality Supervision, Inspection and Quarantine of People's Republic of China Standardization Administration of China released

Preface Ⅰ Introduction Ⅱ 1 Scope 1 2 Normative references 1 3 Terms and definitions 4 Symbols and abbreviations 4 5 5 Overview of requirements and design 6 general logic of abstract syntax and semantics 6 7 Compliance 16 Appendix A (normative) General Logical Interchange Format (CLIF) 19 A.1 Overview 19 A.2 CLIF syntax 20 A.3 CLIF semantics 26 A.4 CLIF Compliance 27 Appendix B (normative) conceptual diagram Interchange Format (CGIF) 29 B.1 Introduction 29 B.2 conceptual diagram core syntax and semantics 35 B.3 CGIF extended syntax 39 B.4 CGIF Compliance 45 Annex C (normative) Extensible Markup Language general logic (XCL) 49 C.1 Introduction 49 C.2 XCL syntax 49 C.3 XCL semantics 66 C.4 XCL Compliance 66 References 67

Foreword

Accordance with the standards GB/T 1.1-2009 given rules drafted. This standard uses the translation method identical with ISO /IEC 24707.2007 "Information technology - Generic logic. the logic-based language family framework." (In English). Please note that some of the content of this document may involve patents. Release mechanism of the present document does not assume responsibility for the identification of these patents. This standard by the National Information Technology Standardization Technical Committee (SAC/TC28) and focal points. This standard drafting units. China National Institute of Standardization, Beijing Information Technology Co., Ltd. Cody intellectual standard, the Ministry of Environmental Protection Information Center. The main drafters of this standard. Sunguang Zhi, Xing Liqiang, Liu Yandong, Lou Xiaolin, Liu set.

Introduction

General logic is a logical framework for the exchange of information and transmission. This framework can be a variety of different grammatical forms, called dialects. Dialect logical skills in XML-based universal grammar, and have a common semantics. General logic has some new features, mainly characterized by its syntax and semantics. The syntax without signature and allow "more advanced" configuration Made, for example, while maintaining a first-order model theory of class relations or quantified; endorsement of its semantic connotation entity classes or attributes to describe Theory. General logic also fixed some meaning practice widely used, such as the number is an integer, a string with quotation marks, etc., Also use the data type and the use of XML on the Web name, import and transfer content have made the appropriate provisions. General logic (CL). logic-based Language family framework

1 Scope

This standard specifies the use of data and information between different computer systems logical language ethnic representation and exchange. The following features of the standard design is crucial. --- Language within the family has publicly semantics, without resorting to the language interpreter to execute expressions we can understand the expression Formula meaning; --- Language within the family is logically complete, can be any first-order logic statement specifies an expression; --- Exchange of information between heterogeneous computer systems. The following fall within the scope of this standard. --- Ontology and knowledge base of information representation; --- Inference engine input or output specification expression; --- Formal sign language interpretation. The following are outside the scope of this standard. --- Proof Norms and inference rules; --- Intersymbol specification translator isomers computer systems; Computer-based method of operation --- provides a logic "on the field" symbol between individual relationship with the "real world" of. This standard shows the general logic of syntax and semantics. This standard defines the abstract syntax and the general logic of first-order logic specific extension defines a model associated with the theory of language Righteousness. The aim is to use the content of any system of first-order logic are able to express this standard, thereby promoting inter-system based on first-order logic Exchange of information. This standard does not consider the computing power related issues (such as efficiency, optimization, etc.).

2 Normative references

The following documents for the application of this document is essential. For dated references, only the dated version suitable for use herein Member. For undated references, the latest edition (including any amendments) applies to this document. GB/T 5271.15-2008 Information technology - Vocabulary Part 15. Programming languages \u200b\u200b(ISO /IEC 2382-15.1999, IDT) GB 13000-2010 Information technology - Universal Multiple-Octet Coded Character Set (UCS) (ISO /IEC 10646.2003, IDT) ISO /IEC 14977.1996 Information technology - Syntactic metalanguage extended Backus-Naur Form (Informationtechnology-Syn- tacticmetalanguage-ExtendedBNF)

3 Terms and Definitions

The following terms and definitions apply to this document. 3.1 Atom atom No statement in the form of a clause grammar component. NOTE. You can either be an equation, it can be applied by the atomic sentence predicate in a sequence consisting of a parameter. ......

Image

Tips & Frequently Asked Questions:

Question 1: How long will the true-PDF of GB/T 30880-2014_English be delivered?

Answer: Upon your order, we will start to translate GB/T 30880-2014_English as soon as possible, and keep you informed of the progress. The lead time is typically 3 ~ 5 working days. The lengthier the document the longer the lead time.

Question 2: Can I share the purchased PDF of GB/T 30880-2014_English with my colleagues?

Answer: Yes. The purchased PDF of GB/T 30880-2014_English will be deemed to be sold to your employer/organization who actually pays for it, including your colleagues and your employer's intranet.

Question 3: Does the price include tax/VAT?

Answer: Yes. Our tax invoice, downloaded/delivered in 9 seconds, includes all tax/VAT and complies with 100+ countries' tax regulations (tax exempted in 100+ countries) -- See Avoidance of Double Taxation Agreements (DTAs): List of DTAs signed between Singapore and 100+ countries

Question 4: Do you accept my currency other than USD?

Answer: Yes. If you need your currency to be printed on the invoice, please write an email to Sales@ChineseStandard.net. In 2 working-hours, we will create a special link for you to pay in any currencies. Otherwise, follow the normal steps: Add to Cart -- Checkout -- Select your currency to pay.