Last
Updated: 2008-11-25
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
first-order logic. The intent is that the content of any system using
first-order logic can be represented using 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.
Project Editor: Harry DELUGACH
|
Project |
WD |
CD |
FCD |
FDIS |
IS |
|
1.32.15.02.02.00 |
2005-03-14 |
SC32
N1330 |
SC32 N1377 |
SC32
N1498 |
ISO/IEC
24707 |
Back to ISO/IEC
SC32 WG2 Home Page