Codes & Standards - Purchase

ISO/IEC 24707:2018

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

SKU: iso_066249_162676 Published by ISO/IEC Publication Year 2018 2 Edition 70 pages

Product Details

Overview

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.

Language

English

Format

PDF

GST REG No R119441681
QST REG No R1006017360

Features	CSA Advantage^TM	CSA OnDemand^TM
Offline access
Full-text search
Create highlights and personal notes
Newest editions added automatically
Includes all supported languages and archive versions
My Files - create customized files by adding multiple clauses, tables or figures from the standard into your own personal File for quick reference
Toggle between your files and the full standard to maintain context
Instantly preview cross referenced material within the book
Export personal notes to Excel
Transfer notes and highlights when updates are available
Adobe Reader PDF and browser compatible for iOS and Android
Web, Android, iOS Compatible

Browse By Subject Area

Browse By Publisher

ICS Catalogue

Browse By Subject Area

CSA Subscriptions

ICS Catalogue

en

fr

Catalogue

Browse By Subject Area

Browse By Publisher

ICS Catalogue

Subscription

Browse By Subject Area

CSA Subscriptions

ICS Catalogue

Services

en

fr

Codes & Standards - Purchase

ISO/IEC 24707:2018

Product Details

Language

Format

Browse By Subject Area

Browse By Publisher

ICS Catalogue

Browse By Subject Area

CSA Subscriptions

ICS Catalogue

Language

en

fr

Currency

CAD

USD

Catalogue

Browse By Subject Area

Browse By Publisher

ICS Catalogue

Subscription

Browse By Subject Area

CSA Subscriptions

ICS Catalogue

Services

Language

en

fr

Currency

CAD

USD

Search Section

Codes & Standards - Purchase

ISO/IEC 24707:2018

Product Details

Language

Format