Hispanopedia WikiCommon Logic ( CL ) es un marco para una familia de lenguajes lógicos , basados en lógica de primer orden , destinados a facilitar el intercambio y la transmisión de conocimiento en sistemas informáticos . [ 1 ]
La definición de CL permite y fomenta el desarrollo de diversas formas sintácticas, denominadas dialectos . Un dialecto puede utilizar cualquier sintaxis deseada, pero debe ser posible demostrar con precisión cómo su sintaxis concreta se ajusta a la semántica abstracta de CL, la cual se basa en una interpretación teórica de modelos . Cada dialecto puede entonces ser tratado como un lenguaje formal . Una vez establecida la conformidad sintáctica, un dialecto adquiere la semántica de CL de forma automática, ya que esta se especifica únicamente en relación con la sintaxis abstracta y, por lo tanto, es heredada por cualquier dialecto conforme. Además, todos los dialectos de CL son comparables (es decir, pueden traducirse automáticamente a un lenguaje común), 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 está definida en un subconjunto del lenguaje más amplio.
La norma ISO
Common Logic es publicado por ISO como "ISO/IEC 24707:2007 - Tecnología de la información — Common Logic (CL): un marco para una familia de lenguajes basados en lógica". [ 2 ] Está disponible para su compra en el catálogo de ISO y es de libre acceso en el índice de estándares disponibles públicamente de ISO. [ 3 ] [ 4 ]
El estándar CL incluye especificaciones para tres dialectos: el formato de intercambio lógico común ( CLIF ) (Anexo A), el formato de intercambio de grafos conceptuales ( CGIF ) (Anexo B) y una notación basada en XML para la lógica común ( XCL ) (Anexo C). La semántica de estos dialectos se define en el estándar mediante su traducción a la sintaxis y semántica abstractas de la lógica común. Muchos otros lenguajes basados en lógica también podrían definirse como subconjuntos de CL mediante traducciones similares; entre ellos se encuentran los lenguajes RDF y OWL , definidos por el W3C .
El desarrollo de la norma ISO comenzó en junio de 2003 en el seno del Grupo de Trabajo 2 (Metadatos) del Subcomité 32 (Intercambio de Datos) del Comité Técnico Conjunto 1 (JTC 1) de ISO/IEC , y se completó en octubre de 2007. Actualmente se está preparando una corrección técnica para subsanar algunos errores de la norma original.
Implementaciones
- COLORE es un repositorio de ontologías de lógica común.
- Hets admite Common Logic.
- cltools es una biblioteca PROLOG con soporte parcial para Common Logic.
Véase también
Referencias
- ↑ Sowa, John F. " Resumen de gráficos conceptuales ". Estructuras conceptuales: investigación y práctica actuales 3 (1992): 66.
- ↑ Organización Internacional de Normalización (ISO)
- ↑ Lógica común estándar, primera edición
- ↑ Estándar de lógica común, segunda edición
Lecturas adicionales
- Sowa, John F. (25 de marzo de 2008), Lógica común para la tecnología de la información en el sector sanitario (PDF) , consultado el 17 de enero de 2024.
- Sowa, John F. (10 de enero de 2011), Introducción a la lógica común (PDF) , consultado el 17 de enero de 2024.
- lenguajes de representación del conocimiento
- Normas ISO