Esta norma internacional especifica una familia de lenguajes lógicos diseñados para su uso en la representación e intercambio de información y datos entre sistemas informáticos dispares. Las siguientes características son esenciales para el diseño de esta Norma Internacional:
•Las lenguas de la familia tienen semántica declarativa. Es posible comprender el significado de las expresiones en estos idiomas sin recurrir a un intérprete para manipular esas expresiones. • Los lenguajes de la familia son lógicamente integrales; en su forma más general, permiten la expresión de oraciones lógicas arbitrarias de primer orden. • Intercambio de información entre sistemas informáticos heterogéneos. Lo siguiente está dentro del alcance de esta Norma Internacional:
•representación de información en ontologías y bases de conocimiento;
•especificación de expresiones que son la entrada o salida de motores de inferencia;
•interpretaciones formales de los símbolos del lenguaje. Lo siguiente está fuera del alcance de esta Norma Internacional:
•la especificación de la teoría de la prueba o las reglas de inferencia;
•especificación de traductores entre notaciones de sistemas informáticos heterogéneos;
•métodos operativos basados en computadora para proporcionar relaciones entre símbolos en el “universo del discurso” lógico y los individuos en el “mundo real”. Esta norma internacional describe la sintaxis y la semántica de Common Logic. Define una sintaxis abstracta y una semántica teórica de modelos asociada para una extensión específica de la lógica de primer orden. La intención es que el contenido de cualquier sistema que utilice lógica de primer orden pueda representarse en esta norma internacional. El propósito es facilitar el intercambio de información basada en lógica de primer orden entre sistemas. No se abordan cuestiones relacionadas con la computabilidad utilizando esta Norma Internacional (eficiencia, optimización, etc.).
BS ISO/IEC 24707:2007 Historia
2018BS ISO/IEC 24707:2018 Cambios rastreados. Tecnologías de la información. Lógica común (CL). Un marco para una familia de lenguajes basados en la lógica.
2007BS ISO/IEC 24707:2007 Tecnología de la información - Common Logic (CL) - Un marco para una familia de lenguajes basados en lógica