Common Logic

Common Logic (CL) is a framework for a family of <a href="/facts/Logic_language/Xgh8lj3F">logic languages</a>, based on <a href="/facts/First-order_logic/lcISqWIg">first-order logic</a>, intended to facilitate the exchange and transmission of <a href="/facts/Knowledge/joozoaup">knowledge</a> in <a href="/facts/Computer/SQe1aK05">computer</a>-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 <a href="/facts/Model_theoretic/vLWVV8sQ">model theoretic</a> interpretation. Each dialect may be then treated as a <a href="/facts/Formal_language/crDTyP8q">formal language</a>. 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 comparable (i.e., can be automatically translated to a common language), although some may be more expressive than others.
In general, a less expressive subset of CL may be <a href="/facts/Logic_translation/TopIkPxe">translated</a> to a more expressive version of CL, but the reverse translation is only defined on a subset of the larger language.

Common Logic open-in-new

Common Logic