🔥🔥 Don’t Miss Out on Our End of Autumn Sale. If you have any questions, feel free to click the bottom right corner to contact our customer service..

Concat us[email protected]
Shopping Cart

No products in the cart.

🔍
BS ISO/IEC 24707:2018

BS ISO/IEC 24707:2018

$215.11

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

Published By Publication Date Number of Pages
BSI 2018 80
PDF Format Searchable Printable Preview Now
Guaranteed Safe Checkout
Category:

If you have any questions, feel free to reach out to our online customer service team by clicking on the bottom right corner. We’re here to assist you 24/7.
Email:[email protected]

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.

PDF Catalog

PDF Pages PDF Title
2 National foreword
6 Foreword
7 Introduction
9 1 Scope
2 Normative references
10 3 Terms and definitions
12 4 Symbols and abbreviated terms
4.1 Symbols
13 4.2 Abbreviated terms
5 Requirements and design overview
5.1 Requirements
5.1.1 Common Logic should include full first-order logic with equality
5.1.2 Common Logic should provide a general-purpose syntax for communicating logical expressions
5.1.3 Common Logic should be easy and natural for use on the Web
5.1.4 Common Logic should support open networks
14 5.1.5 Common Logic should not make arbitrary assumptions about semantics
5.2 A family of languages
6 Common Logic abstract syntax and semantics
6.1 Common Logic abstract syntax
6.1.1 Abstract syntax categories
16 6.1.2 Metamodel of the Common Logic abstract syntax
23 6.1.3 Importation closure
24 6.1.4 Abstract syntactic structure of dialects
25 6.2 Common logic semantics
27 6.3 Datatypes
6.4 Satisfaction, validity and entailment
28 6.5 Sequence markers, recursion and argument lists: discussion
29 6.6 Special cases and translations between dialects
7 Conformance
7.1 Dialect conformance
7.1.1 Syntax
30 7.1.2 Semantics
31 7.1.3 Presupposing dialects
7.2 Application conformance
32 7.3 Network conformance
33 Annex A (normative) Common Logic Interchange Format (CLIF)
44 Annex B (normative) Conceptual Graph Interchange Format (CGIF)
65 Annex C (normative) eXtended Common Logic Markup Language (XCL)
77 Annex D (informative) Translating between dialects
78 Bibliography

Related products

BS ISO/IEC 24707:2018
$215.11