Common Logic Framework

(Redirected from Common logic)
Jump to: navigation, search

A Common Logic Framework is a language framework for Logic Languages based on first-order logic.



  • (Wikipedia, 2016) ⇒ Retrieved:2016-5-24.
    • Common Logic (CL) is a framework for a family of logic languages, based on first-order logic, intended to facilitate the exchange and transmission of knowledge in computer-based systems.

      The CL definition permits and encourages the development of a variety of different syntactic forms, called dialects. A dialect may use any desired syntax, but it must be possible to demonstrate precisely how the concrete syntax of a dialect conforms to the abstract CL semantics, which are based on a model theoretic interpretation. Each dialect may be then treated as a formal language. Once syntactic conformance is established, a dialect gets the CL semantics for free, as they are specified relative to the abstract syntax only, and hence are inherited by any conformant dialect. In addition, all CL dialects are equivalent (i.e., can be mechanically translated to each other), although some may be more expressive than others.

      In general, a less expressive subset of CL may be translated to a more expressive version of CL, but the reverse translation is only defined on a subset of the larger language.


  • (Sowa, 2011) ⇒ John F. Sowa, 2011. Retrieved on 2017-01-15 from:
    • First-order logic is a subset or superset of most logic-based notations. But people are constantly inventing new notations, and they don’t want to abandon their favorite notation in favor anybody else’s. The ISO standard 24707 for Common Logic defines a very general semantic foundation for an open-ended family of dialects.
Three normative dialects are specified in ISO 24707:
But any notation that uses the common semantics can join the family.


Each CL feature has a concrete expression in these three syntaxes; in other words, any statements in any of these languages can be translated to any other language while preserving the original semantics. Common Logic model theory supports first order predicate logic, and so can be used for exchanging first order formulas in a standardized form. It also supports some features of higher order logics, such as quantifying over predicates specified in the domain of discourse (not over any possible predicates).
This project is similar to the Ontolingua project in a sense that it aims to propose interchange format, however it is more focused on logic-based languages and builds its semantics on the first order predicate logic. It also proposes multiple syntactic forms to be used for expressing the same knowledge. Also, it should become official ISO standard.