| dbo:abstract
|
- 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 automatically 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. (en)
- Common Logic (CL) es un marco para una familia de lenguajes lógicos, basado en lógica de primer orden, destinado a facilitar el intercambio y la transmisión de conocimiento en sistemas basados en computadora. CL permite y alienta el desarrollo de una variedad de formas sintácticas diferentes, llamadas dialectos. Un dialecto puede usar cualquier sintaxis deseada, pero debe ser posible demostrar con precisión cómo la sintaxis concreta de un dialecto se ajusta a la semántica abstracta de CL, que se basa en una interpretación teórica del modelo. Cada dialecto puede ser tratado como un lenguaje formal. Una vez que se establece la conformidad sintáctica, un dialecto obtiene la semántica CL de forma gratuita, ya que se especifican solo en relación con la sintaxis abstracta y, por lo tanto, son heredados por cualquier dialecto conforme. Además, todos los dialectos CL son equivalentes (es decir, se pueden traducir automáticamente entre sí), aunque algunos pueden ser más expresivos que otros. En general, un subconjunto menos expresivo de CL puede traducirse a una versión más expresiva de CL, pero la traducción inversa solo se define en un subconjunto del lenguaje más amplio. (es)
|
| rdfs:comment
|
- Common Logic (CL) es un marco para una familia de lenguajes lógicos, basado en lógica de primer orden, destinado a facilitar el intercambio y la transmisión de conocimiento en sistemas basados en computadora. En general, un subconjunto menos expresivo de CL puede traducirse a una versión más expresiva de CL, pero la traducción inversa solo se define en un subconjunto del lenguaje más amplio. (es)
- 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 (en)
|
